Haskell-Annah-Library
Lambda calculator
Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus
Distributed programming language that desugars to Morte
91 stars
15 watching
6 forks
Language: Haskell
last commit: about 4 years agoRelated projects:
| Repository | Description | Stars |
|---|---|---|
| gabriella439/haskell-morte-library | An intermediate language for optimizing functional programs in Haskell | 374 |
 mroman42/mikrokosmos | An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts | 70 |
 thma/lambda-ski | Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic | 28 |
| gabriella439/haskell-typed-spreadsheet-library | Provides a typed and composable API for building spreadsheets with explicit input/output relationships | 185 |
 ilya-klyuchnikov/lambdapi | Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability | 112 |
 jgm/texmath | A Haskell library for converting between various markup formats used to represent mathematics. | 327 |
 paulrzcz/hquantlib | Haskell implementation of financial math libraries | 66 |
 ucsd-progsys/elsa | An evaluator for a minimal calculus designed to study reduction and computation-by-substitution in lambda calculus. | 181 |
 ahgamut/blis | A software framework that instantiates high-performance linear algebra libraries | 4 |
 haskell/hoopl | A library that provides a modular and reusable framework for dataflow analysis and transformation in programming languages | 73 |
| gabriella439/haskell-errors-library | A type-safe approach to error handling in the Haskell programming language | 64 |
 alphamarc/wyah | An implementation of a programming language and its compiler in Haskell | 0 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 tfausak/rampart | A Haskell library for analyzing interval relationships and dependencies. | 77 |
 anton-k/processing-for-haskell | A Haskell implementation of a subset of the Processing language for computer graphics | 71 |