Alternatives and similar repositories for vernix

Users that are interested in vernix are comparing it to the libraries listed below

• shlevy / nix-adt
  A library for using algebraic data types in the Nix expression language.
  ☆32Updated 7 years ago
• typeable / nixpkgs-stackage
  Stackage overlay for Nixpkgs
  ☆25Updated 5 years ago
• dhall-lang / dhall-to-cabal
  Compile Dhall expressions to Cabal files
  ☆101Updated 3 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆20Updated 10 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 2 weeks ago
• Lysxia / generic-data-surgery
  Surgery for generic data types
  ☆25Updated 4 years ago
• haskell-nix / hnix-store
  Haskell implementation of the Nix store
  ☆94Updated last month
• input-output-hk / nix-tools
  Translate Cabals Generic Package Description to a Nix expression
  ☆96Updated 2 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated last week
• mpickering / old-ghc-nix
  Old and New GHC
  ☆20Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 4 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆45Updated 4 years ago
• input-output-hk / foliage
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆43Updated last week
• haskell / cabal-cache
  CI assistant
  ☆48Updated 7 months ago
• obsidiansystems / rhyolite
  ☆30Updated 2 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago
• ocharles / what-it-do
  Automatically trace all (showable) binds in do expressions
  ☆84Updated 7 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 6 years ago
• hasufell / stack2cabal
  Convert stack projects to cabal.project + cabal.project.freeze
  ☆26Updated last year
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated 4 months ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆66Updated 6 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 2 months ago
• qfpl / sv
  Comma (and other) separated values
  ☆78Updated 2 years ago
• yav / dump-core
  ☆45Updated 4 years ago
• ekmett / heaps
  Asymptotically optimal Brodal/Okasaki heaps
  ☆33Updated last year
• ekmett / structs
  Exploring how to make a strict imperative universe in the GHC runtime system.
  ☆49Updated last year
• chrisdone-archive / prana
  Interpreter for GHC Haskell
  ☆22Updated 6 years ago
• complyue / hadui
  Web front UI for interactive Haskell projects
  ☆34Updated 5 years ago
• ocharles / assert-explainer
  Py.test style assertions in Haskell
  ☆67Updated 7 years ago