Popular repositories Loading

1. forester-emacs forester-emacs Public

   An Emacs major mode for the Forester markup language.

   Emacs Lisp 2

2. futhark_ot futhark_ot Public

   Implementations of some optimal transport and network flow algorithms in Futhark.

   Futhark 2

3. gw-ocaml gw-ocaml Public

   A port of CAJAL to OCaml.

   C 1

4. research research Public

   For preprints and publications, maybe notes

   TeX 1

5. 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

6. HoTT HoTT Public

   Forked from HoTT/Coq-HoTT

   Homotopy type theory

   Coq