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 36.2k 15.6k

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

   Empowering everyone to build reliable and efficient software.

   Rust 109k 14.3k

3. micro-mitten micro-mitten Public

   You might not need your garbage collector

   Rust 541 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 208 10

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

   Algebraic proof discovery in Agda

   Agda 35 2