GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ cedille
Top 1 cedille open source projects
meta-cedille
Minimalistic dependent type theory with syntactic metaprogramming
✭ 40
Agda
Nix
emacs lisp
lambda-calculus
cedille
1-1
of
1
cedille projects