ButlerOS / haskell-butlerLinks
☆88Updated 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:
- A data-driven micro web framework for Haskell☆103Updated last year
- ☆37Updated 2 years ago
- Reference counting with linear types☆31Updated last year
- Mini-game built on a functional style☆12Updated 3 years ago
- An extension for PostgreSQL that allows embedded Haskell code.☆140Updated 3 months ago
- Simple shell like scripting from Haskell☆286Updated 3 weeks ago
- The adventures of a Haskell compiler☆229Updated 2 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 9 months ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 3 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆35Updated this week
- A small, weird and unpractical programming language.☆103Updated this week
- The cuteness implementation of a dependently typed language.☆191Updated 2 years ago
- A graphical interactive proof assistant designed for education☆167Updated 8 months ago
- The Haskell Optimization Handbook☆178Updated 4 months ago
- Generate semi-dynamic UIs with Concur☆58Updated 4 years ago
- Haskell Tiny Game Jam☆167Updated last year
- Functional choreographic programming in Haskell☆99Updated last month
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- A Haskell blog☆146Updated 2 weeks ago
- A tutorial about how to apply property-based testing to stateful systems.☆78Updated 2 years ago
- A structural editor for JSON values☆77Updated 2 years ago
- Functional, expression-oriented data processing language☆89Updated last month
- A CI server written in Simple Haskell.☆191Updated 3 years ago
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆117Updated 4 years ago
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A typed, polyglot, functional language☆202Updated this week
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆177Updated 4 years ago
- ☆20Updated last year
- ☆41Updated last year