# ucsd-progsys/elsa

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

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

ucsd-progsys/elsa, dépôt open source à 194 étoiles sur GitHub. Carte Prototype de RepoMasters. Elsa is a lambda calculus evaluator Langage : Haskell.

| Champ | Valeur |
| --- | --- |
| Propriétaire | [ucsd-progsys](https://repo.masters-masters.com/owners/ucsd-progsys) |
| Étoiles | 194 |
| Forks | 25 |
| Langage | [Haskell](https://repo.masters-masters.com/languages/haskell) |
| Licence | MIT |
| Création | 2017 |
| Sujets | lambda-calculus, reduction, haskell-learning, haskell |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [ucsd-progsys/elsa](https://github.com/ucsd-progsys/elsa) |

## Fiche du dépôt

Elsa is a lambda calculus evaluator

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 ucsd-progsys

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

## D’autres dépôts Haskell

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

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.