Popular repositories Loading

1. linkedgram linkedgram Public

   Drawing Link Projection Diagrams

   Haskell 2

2. khover khover Public

   Computing Khovanov homology and its first derivative.

   C++ 2

3. dotfiles dotfiles Public

   Emacs Lisp 1

4. Moncalc Moncalc Public

   Calculus in monoidal categories with Lean 4.

   Lean 1

5. lean-playground lean-playground Public

   Playground for Lean 4

   Lean 1

6. Bolero-for-One-Cello Bolero-for-One-Cello Public