Haskell-Morte-Library
Compiler library
An intermediate language for optimizing functional programs in Haskell
A bare-bones calculus-of-constructions
375 stars
26 watching
25 forks
Language: Haskell
last commit: about 2 years ago Related projects:
| Repository | Description | Stars |
|---|---|---|
| gabriella439/haskell-annah-library | Compiles Annah expressions into Morte expressions and provides a Haskell implementation of lambda calculus | 91 |
| gabriella439/haskell-errors-library | A type-safe approach to error handling in the Haskell programming language | 64 |
| gabriella439/grace | An interpreted functional programming language with type inference and efficient parsing. | 388 |
 1haskelladay/1had | Provides tools and exercises for practicing functional programming in Haskell | 118 |
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,028 |
| gabriella439/haskell-lens-tutorial-library | A comprehensive tutorial module for the lens library, providing in-depth guidance on its usage and application. | 81 |
 frege/frege | A Haskell implementation for the JVM with a strong focus on functional programming and type inference. | 3,642 |
| gabriella439/pipes | A lightweight stream processing library that builds and connects reusable streaming components using Haskell | 489 |
 forest-lang/forest-compiler | A compiler for a multi-syntax functional programming language that compiles to WebAssembly | 620 |
 faylang/fay | A programming language that compiles to JavaScript, based on Haskell. | 1,283 |
 vmchale/kempe | A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |
 finkel-lang/finkel | A statically typed, purely functional programming language implemented in Haskell using S-expression syntax | 171 |
| gabriella439/haskell-typed-spreadsheet-library | Provides a typed and composable API for building spreadsheets with explicit input/output relationships | 186 |
| gabriella439/turtle | A Haskell-based shell scripting library providing a typed and lightweight environment for executing system commands and performing filesystem operations. | 945 |
 felixmulder/haskell-in-production | A collection of practical resources and guides for using Haskell in real-world software development projects | 80 |