# Deducteam/Dedukti

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

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

Deducteam/Dedukti has 242 stars on GitHub. Its RepoMasters card: Prototype tier. Type-checker for the λΠ-calculus modulo rewriting Language: OCaml.

| Field | Value |
| --- | --- |
| Owner | [Deducteam](https://repo.masters-masters.com/en/owners/Deducteam) |
| Stars | 242 |
| Forks | 30 |
| Language | [OCaml](https://repo.masters-masters.com/en/languages/ocaml) |
| License | None |
| Created | 2017 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [Deducteam/Dedukti](https://github.com/Deducteam/Dedukti) |

## Repository

Type-checker for the λΠ-calculus modulo rewriting

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by Deducteam

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

## Nearby in OCaml

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

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.