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 40.2k 18.6k

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

   Empowering everyone to build reliable and efficient software.

   Rust 118k 15.5k

3. micro-mitten micro-mitten Public

   You might not need your garbage collector

   Rust 539 11

4. obake obake Public

   Versioned data-structures for Rust

   Rust 207 10

5. 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 373 8

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

   Algebraic proof discovery in Agda

   Agda 36 2