Alternatives and similar repositories for vernix

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

• 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
• typeable / stackage2nix
  Generate Nix build instructions from a Stack file
  ☆49Updated 4 years ago
• spinda / liquidhaskell-cabal
  💧 Liquid Haskell integration for Cabal and Stack
  ☆25Updated 6 years ago
• andrewthad / quickcheck-classes
  Quickcheck Properties for common typeclasses
  ☆35Updated last month
• sellout / dredd
  Automatic type class law checking.
  ☆24Updated 4 months ago
• anderspapitto / nix-stack-ghcjs-demo
  skeleton ghc/ghcjs project using nix, stack, cabal, reflex-platform, intero
  ☆21Updated 8 years ago
• srid / reflex-stone
  Template repository for writing GHCJS/Reflex apps targeting static sites without a backend.
  ☆24Updated 3 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 11 months ago
• ndmitchell / profiterole
  GHC prof manipulation script
  ☆32Updated last year
• bgamari / monoidal-containers
  Maps using values' monoidal structure during merging
  ☆42Updated last month
• glguy / config-value
  Simple, layout-based, unambiguous configuration language implemented in Haskell
  ☆18Updated 5 months ago
• MercuryTechnologies / opentelemetry-plugin
  GHC plugin for open telemetry
  ☆24Updated 7 months ago
• haskell / cabal-cache
  CI assistant
  ☆46Updated 3 months ago
• goldfirere / ghc
  Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE
  ☆24Updated 6 years ago
• Lysxia / generic-data-surgery
  Surgery for generic data types
  ☆25Updated 4 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆33Updated 2 years ago
• yav / dump-core
  ☆45Updated 3 years ago
• hasky-mode / hasky-extensions
  Toggle Haskell language extensions from Emacs
  ☆22Updated 5 years ago
• bgamari / ghc-dump
  A GHC plugin and library for analysing GHC Core
  ☆54Updated 3 months ago
• stepcut / idrOS
  An OS written in Idris (eventually...)
  ☆19Updated 10 years ago
• dhallix / nix-derivation
  ☆30Updated 4 years ago
• idris-hackers / idrispkgs
  Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!
  ☆28Updated 9 years ago
• jwiegley / categorical
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Updated 7 years ago
• cabalism / hpack-dhall
  Use hpack's phrasing in dhall to write cabal files
  ☆31Updated 4 months ago
• qfpl / tasty-hedgehog
  Tasty integration for the Hedgehog property testing library
  ☆38Updated 6 months ago
• typedbyte / effet
  An effect system based on type classes, written in Haskell.
  ☆44Updated 3 years ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated 2 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated this week