ButlerOS / haskell-butlerLinks
☆88Updated 7 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
- An extension for PostgreSQL that allows embedded Haskell code.☆140Updated last month
- ⛳ Sokoban game in 10 lines of Haskell☆26Updated 2 years ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆80Updated 8 months ago
- Simple shell like scripting from Haskell☆286Updated 10 months ago
- A small, weird and unpractical programming language.☆103Updated last week
- ☆37Updated last year
- ☆15Updated last year
- How I start Haskell.☆100Updated 8 months ago
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated 2 years ago
- Reference counting with linear types☆31Updated 11 months ago
- The Haskell Optimization Handbook☆179Updated 3 months ago
- Haskell Tiny Game Jam☆165Updated last year
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- Haskell Gamedev Toolkit, a library for developing games from scratch.☆67Updated last year
- A logical authorization system☆51Updated 3 years ago
- The adventures of a Haskell compiler☆226Updated last month
- ☆20Updated last year
- ☆88Updated 3 years ago
- Unix core utilities implemented in Haskell☆288Updated 2 months ago
- A collection of Practical Haskell bits.☆85Updated 2 years ago
- Terminal Emulator written in 100% Haskell☆67Updated 3 years ago
- Haskell In New Clothes☆110Updated 4 years ago
- Notes on Functional Programming and related topics☆29Updated 3 years ago
- Material for Haskell training☆34Updated 2 years ago
- Final project for EECS 368 written in Haskell☆23Updated 4 years ago
- A graphical interactive proof assistant designed for education☆166Updated 7 months ago
- Convert values from one type into another.☆76Updated last month
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆174Updated 4 years ago