willtim / ExpressoLinks
A simple expressions language with polymorphic extensible row types.
☆302Updated 2 years ago
Alternatives and similar repositories for Expresso
Users that are interested in Expresso are comparing it to the libraries listed below
Sorting:
- Functional programming with fewer indirections☆765Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆368Updated last year
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆370Updated 2 years ago
- An unusual Web UI Framework for Haskell☆305Updated 4 years ago
- Haskell DSL and platform providing denotational, compositional api for discrete-step, locally stateful, interactive programs, games & aut…☆181Updated 5 years ago
- A type-safe, high-level SQL library for Haskell☆478Updated last year
- Test monadic programs using state machine based models☆204Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆618Updated last month
- A small and expressive dependently typed language☆129Updated 4 years ago
- Compiler for the Mirth programming language.☆469Updated last month
- A friendly effect system for Haskell☆232Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Parser combinators for Idris☆243Updated 6 years ago
- Richard A. Eisenberg's PhD Dissertation☆205Updated 6 years ago
- A reference library for constraint-solving with propagators and CDCL.☆306Updated 11 months ago
- Fast Aho-Corasick string searching☆187Updated 4 months ago
- Slides from talks that I give☆295Updated 2 years ago
- A prototype successor to Idris☆539Updated 5 years ago
- Optics as an abstract interface☆384Updated this week
- GRIN backend for GHC☆144Updated 3 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆558Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆262Updated 9 months ago
- Functional workflows☆365Updated last year
- Haskell JIT☆184Updated 5 years ago
- The compiler for Keli☆173Updated 6 years ago
- Examples of Dependently-typed programs in Haskell☆304Updated 2 years ago
- Malfunctional Programming☆348Updated 7 months ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago