Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

PrototypeCommon

Deducteam/Dedukti

Type-checker for the λΠ-calculus modulo rewriting

Owner: Deducteam (organization)
Stars: Stars: 241
Forks: Forks: 30
Language: OCaml
License: None
Created: 2017
Tier: Prototype (100 to 249 ★) What this tier means

More repos by Deducteam

All 2 repos by Deducteam

Deducteam/lambdapiStars: 409OCamlAlpha

Nearby in OCaml

All OCaml repos

alavrik/piqiStars: 244OCamlPrototype
bsansouci/bsb-nativeStars: 244OCamlPrototype
awslabs/s2n-bignumStars: 242OCamlPrototype
mirage/qubes-mirage-firewallStars: 240OCamlPrototype
montyly/guebStars: 238OCamlPrototype
g2p/git-fsStars: 237OCamlPrototype