kquick / vernixLinks
Version-specific nix project specifications
☆12Updated 5 years ago
Alternatives and similar repositories for vernix
Users that are interested in vernix are comparing it to the libraries listed below
Sorting:
- A library for using algebraic data types in the Nix expression language.☆32Updated 7 years ago
- An efficient graph library for Haskell☆38Updated last month
- ☆30Updated 3 months ago
- An OS written in Idris (eventually...)☆20Updated 10 years ago
- Stackage overlay for Nixpkgs☆25Updated 5 years ago
- Simple, layout-based, unambiguous configuration language implemented in Haskell☆18Updated 9 months ago
- DEPRECATED: Use bevel instead.☆25Updated 4 years ago
- An effect system based on type classes, written in Haskell.☆45Updated 3 years ago
- CI assistant☆47Updated 4 months ago
- Pretty printer for Nix .drv files.☆15Updated 7 years ago
- Old and New GHC☆20Updated 2 years ago
- Interpreter for GHC Haskell☆22Updated 5 years ago
- 💄🐞 Combinators for writing pretty type errors easily☆56Updated 3 years ago
- 💧 Liquid Haskell integration for Cabal and Stack☆25Updated 6 years ago
- Compile Dhall expressions to Cabal files☆101Updated 2 years ago
- Exploring how to make a strict imperative universe in the GHC runtime system.☆48Updated 10 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…☆39Updated 4 months ago
- Asymptotically optimal Brodal/Okasaki heaps☆32Updated 10 months ago
- Bit vectors: 8x less memory, up to 3500x faster than Vector Bool☆76Updated last month
- Translate Cabals Generic Package Description to a Nix expression☆95Updated 2 years ago
- Use hpack's phrasing in dhall to write cabal files☆31Updated 9 months ago
- ☆80Updated 3 years ago
- Browsing man pages and help pages with zero friction.☆35Updated 6 years ago
- The most complete prelude formed only from the "base" package☆29Updated 2 years ago
- Operations on files and directories with typed paths☆32Updated 8 months ago
- Surgery for generic data types☆25Updated 4 years ago
- Predictable Haskell development environments with Cabal and Nix.☆65Updated 5 years ago
- An in-memory full text search engine library. It lets you run full-text queries on a collection of your documents.☆49Updated 8 months ago
- Generate Nix build instructions from a Stack file☆49Updated 4 years ago
- Maps using values' monoidal structure during merging☆42Updated 6 months ago