Popular repositories Loading

1. SSeqCpp SSeqCpp Public

   This is a cross platform C++ project to compute and maintain spectral sequences based on sqlite3 databases and the algorithms on Groebner basis.

   C++ 6 4

2. AlgTop AlgTop Public

   Algebras in algebraic topology

   Python 2

3. AlgTopCpp AlgTopCpp Public

   C 1

4. pygroebner pygroebner Public

   A package for groebner basis over prime 2 implemented in python

   Python 1

5. WayneLin92.github.io WayneLin92.github.io Public

   JavaScript 1

6. LeanAlgTop LeanAlgTop Public

   Algebraic Topology in Lean

   Lean