Pinned Loading

1. In Rust We Trust In Rust We Trust

   1

   Typst      42 mins        ████████████████████▊  99.0%

   2

   Other      0 secs         ▏░░░░░░░░░░░░░░░░░░░░   1.0%

2. risingwavelabs/risingwave risingwavelabs/risingwave Public

   Event streaming platform for agentic AI. Continuously ingest, transform, and serve event streams in real time, at scale.

   Rust 9.2k 803

3. cmu-db/bustub cmu-db/bustub Public

   The BusTub Relational Database Management System (Educational)

   C++ 5k 2k

4. delta-io/delta delta-io/delta Public

   An open-source storage framework that enables building a Lakehouse architecture with compute engines including Spark, PrestoDB, Flink, Trino, and Hive and APIs

   Scala 8.9k 2.1k

5. stlc-in-a-week stlc-in-a-week Public

   Write yourself a simply-typed lambda calculus using Rust in a week!

   Rust 13 1

6. translation-validator translation-validator Public

   Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification

   C++ 15