ttuegel / autonix-deps
Library for Nix expression dependency generation
☆12Updated 9 years ago
Alternatives and similar repositories for autonix-deps:
Users that are interested in autonix-deps are comparing it to the libraries listed below
- A tool for caching cabal builds in a Nix store☆33Updated 9 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Various type-aligned sequence data structures.☆20Updated 3 years ago
- ☆25Updated 8 years ago
- Manage Nix Haskell override sets☆11Updated 6 years ago
- Integration of the Warp webserver with Let's Encrypt☆18Updated 8 years ago
- HTML to Hamlet converter☆16Updated 5 years ago
- A toy symbolic algebra / calculus library in Haskell☆12Updated 9 years ago
- An alternative interface to Opaleye, built around type families☆13Updated 8 years ago
- Type-level assertion operators☆16Updated 7 years ago
- A hack to find types in Haskell codebases☆10Updated 9 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- Lightweight Haskell dynamic loading library originally written by Copyright © 2004 Hampus Ram.☆24Updated 7 years ago
- FoldMap lists☆12Updated last year
- ☆12Updated 4 years ago
- A servant client written for GHCJS☆12Updated 8 years ago
- Bidirectional mapping between two key types☆22Updated 10 months ago
- Web frontend for GHC☆12Updated 5 years ago
- This project is dead. See https://gitlab.com/k0001/moto for its reincarnation.☆17Updated 5 years ago
- ghc --make reimplemented with Shake☆30Updated last year
- Stackage overlay for Nixpkgs☆25Updated 4 years ago
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 9 years ago
- Fuzzy string search in Haskell☆14Updated last year
- An OS written in Idris (eventually...)☆19Updated 10 years ago
- Deep evaluation of data structures without NFData☆10Updated 10 years ago
- Slides for my Haskell Symposium 2015 lighting talk☆12Updated 9 years ago
- Toggle Haskell language extensions from Emacs☆22Updated 5 years ago
- ☆18Updated 2 years ago
- Stricter drop in replacements for WriterT and RWST☆11Updated last year
- A GHC type checker plugin for row types☆39Updated 7 years ago