Pinned Loading

1. llvm/llvm-project llvm/llvm-project Public

   The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

   LLVM 35k 14.9k

2. rust-lang/rust rust-lang/rust Public

   Empowering everyone to build reliable and efficient software.

   Rust 107k 13.9k

3. micro-mitten micro-mitten Public

   You might not need your garbage collector

   Rust 542 11

4. trait-eval trait-eval Public

   We all know Rust's trait system is Turing complete, so tell me, why aren't we exploiting this???

   Rust 372 8

5. obake obake Public

   Versioned data-structures for Rust

   Rust 207 10

6. frex-project/agda-fragment frex-project/agda-fragment Public

   Algebraic proof discovery in Agda

   Agda 35 2