mzero / plushLinks
Plush - the comfy shell
☆67Updated 11 years ago
Alternatives and similar repositories for plush
Users that are interested in plush are comparing it to the libraries listed below
Sorting:
- A collection of introductory tutorials on Haskell libraries☆42Updated 10 years ago
- ide-backend drives the GHC API to build, query, and run your code☆119Updated 9 years ago
- Haskell Extensible Shell☆68Updated 5 years ago
- Learning project by a group of people interested in learning the Idris language☆51Updated 10 years ago
- Slides and exercises for the Idris course taught at Galois☆50Updated 10 years ago
- xmonad with the X11 abstracted and configured with Idris☆209Updated 6 years ago
- The Ermine Programming Language - Join us on irc.freenode.net #ermine☆223Updated 7 years ago
- A purely functional, dynamically typed, parallel evaluated Lisp-like programming language☆35Updated 9 years ago
- Haskell bindings to bgfx, a cross-platform, graphics API agnostic, "Bring Your Own Engine/Framework" style rendering library.☆32Updated 9 years ago
- 2048 in Idris☆123Updated 7 years ago
- ghci with autocomplete, calltips, colors with type information, variable inspector, and more.☆21Updated 13 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Translate your console applications to run in the web browser and have reactive, window-oriented and spreadsheet effects for free. Widget…☆60Updated 9 years ago
- The Haskell Refactoring Tool☆139Updated 8 years ago
- Ur/Web part of BazQux Reader sources☆84Updated 4 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 10 years ago
- ☆51Updated 10 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- ☆98Updated 2 weeks ago
- The Haskell Refactoring Tool☆139Updated 5 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- The missing tutorial module for the lens library☆83Updated last year
- Curses bindings package for Idris☆13Updated 6 years ago
- ghc-android build using nix☆68Updated 5 years ago
- A server interface to GHC.☆19Updated 11 years ago
- A simple FRP library providing leak-free first-class streams.☆114Updated 9 years ago
- Server for stable, curated Haskell package sets☆109Updated 3 months ago