PrototypeCommune
Deducteam/Dedukti
Type-checker for the λΠ-calculus modulo rewriting
- Propriétaire
- Deducteam (organisation)
- Étoiles
- Étoiles : 241
- Forks
- Forks : 30
- Langage
- OCaml
- Licence
- Aucune
- Création
- 2017
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de Deducteam
Les 2 dépôts de Deducteam- Deducteam/lambdapiÉtoiles : 409OCamlAlpha
D’autres dépôts OCaml
Tous les dépôts OCaml- alavrik/piqiÉtoiles : 244OCamlPrototype
- bsansouci/bsb-nativeÉtoiles : 244OCamlPrototype
- awslabs/s2n-bignumÉtoiles : 242OCamlPrototype
- mirage/qubes-mirage-firewallÉtoiles : 240OCamlPrototype
- montyly/guebÉtoiles : 238OCamlPrototype
- g2p/git-fsÉtoiles : 237OCamlPrototype