ButlerOS / haskell-butlerLinks
☆90Updated last year
Alternatives and similar repositories for haskell-butler
Users that are interested in haskell-butler are comparing it to the libraries listed below
Sorting:
- A data-driven micro web framework for Haskell☆104Updated last year
- ☆37Updated 2 years ago
- An extension for PostgreSQL that allows embedded Haskell code.☆146Updated last week
- Simple shell like scripting from Haskell☆290Updated 4 months ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- Reference counting with linear types☆31Updated last month
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆81Updated last month
- A small, weird and unpractical programming language.☆103Updated this week
- The adventures of a Haskell compiler☆232Updated 2 weeks ago
- Implementing a small functional language with a combinator based graph-reduction machine☆37Updated 2 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- A graphical interactive proof assistant designed for education☆169Updated 11 months ago
- Haskell Tiny Game Jam☆171Updated 2 years ago
- The Haskell Optimization Handbook☆181Updated 7 months ago
- Mini-game built on a functional style☆13Updated 3 years ago
- EulerHS: full-fledged framework for creating web backends☆115Updated last year
- A CI server written in Simple Haskell.☆191Updated 3 years ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- A Haskell blog☆151Updated last month
- Haskell In New Clothes☆110Updated 5 years ago
- Unix core utilities implemented in Haskell☆287Updated 6 months ago
- ☆15Updated 2 years ago
- Functional, expression-oriented data processing language☆90Updated 2 weeks ago
- A structural editor for JSON values☆77Updated 3 years ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆215Updated 2 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆116Updated last week
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Uncompromisingly safe money library☆60Updated 5 months ago
- ☆37Updated 2 years ago