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
- A bare-bones calculus-of-constructions☆380Updated 2 years ago
- Parsing all context-free grammars using Earley's algorithm in Haskell.☆372Updated 2 years ago
- Parser combinators for Idris☆243Updated 6 years ago
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆379Updated last year
- The compiler for Keli☆173Updated 6 years ago
- Programming language agnostic type construction language based on polynomials.☆368Updated last year
- A categorical programming language with effects☆278Updated 2 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- An unusual Web UI Framework for Haskell☆306Updated 4 years ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- 🚧 a work in progress effect system for Haskell 🚧☆557Updated 2 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Dependent type checker using normalisation by evaluation☆260Updated 8 months ago
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆617Updated 3 weeks ago
- Slides from talks that I give☆295Updated last year
- A friendly effect system for Haskell☆231Updated last year
- Malfunctional Programming☆347Updated 6 months ago
- Frank compiler☆291Updated last year
- A user-centric visual STG implementation to help understand GHC/Haskell's execution model.☆532Updated 3 years ago
- Compiler for the Mirth programming language.☆466Updated last week
- Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"☆131Updated 4 years ago
- Relational programming in Haskell. Mostly developed on twitch.☆263Updated 8 months ago
- Add ACID guarantees to any serializable Haskell data structure☆302Updated 2 months ago
- A prototype successor to Idris☆540Updated 5 years ago
- Fast Aho-Corasick string searching☆187Updated 3 months ago
- A package manager for Idris☆188Updated 4 years ago
- A native compiler backend for PureScript (via C++ or Golang)☆635Updated 2 years ago
- Functional workflows☆365Updated last year