Coder Social home page Coder Social logo

0x29a's Projects

stateright icon stateright

A model checker for implementing distributed systems.

tabby icon tabby

Self-hosted AI coding assistant

tantivy icon tantivy

Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust

teloxide icon teloxide

🤖 An elegant Telegram bots framework for Rust

thruster icon thruster

A fast, middleware based, web framework written in Rust

tidb icon tidb

TiDB is an open source distributed HTAP database compatible with the MySQL protocol

tidb-binlog icon tidb-binlog

A tool used to collect and merge tidb's binlog for real-time data backup and synchronization.

tidb-operator icon tidb-operator

TiDB operator creates and manages TiDB clusters running in Kubernetes.

tiflow icon tiflow

This repo maintains DM (a data migration platform) and TiCDC (change data capture for TiDB)

tikv icon tikv

Distributed transactional key-value database, originally created to complement TiDB

tispace icon tispace

TiSpace manages VMs in K8s for developers

tla-rust icon tla-rust

writing correct lock-free and distributed stateful systems in Rust, assisted by TLA+

toydb icon toydb

Distributed SQL database in Rust, written as a learning project

truss icon truss

Truss helps you build go-kit microservices without having to worry about writing or maintaining boilerplate code.

trustfall icon trustfall

If GraphQL were more like SQL: a query language for any combination of data sources.

vectorsql icon vectorsql

VectorSQL is a free analytics DBMS for IoT & Big Data, compatible with ClickHouse.

vegeta icon vegeta

HTTP load testing tool and library. It's over 9000!

wezterm icon wezterm

A GPU-accelerated cross-platform terminal emulator and multiplexer written by @wez and implemented in Rust

wickdb icon wickdb

Pure Rust LSM-tree based embedded storage engine

xngin icon xngin

X-Engine: A SQL Engine built from scratch in Rust.

xray-core icon xray-core

Xray, Penetrates Everything. Also the best v2ray-core, with XTLS support. Fully compatible configuration.

zed icon zed

Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

zinc icon zinc

Zinc Search engine. A lightweight alternative to elasticsearch that requires minimal resources, written in Go.

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.