jekor / redo
djb's redo implementation in Haskell (for Haskell from Scratch video series)
☆145Updated 7 years ago
Alternatives and similar repositories for redo:
Users that are interested in redo are comparing it to the libraries listed below
- Auto-generate a command-line parser for your datatype☆210Updated last year
- Haskell Extensible Shell☆68Updated 4 years ago
- Implementing Quake 3 in Haskell & Vulkan☆163Updated 4 years ago
- A Haskell package skeleton.☆134Updated 7 years ago
- Collection of Idris tests and demonstration programs☆190Updated 6 years ago
- Manipulating Haskell source: abstract syntax, lexer, parser, and pretty-printer☆196Updated last year
- The Haskell Refactoring Tool☆136Updated 5 years ago
- A Haskell regular expressions library that doesn't suck | now on https://codeberg.org/valpackett/pcre-heavy☆51Updated 2 years ago
- The missing tutorial module for the lens library☆82Updated 9 months ago
- The Haskell Refactoring Tool☆138Updated 7 years ago
- Let GHC prove program equations for you☆145Updated 6 years ago
- UNMAINTAINED: Continuous integration server☆130Updated 6 years ago
- gallery of themes for hakyll static site generator☆85Updated 5 years ago
- Learn you an Agda (and achieve enlightenment)☆315Updated 7 years ago
- Type classes for mapping, folding, and traversing monomorphic containers☆156Updated last month
- Example uses of monads☆43Updated 6 years ago
- A friendly IRC bot and apprentice coder, written in Haskell.☆165Updated last month
- Compositional pipelines☆490Updated 2 years ago
- Visualize live Haskell data structures in GHCi☆136Updated 10 months ago
- Richard A. Eisenberg's PhD Dissertation☆206Updated 6 years ago
- Preflight checklist for Haskell code. Aspire to greatness!☆68Updated 8 years ago
- Runtime Haskell interpreter☆267Updated last month
- Mutable hash tables for Haskell, in the ST monad☆127Updated 3 weeks ago
- A command-line interface description language and parser that will make you smile☆119Updated 8 months ago
- xmonad with the X11 abstracted and configured with Idris☆206Updated 5 years ago
- ☆286Updated 2 months ago
- A Cloud monad based on transient for the creation of Web and reactive distributed applications that are fully composable, where Web brow…☆139Updated 3 years ago
- Haskell bindings to FLTK GUI toolkit.☆191Updated 2 years ago
- Example code for how we swap compiled code within a running Haskell process.☆172Updated 6 years ago
- Describe Haskell code in GHCi☆71Updated 7 years ago