willtim / Expresso
A simple expressions language with polymorphic extensible row types.
☆300Updated last year
Related projects: ⓘ
- Functional programming with fewer indirections☆758Updated 4 years ago
- Programming language agnostic type construction language based on polynomials.☆366Updated 3 months ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆363Updated last year
- A bare-bones calculus-of-constructions☆373Updated 2 years ago
- The compiler for Keli☆171Updated 5 years ago
- Add ACID guarantees to any serializable Haskell data structure☆291Updated 4 months ago
- An unusual Web UI Framework for Haskell☆305Updated 3 years ago
- A categorical programming language with effects☆266Updated last year
- Haskell In New Clothes☆111Updated 4 years ago
- optics for Haskell with the most amazing type errors you've seen☆243Updated 4 years ago
- High-powered REPL for Haskell, inspired by IPython☆336Updated 11 months ago
- Research on integrating datalog & lambda calculus via monotonicity types☆385Updated 2 years ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆588Updated 4 months ago
- Haskell JIT☆181Updated 4 years ago
- Compiler for the Mirth programming language.☆445Updated last month
- A native compiler backend for PureScript (via C++ or Golang)☆629Updated last year
- Dependent type checker using normalisation by evaluation☆251Updated 2 weeks ago
- 🚧 a work in progress effect system for Haskell 🚧☆551Updated last year
- A friendly effect system for Haskell☆226Updated 4 months ago
- Slides from talks that I give☆294Updated last year
- Squeal, a deep embedding of SQL in Haskell☆350Updated this week
- The strongly hyped Haskell interpreter.☆360Updated this week
- A type-safe, high-level SQL library for Haskell☆478Updated 3 months ago
- A prototype successor to Idris☆539Updated 5 years ago
- Parser combinators for Idris☆238Updated 5 years ago
- Richard A. Eisenberg's PhD Dissertation☆207Updated 6 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆364Updated 10 months ago
- ☆284Updated 8 months ago
- The Makam Metalanguage☆187Updated last year
- Test monadic programs using state machine based models☆203Updated 3 years ago