ericrasmussen / chromaticleaves
personal website and blog
☆14Updated 9 years ago
Related projects: ⓘ
- I like to work inside nix-shell and I'd like to git track my .nix files for projects but I don't want to push my .nix files upstream. Her…☆30Updated 5 years ago
- See http://hackage.haskell.org/package/sproxy2☆35Updated 7 years ago
- Cabal Sandbox manager☆14Updated 8 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- ☆28Updated this week
- GNU bash backend for Idris☆53Updated 5 years ago
- Lift control operations, like exception catching, through monad transformers☆58Updated last year
- A dependency manager for Haskell☆97Updated 2 years ago
- A Distributed Computing Library in Haskell☆52Updated 7 years ago
- coveralls.io support for haskell code coverage with hpc☆60Updated last year
- Graph database in Haskell☆24Updated 8 years ago
- ☆28Updated 9 years ago
- Describe Haskell code in GHCi☆72Updated 7 years ago
- Tool to simplify managing a consistent set of Haskell packages for distributions.☆38Updated 6 years ago
- Haskell libraries for implementing OAuth2 servers.☆24Updated 9 years ago
- Intero Haskell IDE with Nix instead of Stack☆15Updated 6 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆44Updated 3 months ago
- A tool for caching cabal builds in a Nix store☆33Updated 8 years ago
- QuadTree library for Haskell, using lenses.☆15Updated 6 years ago
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- Haskell bindings for the FUSE library☆27Updated 7 months ago
- Nix development utils that will blow up your mind☆44Updated 8 years ago
- ☆28Updated this week
- A very general logging effect for Haskell☆60Updated 4 months ago
- ☆26Updated 8 years ago
- iCalendar data types, parser, and printer.☆38Updated last week
- Online version of GHCi that supports safely executing untrusted code.☆27Updated 8 years ago
- DNS libary in Haskell☆64Updated 3 months ago
- Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.☆26Updated 4 years ago
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)☆32Updated 8 years ago