3 results found Sort:

ygrek
mldonkey ygrek
48
271
other
32
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
p2p mldonkey ocaml-program
Created 2011-04-05
2,199 commits to master branch, last one about a month ago
RedPRL
cooltt RedPRL
14
225
apache-2.0
19
😎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
35
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