ButlerOS / haskell-butlerLinks
☆89Updated 9 months ago
Alternatives and similar repositories for haskell-butler
Users that are interested in haskell-butler are comparing it to the libraries listed below
Sorting:
- ☆37Updated 2 years ago
- A data-driven micro web framework for Haskell☆103Updated last year
- Reference counting with linear types☆31Updated last year
- An extension for PostgreSQL that allows embedded Haskell code.☆140Updated 3 months ago
- The adventures of a Haskell compiler☆230Updated 3 months ago
- Simple shell like scripting from Haskell☆286Updated last month
- Implementing a small functional language with a combinator based graph-reduction machine☆36Updated 2 weeks ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆82Updated 10 months ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- A graphical interactive proof assistant designed for education☆169Updated 9 months ago
- Mini-game built on a functional style☆12Updated 3 years ago
- The Haskell Optimization Handbook☆179Updated 5 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- A Haskell blog☆148Updated last month
- Uncompromisingly safe money library☆60Updated 2 months ago
- ☆41Updated last year
- Haskell In New Clothes☆110Updated 5 years ago
- Haskell Tiny Game Jam☆167Updated last year
- A streaming PostgreSQL logical replication client library for Haskell☆40Updated 2 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Functional, expression-oriented data processing language☆89Updated last month
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆111Updated last month
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- GRIN backend for GHC☆144Updated 3 years ago
- A small, weird and unpractical programming language.☆103Updated this week
- Functional choreographic programming in Haskell☆101Updated 2 months ago
- A library for benign effects in Haskell☆20Updated 2 months ago
- An experiment in implementing remote hot code swapping, or dynamic code upgrade, for state machines.☆21Updated 2 years ago