Popular repositories Loading

1. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

2. HottCat HottCat Public

   An experimental implementation of categories in homotopy type theory

   Coq

3. c2rust c2rust Public

   Forked from immunant/c2rust

   Migrate C code to Rust

   Rust

4. tonic tonic Public

   Forked from hyperium/tonic

   A native gRPC client & server implementation with async/await support.

   Rust

5. rust rust Public

   Forked from rust-lang/rust

   Empowering everyone to build reliable and efficient software.

   Rust

6. cpp-vs-rust cpp-vs-rust Public

   Forked from quick-lint/cpp-vs-rust

   Rust