- All languages
- Agda
- Assembly
- C
- C#
- C++
- CMake
- CSS
- Clojure
- Coq
- Cuda
- 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 🟥🟩
Adds static typing to JavaScript to improve developer productivity and code quality.
🚀 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
Data Agent Ready Warehouse : One for Analytics, Search, AI, Python Sandbox. — rebuilt from scratch. Unified architecture on your S3.
Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.
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