3 results found Sort:

ygrek
mldonkey ygrek
43
234
other
32
cross-platform multi-network p2p daemon
p2p mldonkey ocaml-program
Created 2011-04-05
2,143 commits to master branch, last one 12 days ago
RedPRL
cooltt RedPRL
15
214
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 8 months ago
RedPRL
algaett RedPRL
0
30
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 9 months ago