Popular repositories Loading

1. CoqGym-GNN CoqGym-GNN Public

   Forked from princeton-vl/CoqGym

   A Learning Environment for Theorem Proving with the Coq proof assistant

   Coq 3 1

2. motoko motoko Public

   Rust

3. fair-winds fair-winds Public

   code for fair winds applications

   HTML

4. cs-224n-final-project cs-224n-final-project Public

   The Ghost Shell

   Python

5. hall-monitor hall-monitor Public

   Hall Monitor for Servers

   Python

6. et et Public

   Edward-Tufte inspired Jekyll Theme.

   SCSS