Alternatives and similar repositories for constraints-emerge

Users that are interested in constraints-emerge are comparing it to the libraries listed below

• mpickering / ghc-artefact-nix
  Create environments with GHC HEAD artefacts
  ☆26Updated 2 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated 2 months ago
• qfpl / hedgehog-fn
  Function generation for Hedgehog
  ☆19Updated last year
• soenkehahn / generics-eot
  A library for generic programming that aims to be easy to understand
  ☆26Updated 8 months ago
• andrewthad / sockets
  high-level stream sockets in haskell
  ☆17Updated 2 months ago
• phadej / overloaded
  Overloaded plugin
  ☆31Updated last year
• clash-lang / ghc-typelits-knownnat
  Derive KnownNat constraints from other KnownNat constraints
  ☆14Updated last month
• int-index / slay
  Source Layouting Engine
  ☆11Updated 4 years ago
• qnikst / ghc-timings-report
  Experimental tool to build reports on GHC build time for your projects.
  ☆24Updated 2 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 3 years ago
• covid-db / covid-scrapers
  ☆13Updated 5 years ago
• byteverse / colonnade
  Generic types and functions for encoding and decoding columns
  ☆44Updated last year
• ocramz / trie-perf
  Performance shootout of various trie implementations
  ☆18Updated 6 years ago
• isovector / th-dict-discovery
  🐙 discover Dicts
  ☆14Updated 7 years ago
• treeowl / sort-traversable
  Sort any Traversable container
  ☆41Updated 3 years ago
• ElvishJerricco / nix-cabal-stack-skeleton
  Skeleton project that builds with any of the three major build tools.
  ☆15Updated 8 years ago
• ChrisPenner / catalyst
  There are many category theory implementations, but this one is mine
  ☆16Updated last year
• haskell-core / core-libraries-proposals
  Proposed changes to Haskell Core Libraries
  ☆19Updated 5 years ago
• haskell-perf / strict-bytestring-builders
  A benchmark comparing different ways of building a strict bytestring in Haskell
  ☆25Updated 2 years ago
• Petrosz007 / haskell-profile-highlight
  Color highlighting for Haskell profiling information
  ☆40Updated 4 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated 3 weeks ago
• haskell / ecosystem-proposals
  Proposals for the Haskell Ecosystem
  ☆54Updated 6 years ago
• sheyll / type-spec
  A tiny EDSL to write type-level-unit tests
  ☆49Updated 6 years ago
• puffnfresh / leftpad.hs
  Verified left pad
  ☆19Updated 7 years ago
• glguy / generic-traverse
  Demonstration for how to build "traverse" using GHC.Generics efficiently
  ☆22Updated 7 years ago
• int-index / caps
  Monadic capabilities with late binding
  ☆29Updated 2 years ago
• haskell / ghc-events
  Library and tool for parsing .eventlog files from GHC
  ☆37Updated 3 months ago
• maxigit / Metamorphosis
  TemplateHaskell functions to generate types and converter function.
  ☆18Updated last year
• CRogers / should-not-typecheck
  A HUnit/hspec assertion to verify that an expression does not typecheck
  ☆43Updated 6 years ago
• csabahruska / manual-stg-experiment
  Manually constructed STG programs compiled with the standard GHC codegen backend.
  ☆24Updated 4 years ago