3 results found Sort:

ygrek
mldonkey ygrek
46
256
other
33
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
p2p mldonkey ocaml-program
Created 2011-04-05
2,195 commits to master branch, last one 2 months ago
RedPRL
cooltt RedPRL
16
218
apache-2.0
20
😎TT
ocaml type-theory ocaml-program proof-assistant cubical-type-theory homotopy-type-theory
Created 2019-12-20
609 commits to main branch, last one about a year ago
RedPRL
algaett RedPRL
0
33
apache-2.0
7
🦠 An experimental elaborator for dependent type theory using effects and handlers
ocaml type-theory ocaml-program proof-assistant algebraic-effects normalization-by-evaluation
Created 2022-04-23
85 commits to main branch, last one about a year ago