Alternatives and similar repositories for PCG

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

• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 5 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 2 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 7 months ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• JustusAdam / mustache
  Haskell implementation of mustache templates
  ☆101Updated 2 months ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• 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 2 months ago
• haskell / pvp
  Haskell Package Version Policy (PVP)
  ☆38Updated 11 months ago
• blamario / grampa
  Grammatical parsers - combinator library for parsing general context-free grammars
  ☆36Updated this week
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆41Updated 3 weeks ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 6 months ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆27Updated 3 weeks ago
• ekmett / algebra
  constructive abstract algebra
  ☆103Updated 5 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated last month
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 6 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 3 years ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆95Updated 4 months ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆73Updated 3 years ago
• chessai / theseus
  theseus, functional programming language with fully reversible computation
  ☆123Updated 6 years ago
• hedgehogqa / haskell-hedgehog-classes
  Hedgehog will eat your typeclass bugs
  ☆56Updated last month
• ndmitchell / uniplate
  Haskell library for simple, concise and fast generic operations.
  ☆81Updated last year