3 results found Sort:

47
266
other
32
cross-platform multi-network p2p daemon (previously at http://mldonkey.sourceforge.net/)
Created 2011-04-05
2,199 commits to master branch, last one 22 days ago
14
222
apache-2.0
20
😎TT
Created 2019-12-20
609 commits to main branch, last one about a year ago
0
34
apache-2.0
7
🦠 An experimental elaborator for dependent type theory using effects and handlers
Created 2022-04-23
85 commits to main branch, last one about a year ago