archhaskell / archlinuxLinks
☆24Updated 10 years ago
Alternatives and similar repositories for archlinux
Users that are interested in archlinux are comparing it to the libraries listed below
Sorting:
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 years ago
- ☆16Updated 11 years ago
- Framework for running and organising QuickCheck test properties and HUnit test cases☆83Updated 7 years ago
- ncurses binding for Haskell☆62Updated 3 months ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 6 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- Translate Pascal into Haskell☆51Updated 6 years ago
- A secure sandboxed Haskell interpreter for pure function evaluation☆76Updated last year
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- Haskell implementation of Mustache template☆96Updated 7 years ago
- Hackage search engine☆56Updated 7 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- Reverse proxy HTTP requests, either over raw sockets or with WAI☆56Updated 3 months ago
- Prototype of a web based, database driven Haskell IDE☆17Updated 9 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Proof that Haskell can look and act like an imperative language.☆74Updated 13 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Lua parser and pretty-printer☆51Updated 9 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
- Shell Integration Library [Haskell]☆54Updated 8 months ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆39Updated 7 years ago
- Call-by-need values☆30Updated 3 years ago
- (ARCHIVE) Raku User's Golfing System in Haskell☆85Updated 4 years ago
- A programming language☆77Updated 12 years ago
- A program for evaluating a Haskell expression step-by-step☆50Updated 9 years ago
- Crux Programming Language☆53Updated 3 months ago