Patrick Nicodemus's repositories
1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
CAJAL
A Python package using Gromov-Wasserstein distance to compare cell shapes
category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
futhark-website
Git repository containing the Futhark website.
HoTT
Homotopy type theory
networkx
Network Analysis in Python
ocaml-jupyter
An OCaml kernel for Jupyter (IPython) notebook
owl
Owl - OCaml Scientific Computing @ http://ocaml.xyz
ssprove
A foundational framework for modular cryptographic proofs in Coq
trimesh
Python library for loading and using triangular meshes.
unbalanced_gromov_wasserstein
Implementation of the Gromov-Wasserstein distance to the setting of Unbalanced Optimal Transport
UniMath
This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
tutorial
Owl Tutorial
uniformal.github.io
Main website for MMT and related material