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

   Stream processing and management platform.

   Rust 7.6k 621

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

   The BusTub Relational Database Management System (Educational)

   C++ 4.3k 1.9k

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 7.9k 1.8k

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

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

   Rust 12 1

6. translation-validator translation-validator Public

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

   C++ 10