Alternatives and similar repositories for vernix:

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

• typeable / stackage2nix
  Generate Nix build instructions from a Stack file
  ☆49Updated 4 years ago
• typeable / nixpkgs-stackage
  Stackage overlay for Nixpkgs
  ☆25Updated 5 years ago
• shlevy / nix-adt
  A library for using algebraic data types in the Nix expression language.
  ☆32Updated 7 years ago
• juhp / hkgr
  Hackager tool for releasing Haskell packages to Hackage
  ☆30Updated last month
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 5 years ago
• input-output-hk / foliage
  🌿 Foliage is a tool to create custom Haskell package repositories, in a fully reproducible way.
  ☆43Updated this week
• MercuryTechnologies / opentelemetry-plugin
  GHC plugin for open telemetry
  ☆24Updated 6 months ago
• Lysxia / generic-data-surgery
  Surgery for generic data types
  ☆25Updated 4 years ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 3 months ago
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated last month
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated 2 weeks ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 3 months ago
• alexhumphreys / idrall
  Dhall bindings for Idris
  ☆41Updated 5 months ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• kowainik / extensions
  👅 Parse Haskell Language Extensions
  ☆48Updated 4 months ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated 3 months ago
• mpickering / old-ghc-nix
  Old and New GHC
  ☆20Updated 2 years ago
• evertedsphere / rien
  Predictable Haskell development environments with Cabal and Nix.
  ☆65Updated 5 years ago
• cdepillabout / nix-reverse-deps-of-haskell-package
  Find or build all reverse dependencies of a Haskell package using Nix
  ☆14Updated 4 years ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆32Updated last year
• trevorcook / hkd-delta
  ☆12Updated 5 years ago
• gelisam / typelevel-rewrite-rules
  rewrite rules for type-level equalities
  ☆62Updated last year
• matchwood / acid-world
  Flexible persistence for Haskell data types primarily based on event logging and checkpoints
  ☆48Updated 6 years ago
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆39Updated 9 months ago
• yav / dump-core
  ☆45Updated 3 years ago
• jwiegley / bytestring-fiat
  An implementation of the Haskell ByteString library using the Fiat system from MIT
  ☆32Updated 3 years ago
• cabalism / hpack-dhall
  Use hpack's phrasing in dhall to write cabal files
  ☆31Updated 3 months ago
• cachix / ghcide-nix
  Nix installation for ghcide
  ☆74Updated 4 years ago