- 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.
A modular implementation of timely dataflow in Rust
An implementation of differential dataflow using timely dataflow on Rust.
Occlum is a memory-safe, multi-process library OS for Intel SGX
Rust's standard library vendor-specific APIs and run-time feature detection
A mostly functional haskell compiler written in rust
Software rasterization, N-Body simulation and Game of Life in Rust + Haskell
Maniplate `&'static str` (e.g., `concat!`, `format!`) in Rust without pain!