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 2 years ago
- ☆37Updated 2 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 3 months ago
- Day 9 of Advent of Haskell - Denotational Design☆98Updated 4 years ago
- The adventures of a Haskell compiler☆237Updated 2 months ago
- An extension for PostgreSQL that allows embedded Haskell code.☆147Updated 2 months ago
- Simple shell like scripting from Haskell☆288Updated 6 months ago
- Reference counting with linear types☆31Updated last month
- The Haskell Optimization Handbook☆183Updated 9 months ago
- A small, weird and unpractical programming language.☆102Updated last week
- Haskell Tiny Game Jam☆167Updated 2 years ago
- Implementing a small functional language with a combinator based graph-reduction machine☆40Updated 4 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 3 years ago
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- An experimental language exploring computation and meaning through term unification, with logic-agnostic types.☆122Updated 2 weeks ago
- Haskell In New Clothes☆110Updated 5 years ago
- Unix core utilities implemented in Haskell☆287Updated 2 months ago
- Functional, expression-oriented data processing language☆89Updated 2 weeks ago
- ☆15Updated 2 years ago
- Functional choreographic programming in Haskell☆114Updated 7 months ago
- A graphical interactive proof assistant designed for education☆170Updated last year
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- A structural editor for JSON values☆77Updated 3 years ago
- A Haskell blog☆151Updated 3 months ago
- visual bloom filter to display process status as neotrellis m4 output☆27Updated last year
- Notes on Functional Programming and related topics☆30Updated 3 years ago
- A streaming PostgreSQL logical replication client library for Haskell☆42Updated 2 years ago
- Competitive programming utilities in Haskell☆42Updated 3 weeks ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆216Updated 2 years ago
- A tutorial about how to apply property-based testing to stateful systems.☆81Updated 2 years ago