ButlerOS / haskell-butlerLinks
☆88Updated 8 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:
- A data-driven micro web framework for Haskell☆103Updated last year
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- ☆37Updated last year
- Simple shell like scripting from Haskell☆286Updated last week
- Reference counting with linear types☆31Updated last year
- A small, weird and unpractical programming language.☆103Updated last week
- Mini-game built on a functional style☆12Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago
- An extension for PostgreSQL that allows embedded Haskell code.☆140Updated 2 months ago
- The cuteness implementation of a dependently typed language.☆191Updated 2 years ago
- The adventures of a Haskell compiler☆227Updated 2 months ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- The Haskell Optimization Handbook☆179Updated 3 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- ☆20Updated last year
- Haskell Tiny Game Jam☆167Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago
- A typed, polyglot, functional language☆196Updated last month
- Functional, expression-oriented data processing language☆89Updated last week
- ☆15Updated last year
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆107Updated this week
- All the Transient libraries☆41Updated 3 months ago
- ☆35Updated last year
- Uncompromisingly safe money library☆55Updated last month
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- A Haskell blog☆143Updated 2 weeks ago
- Hash-based Diffing for AST's☆76Updated 5 years ago