# ilya-klyuchnikov/lambdapi [Accueil](https://repo.masters-masters.com/) › [ilya-klyuchnikov](https://repo.masters-masters.com/owners/ilya-klyuchnikov) › [lambdapi](https://repo.masters-masters.com/repos/ilya-klyuchnikov/lambdapi) ilya-klyuchnikov/lambdapi, dépôt open source à 118 étoiles sur GitHub. Carte Prototype de RepoMasters. Dependently Typed Lambda Calculus in Haskell | Champ | Valeur | | --- | --- | | Propriétaire | [ilya-klyuchnikov](https://repo.masters-masters.com/owners/ilya-klyuchnikov) | | Étoiles | 118 | | Forks | 21 | | Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) | | Licence | Aucune | | Création | 2013 | | Sujets | dependent-types, programming-language | | Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) | | Voir sur GitHub | [ilya-klyuchnikov/lambdapi](https://github.com/ilya-klyuchnikov/lambdapi) | ## Fiche du dépôt Dependently Typed Lambda Calculus in Haskell 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 ilya-klyuchnikov - [ilya-klyuchnikov/tapl-scala · ★ 189 · Scala · Prototype](https://repo.masters-masters.com/repos/ilya-klyuchnikov/tapl-scala) - [ilya-klyuchnikov/ttlite · ★ 125 · Scala · Prototype](https://repo.masters-masters.com/repos/ilya-klyuchnikov/ttlite) ## D’autres dépôts Haskell - [srid/rib · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/repos/srid/rib) - [stevana/elastically-scalable-thread-pools · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/repos/stevana/elastically-scalable-thread-pools) - [well-typed/hs-bindgen · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/repos/well-typed/hs-bindgen) - [1HaskellADay/1HAD · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/repos/1HaskellADay/1HAD) --- Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.