Similar repositories to Deducteam/universo:

• Deducteam/universo github similar
• Deducteam/dkmeta github similar
• Deducteam/Logipedia github similar
• Deducteam/Dedukti github similar
• Deducteam/lambdapi github similar
• ocaml/ocaml github similar
• tree-sitter/tree-sitter github similar