Popular repositories Loading

1. kepler-mapper kepler-mapper Public

   Forked from scikit-tda/kepler-mapper

   KeplerMapper is a Python class for visualization of high-dimensional data and 3-D point cloud data.

   Python 2

2. category-theory-lean4 category-theory-lean4 Public

   Lean 2 1

3. probability-topos probability-topos Public

   An atomic topos for probability theory - article LaTeX

   TeX 2

4. categorical-logic categorical-logic Public

   Categorical Logic in Lean

   Lean 1

5. adrianmartir.github.io adrianmartir.github.io Public

   Ruby

6. cnl4lean cnl4lean Public

   Lean