jhickner / hobbesLinks
A cross-platform file activity monitor
☆72Updated 9 years ago
Alternatives and similar repositories for hobbes
Users that are interested in hobbes are comparing it to the libraries listed below
Sorting:
- Integrates QuickChecked properties into the type system with phantom types☆34Updated 9 years ago
- Haskell code generator☆22Updated 9 years ago
- A dependency manager for Haskell☆97Updated 3 years ago
- Hasmin - A Haskell CSS Minifier☆57Updated last year
- ☆42Updated 9 years ago
- An aggregation of all online content related to Haskell.☆91Updated 7 years ago
- A general build tool for haskell projects inspired by leiningen☆16Updated 10 years ago
- ☆94Updated 9 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- λtext - higher-order file applicator☆36Updated last year
- A Purescript implementation of Elm's `core` library☆30Updated 7 years ago
- What I Wish I Knew While Learning Nix☆34Updated 3 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- a simple functional language for learners☆30Updated 8 years ago
- Haskell implementation of MessagePack / msgpack.org☆16Updated 4 months ago
- Flexible, fast and constant-space CSV library for Haskell using conduits☆52Updated 3 months ago
- A collection of introductory tutorials on Haskell libraries☆42Updated 9 years ago
- A simple, flexible and composable web-router☆85Updated 6 years ago
- dash docset builder for Haskell packages and cabal project dependencies☆78Updated 5 years ago
- A library for generating RSS 2.0 feeds.☆18Updated 3 months ago
- Community edited and directed course based on Spring '13 cis194.☆46Updated 9 years ago
- Rope data structure used by Yi☆20Updated 7 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Reproducible builds for PureScript☆73Updated 7 years ago
- Static blog generator in Idris.☆40Updated 10 years ago
- A command-line interface description language and parser that will make you smile☆120Updated 5 months ago
- Flexible session middleware for WAI☆15Updated 4 years ago
- Write shell scripts with Conduit☆96Updated 5 years ago