Popular repositories Loading

1. seymour seymour Public

   This project is about formally verifying Seymour's decomposition theorem for regular matroids.

   Lean 17 5

2. slae_alg_comp slae_alg_comp Public

   C++

3. the-labyrinth the-labyrinth Public

   C++

4. stiff-odes stiff-odes Public

   C++

5. FAVOR FAVOR Public

   Forked from betherworld/FAVOR

   Money can buy most things. For everything else there’s FAVOR ☺

   JavaScript

6. BETH19 BETH19 Public

   Forked from srozov/BETH19

   code repo for BETH19 hackathon

   JavaScript