# GitHub repos by Deducteam [Home](https://repo.masters-masters.com/en) › [Deducteam](https://repo.masters-masters.com/en/owners/Deducteam) All 2 public GitHub repos by Deducteam in RepoMasters, most starred first: stars, language, tier and card for each. ## GitHub repos by Deducteam 2 public repos by Deducteam in the catalog, most starred first. - [Deducteam/lambdapi · ★ 411 · OCaml · Alpha](https://repo.masters-masters.com/en/repos/Deducteam/lambdapi) - [Deducteam/Dedukti · ★ 242 · OCaml · Prototype](https://repo.masters-masters.com/en/repos/Deducteam/Dedukti) ## See Deducteam on GitHub - [https://github.com/Deducteam](https://github.com/Deducteam) --- Data: GitHub