kquick / vernix
Version-specific nix project specifications
☆12Updated 5 years ago
Related projects ⓘ
Alternatives and complementary repositories for vernix
- Generate Nix build instructions from a Stack file☆49Updated 3 years ago
- Stackage overlay for Nixpkgs☆25Updated 4 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆32Updated 2 years ago
- 🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.☆42Updated this week
- Classes for types where we know all the values☆37Updated 6 months ago
- A collection of Edward Kmett's packages in a single repository☆16Updated 3 years ago
- A library for using algebraic data types in the Nix expression language.☆32Updated 6 years ago
- ☆12Updated 5 years ago
- Handling errors which occur deep inside lens-chains☆17Updated 5 years ago
- Overloaded plugin☆31Updated 5 months ago
- Maps using values' monoidal structure during merging☆42Updated 5 months ago
- Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.☆24Updated 2 years ago
- Existential type.☆36Updated 6 months ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- Use Pandoc to write simple reports within haskell code. Inspired by R-markdown.☆29Updated last month
- rewrite rules for type-level equalities☆62Updated 7 months ago
- Dependently-typed finite maps (partial dependent products)☆63Updated 5 months ago
- A GHC plugin and library for analysing GHC Core☆53Updated 2 years ago
- Example repository setup that deploys GHCJS programs to GitHub Pages☆24Updated 5 years ago
- A monadic DSL for simple configuration parsing☆24Updated last year
- This will, one day, be a Haskell implementation of Cap'n Proto.☆11Updated 8 years ago
- ☆30Updated 9 months ago
- DEPRECATED use autodocodec instead An optparse-applicative -style explainable yaml parser.☆28Updated 3 years ago
- Automatic type class law checking.☆24Updated 11 months ago
- parser for config files, shell variables, command line args.☆22Updated 8 years ago
- GHC plugin to branch on whether a constraint is satisfied☆30Updated last year
- Derive instances through isomorphisms☆20Updated 5 months ago
- Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…☆38Updated 4 months ago
- QuasiQuoter for GHCJS JavaScript FFI☆20Updated 8 years ago
- Flexible persistence for Haskell data types primarily based on event logging and checkpoints☆47Updated 5 years ago