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:
- ☆17Updated 11 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Updated 4 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
- Arch Haskell ABS tree☆80Updated 8 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Updated 14 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- Haskell implementation of Mustache template☆96Updated 7 years ago
- Fast Haskell bindings to Google's Snappy compression library☆31Updated 2 years ago
- A fork of jhc. And also a Haskell compiler.☆134Updated 6 years ago
- Crux Programming Language☆53Updated 2 months ago
- Convert/mirror darcs repos into git repos☆101Updated last year
- 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
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 3 years ago
- A programming language☆77Updated 12 years ago
- A type theory based theorem proving library☆25Updated 14 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats☆49Updated 5 years ago
- A fast, low-level HTTP server you can trust☆46Updated 7 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Salvia - Modular Haskell HTTP server.☆24Updated 15 years ago
- An alternative to ghc --make which supports parallel compilation of modules and runs faster when nothing needs compiling.☆40Updated 3 years ago
- An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…☆57Updated 14 years ago
- Type declarations for jQuery☆30Updated 5 years ago
- Bindings to the Zstandard library to make it usable from the Haskell programming language.☆47Updated 8 years ago
- An empty code generator, to be used as a starting point for any new back ends.☆51Updated 8 years ago
- An Ivory library inspired by Atom☆14Updated 9 years ago
- Simple, IO-based Haskell library for Erlang-inspired thread supervisors☆29Updated 3 years ago
- Example Integration for Embedding Rust in Haskell☆35Updated 7 years ago
- Online version of GHCi that supports safely executing untrusted code.☆26Updated 9 years ago