PrototypeCommune
ucsd-progsys/elsa
Elsa is a lambda calculus evaluator
- Propriétaire
- ucsd-progsys (organisation)
- Étoiles
- Étoiles : 194
- Forks
- Forks : 25
- Langage
- Haskell
- Licence
- MIT
- Création
- 2017
- Sujets
- lambda-calculusreductionhaskell-learninghaskell
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de ucsd-progsys
Les 3 dépôts de ucsd-progsys- ucsd-progsys/liquidhaskellÉtoiles : 1 338HaskellBêta
- ucsd-progsys/liquid-fixpointÉtoiles : 167HaskellPrototype
D’autres dépôts Haskell
Tous les dépôts Haskell- agda/cornelisÉtoiles : 195HaskellPrototype
- mikeizbicki/HerbiePluginÉtoiles : 194HaskellPrototype
- alpacaaa/quad-ciÉtoiles : 194HaskellPrototype
- corsis/PortFusionÉtoiles : 193HaskellPrototype
- channable/alfred-margaretÉtoiles : 193HaskellPrototype