jekor / redoLinks
djb's redo implementation in Haskell (for Haskell from Scratch video series)
☆147Updated 7 years ago
Alternatives and similar repositories for redo
Users that are interested in redo are comparing it to the libraries listed below
Sorting:
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- Haskell Extensible Shell☆68Updated 5 years ago
- The Haskell Refactoring Tool☆139Updated 8 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- A command-line interface description language and parser that will make you smile☆119Updated 7 months ago
- Implementing Quake 3 in Haskell & Vulkan☆166Updated 5 years ago
- Language independent type-safe communication☆134Updated 7 years ago
- The Haskell Refactoring Tool☆139Updated 5 years ago
- An example distributed systems application in Haskell using Cloud Haskell☆69Updated 4 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆134Updated 5 years ago
- Haskell bindings to FLTK GUI toolkit.☆189Updated 3 years ago
- The missing tutorial module for the lens library☆83Updated last year
- Fast linear time sorting and discrimination for a large class of data types☆137Updated 4 months ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- A terminal user interface programming library similar to graphical interfaces such as GTK and QT. (DEPRECATED, see https://github.com/jtd…☆71Updated 6 years ago
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- A git-compatible content tracker in Haskell.☆67Updated 5 years ago
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆182Updated 7 years ago
- A Haskell regular expressions library that doesn't suck | now on https://codeberg.org/valpackett/pcre-heavy☆51Updated 2 years ago
- gallery of themes for hakyll static site generator☆85Updated 6 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 9 years ago
- A simple Haskell progress bar for the console. Heavily borrows from TJ Holowaychuk's Node.JS project☆64Updated 8 years ago
- ide-backend drives the GHC API to build, query, and run your code☆119Updated 9 years ago
- Developer tools for Haskell☆249Updated last year
- Community-driven book on intermediate Haskell☆293Updated 10 years ago
- The Disco Discus Compiler☆174Updated 6 years ago
- LTS Haskell build plans☆162Updated last week
- Clear to write, read and edit DSL for writing HTML☆302Updated 7 months ago
- Classic games recreated in netwire☆95Updated 8 years ago
- Compile Idris to Vimscript, like you always wanted.☆131Updated 7 years ago