Haskell-Annah-Library
by Gabriella439
Distributed programming language that desugars to Morte
AI summary
Lambda calculator
Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus
- stars
- 91
- forks
- 6
- watching
- 15
Similar projects
Found by comparing what the projects do, not just their names.
Compiler library
An intermediate language for optimizing functional programs in Haskell
λ-calculus compiler
An educational λ-calculus interpreter in Haskell to learn and understand λ-calculus concepts
λ-calculus compiler
Implementing a graph-reduction machine for a small functional language based on λ-calculus and combinatory logic
Spreadsheet library
Provides a typed and composable API for building spreadsheets with explicit input/output relationships
Lambda calculator
Reorganization of source code for dependently typed lambda calculus paper to improve readability and understandability
jgm/texmath327
Markup converter library
A Haskell library for converting between various markup formats used to represent mathematics.
Financial calculator
Haskell implementation of financial math libraries
Calculation Evaluator
An evaluator for a minimal calculus designed to study reduction and computation-by-substitution in lambda calculus.
Linear algebra library generator
A software framework that instantiates high-performance linear algebra libraries
Dataflow analysis library
A library that provides a modular and reusable framework for dataflow analysis and transformation in programming languages
Error handling library
A type-safe approach to error handling in the Haskell programming language
Programming language
An implementation of a programming language and its compiler in Haskell
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Interval analyzer
A Haskell library for analyzing interval relationships and dependencies.
Graphics library
A Haskell implementation of a subset of the Processing language for computer graphics
