Popular repositories Loading

1. gw-ocaml gw-ocaml Public

   A port of CAJAL to OCaml.

   C 1

2. UniMath UniMath Public

   Forked from UniMath/UniMath

   This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

   Coq

3. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq

4. ssprove ssprove Public

   Forked from SSProve/ssprove

   A foundational framework for modular cryptographic proofs in Coq

   Coq

5. category-theory category-theory Public

   Forked from jwiegley/category-theory

   An axiom-free formalization of category theory in Coq for personal study and practical work

   Coq

6. CAJAL CAJAL Public

   Forked from CamaraLab/CAJAL

   A Python package using Gromov-Wasserstein distance to compare cell shapes

   Python