# ilya-klyuchnikov/lambdapi

<https://repo.masters-masters.com/en/repos/ilya-klyuchnikov/lambdapi>

[Home](https://repo.masters-masters.com/en) › [ilya-klyuchnikov](https://repo.masters-masters.com/en/owners/ilya-klyuchnikov) › [lambdapi](https://repo.masters-masters.com/en/repos/ilya-klyuchnikov/lambdapi)

ilya-klyuchnikov/lambdapi has 118 stars on GitHub. Its RepoMasters card: Prototype tier. Dependently Typed Lambda Calculus in Haskell Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [ilya-klyuchnikov](https://repo.masters-masters.com/en/owners/ilya-klyuchnikov) |
| Stars | 118 |
| Forks | 21 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | None |
| Created | 2013 |
| Topics | dependent-types, programming-language |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ilya-klyuchnikov/lambdapi](https://github.com/ilya-klyuchnikov/lambdapi) |

## Repository

Dependently Typed Lambda Calculus in Haskell

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

## More repos by ilya-klyuchnikov

- [ilya-klyuchnikov/tapl-scala · ★ 189 · Scala · Prototype](https://repo.masters-masters.com/en/repos/ilya-klyuchnikov/tapl-scala)
- [ilya-klyuchnikov/ttlite · ★ 125 · Scala · Prototype](https://repo.masters-masters.com/en/repos/ilya-klyuchnikov/ttlite)

## Nearby in Haskell

- [srid/rib · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/srid/rib)
- [stevana/elastically-scalable-thread-pools · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/stevana/elastically-scalable-thread-pools)
- [well-typed/hs-bindgen · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/well-typed/hs-bindgen)
- [1HaskellADay/1HAD · ★ 118 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/1HaskellADay/1HAD)

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