# Deducteam/Dedukti

<https://repo.masters-masters.com/repos/Deducteam/Dedukti>

[Accueil](https://repo.masters-masters.com/) › [Deducteam](https://repo.masters-masters.com/owners/Deducteam) › [Dedukti](https://repo.masters-masters.com/repos/Deducteam/Dedukti)

Deducteam/Dedukti, dépôt open source à 242 étoiles sur GitHub. Carte Prototype de RepoMasters. Type-checker for the λΠ-calculus modulo rewriting

| Champ | Valeur |
| --- | --- |
| Propriétaire | [Deducteam](https://repo.masters-masters.com/owners/Deducteam) |
| Étoiles | 242 |
| Forks | 30 |
| Langage | [OCaml](https://repo.masters-masters.com/languages/ocaml) |
| Licence | Aucune |
| Création | 2017 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [Deducteam/Dedukti](https://github.com/Deducteam/Dedukti) |

## Fiche du dépôt

Type-checker for the λΠ-calculus modulo rewriting

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de Deducteam

- [Deducteam/lambdapi · ★ 411 · OCaml · Alpha](https://repo.masters-masters.com/repos/Deducteam/lambdapi)

## D’autres dépôts OCaml

- [alavrik/piqi · ★ 244 · OCaml · Prototype](https://repo.masters-masters.com/repos/alavrik/piqi)
- [bsansouci/bsb-native · ★ 244 · OCaml · Prototype](https://repo.masters-masters.com/repos/bsansouci/bsb-native)
- [awslabs/s2n-bignum · ★ 242 · OCaml · Prototype](https://repo.masters-masters.com/repos/awslabs/s2n-bignum)
- [mirage/qubes-mirage-firewall · ★ 240 · OCaml · Prototype](https://repo.masters-masters.com/repos/mirage/qubes-mirage-firewall)
- [montyly/gueb · ★ 238 · OCaml · Prototype](https://repo.masters-masters.com/repos/montyly/gueb)
- [g2p/git-fs · ★ 237 · OCaml · Prototype](https://repo.masters-masters.com/repos/g2p/git-fs)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.