# ucsd-progsys/elsa

<https://repo.masters-masters.com/en/repos/ucsd-progsys/elsa>

[Home](https://repo.masters-masters.com/en) › [ucsd-progsys](https://repo.masters-masters.com/en/owners/ucsd-progsys) › [elsa](https://repo.masters-masters.com/en/repos/ucsd-progsys/elsa)

ucsd-progsys/elsa has 194 stars on GitHub. Its RepoMasters card: Prototype tier. Elsa is a lambda calculus evaluator Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [ucsd-progsys](https://repo.masters-masters.com/en/owners/ucsd-progsys) |
| Stars | 194 |
| Forks | 25 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | MIT |
| Created | 2017 |
| Topics | lambda-calculus, reduction, haskell-learning, haskell |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [ucsd-progsys/elsa](https://github.com/ucsd-progsys/elsa) |

## Repository

Elsa is a lambda calculus evaluator

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

## More repos by ucsd-progsys

- [ucsd-progsys/liquidhaskell · ★ 1,338 · Haskell · Beta](https://repo.masters-masters.com/en/repos/ucsd-progsys/liquidhaskell)
- [ucsd-progsys/liquid-fixpoint · ★ 167 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ucsd-progsys/liquid-fixpoint)

## Nearby in Haskell

- [agda/cornelis · ★ 195 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/agda/cornelis)
- [mikeizbicki/HerbiePlugin · ★ 194 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/mikeizbicki/HerbiePlugin)
- [alpacaaa/quad-ci · ★ 194 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/alpacaaa/quad-ci)
- [corsis/PortFusion · ★ 193 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/corsis/PortFusion)
- [channable/alfred-margaret · ★ 193 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/channable/alfred-margaret)

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