willtim / Expresso
A simple expressions language with polymorphic extensible row types.
☆302Updated last year
Related projects ⓘ
Alternatives and complementary repositories for Expresso
- Functional programming with fewer indirections☆761Updated 4 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆365Updated last year
- A bare-bones calculus-of-constructions☆375Updated 2 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 5 months ago
- An unusual Web UI Framework for Haskell☆305Updated 4 years ago
- Haskell In New Clothes☆111Updated 4 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- The compiler for Keli☆171Updated 5 years ago
- GRIN backend for GHC☆143Updated 3 years ago
- A type-safe, high-level SQL library for Haskell☆477Updated 5 months ago
- Add ACID guarantees to any serializable Haskell data structure☆294Updated last week
- A friendly effect system for Haskell☆228Updated 6 months ago
- Relational programming in Haskell. Mostly developed on twitch.☆256Updated 2 months ago
- Functional workflows☆362Updated 9 months ago
- A small and expressive dependently typed language☆129Updated 4 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆592Updated last month
- 🚧 a work in progress effect system for Haskell 🚧☆553Updated last year
- Slides from talks that I give☆294Updated last year
- Generically derive traversals, lenses, and prisms.☆437Updated 7 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆212Updated last year
- Parser combinators for Idris☆239Updated 5 years ago
- Fast Aho-Corasick string searching☆185Updated 2 months ago
- A categorical programming language with effects☆267Updated last year
- Frank compiler☆279Updated 6 months ago
- Haskell JIT☆183Updated 4 years ago
- Dependent type checker using normalisation by evaluation☆254Updated 2 months ago
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆527Updated 3 years ago
- The Art of the Propagator. See also:☆170Updated 7 months ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago