ButlerOS / haskell-butler
☆89Updated 4 months ago
Alternatives and similar repositories for haskell-butler:
Users that are interested in haskell-butler are comparing it to the libraries listed below
- A data-driven micro web framework for Haskell☆104Updated last year
- Simple shell like scripting from Haskell☆286Updated 6 months ago
- Day 9 of Advent of Haskell - Denotational Design☆97Updated 3 years ago
- An extension for PostgreSQL that allows embedded Haskell code.☆138Updated this week
- The adventures of a Haskell compiler☆221Updated 2 months ago
- A logical authorization system☆50Updated 3 years ago
- haskell source code visualizer☆98Updated last year
- A tiny language, a subset of Haskell aimed at aiding teachers teach Haskell☆214Updated last year
- The cuteness implementation of a dependently typed language.☆189Updated 2 years ago
- A small, weird and unpractical programming language.☆103Updated this week
- Haskell implemented with combinators☆433Updated this week
- Haskell In New Clothes☆111Updated 4 years ago
- Mini-game built on a functional style☆12Updated 2 years ago
- Repository with code snippets that accompany episodes of The Haskell Unfolder☆89Updated last month
- MicroC example compiler for Stephen Edward's PLT class, but in Haskell☆116Updated 3 years ago
- The Haskell Optimization Handbook☆174Updated this week
- A graphical interactive proof assistant designed for education☆166Updated 3 months ago
- Turnstyle is a graphical esoteric programming language based on lambda calculus☆79Updated 4 months ago
- Best practices on how to be efficient with Haskell in production☆96Updated 8 months ago
- GRIN backend for GHC☆143Updated 3 years ago
- A structured concurrency library☆85Updated this week
- ☆37Updated last year
- ☆89Updated 3 years ago
- Visual tool to spot odd runtime behaviour of Haskell programs.☆109Updated 3 years ago
- ☆15Updated last year
- Terminal Emulator written in 100% Haskell☆67Updated 3 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago
- Functional choreographic programming in Haskell☆91Updated 2 months ago
- Reference counting with linear types☆31Updated 7 months ago
- Active streaming declarative programmers. See who's online at the following URL:☆67Updated last year