jekor / redoLinks
djb's redo implementation in Haskell (for Haskell from Scratch video series)
☆148Updated 8 years ago
Alternatives and similar repositories for redo
Users that are interested in redo are comparing it to the libraries listed below
Sorting:
- Haskell Extensible Shell☆68Updated 5 years ago
- Collection of Idris tests and demonstration programs☆193Updated 7 years ago
- Haskell bindings to FLTK GUI toolkit.☆189Updated 3 years ago
- LTS Haskell build plans☆162Updated this week
- A command-line interface description language and parser that will make you smile☆119Updated 3 weeks ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- A bittorrent client written in Haskell☆234Updated 9 years ago
- ide-backend drives the GHC API to build, query, and run your code☆118Updated 10 years ago
- Implementing Quake 3 in Haskell & Vulkan☆166Updated 5 years ago
- Language independent type-safe communication☆134Updated 7 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- Toy example of calling Rust from Haskell☆132Updated 10 years ago
- A demo web browser engine written in Haskell☆280Updated 6 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
- ☆94Updated 9 years ago
- The Haskell Refactoring Tool☆138Updated 6 years ago
- Provides protection against cabal swindling, robbing, injuring or sabotaging people with chopsticks.☆135Updated 6 years ago
- Haskell text processor for the command-line☆363Updated last year
- Haskell shell scripting☆426Updated 5 months ago
- A terminal interface for Conway's Game of Life☆61Updated 5 years ago
- Clear to write, read and edit DSL for writing HTML☆307Updated 10 months ago
- High level library cheat sheets for the working Haskell programmer.☆81Updated 10 years ago
- A git-compatible content tracker in Haskell.☆67Updated 6 years ago
- The Haskell Refactoring Tool☆138Updated 8 years ago
- The LLVM LHC Haskell Optimization System☆202Updated 5 years ago
- ☆138Updated 4 years ago
- Community-driven book on intermediate Haskell☆292Updated 10 years ago
- The missing tutorial module for the lens library☆83Updated last year
- Idris mode for vim☆221Updated 5 years ago
- 2D game engine written in Haskell☆93Updated 4 years ago