- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- Earthly
- Erlang
- F*
- Frege
- Go
- HTML
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- LLVM
- Lean
- Lua
- MATLAB
- Makefile
- OCaml
- Objective-C
- Perl
- Python
- R
- Racket
- Rocq Prover
- Ruby
- Rust
- SCSS
- Sass
- Scala
- Scheme
- Shell
- SystemVerilog
- TeX
- TypeScript
- Vue
Starred repositories
Secure and fast microVMs for serverless computing.
Scalable datastore for metrics, events, and real-time analytics
a structural diff that understands syntax ๐ฅ๐ฉ
๐ Fast, secure, lightweight containers based on WebAssembly
A modern editor with a backend written in Rust.
Tantivy is a full-text search engine library inspired by Apache Lucene and written in Rust
open source training courses about distributed database and distributed systems
๐๐-๐ก๐ฎ๐๐ถ๐๐ฒ ๐๐ฎ๐๐ฎ ๐ช๐ฎ๐ฟ๐ฒ๐ต๐ผ๐๐๐ฒ. Blazing analytics, fast search, geo insights, vector AI. Built for multimodal analytics, Open-source Snowflake alternative. https://databend.com
Streaming data platform. Real-time stream processing, low-latency serving, and Iceberg table management.
The fast, light, and robust client for Ethereum-like networks.
Lucet, the Sandboxing WebAssembly Compiler.
A modular implementation of timely dataflow in Rust
An implementation of differential dataflow using timely dataflow on Rust.
A proof-of-concept microkernel that implements a WebAssembly "usermode" that runs in Ring 0.
Occlum is a memory-safe, multi-process library OS for Intel SGX
Rust mid-level IR Abstract Interpreter
Rust's standard library vendor-specific APIs and run-time feature detection