Alternatives and similar repositories for PCG

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

• haskell-perf / graphs
  ☆41Updated 5 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 9 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆125Updated 8 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 7 months ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆73Updated last week
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆24Updated 9 months ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆57Updated 6 years ago
• kowainik / slist
  ♾️ Sized list
  ☆46Updated last year
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 4 months ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆76Updated 3 weeks ago
• diagrams / diagrams-core
  Core types and utilities
  ☆95Updated 4 months ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated last year
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆97Updated 6 months ago
• ekmett / algebra
  constructive abstract algebra
  ☆104Updated 5 years ago
• JustusAdam / mustache
  Haskell implementation of mustache templates
  ☆102Updated 4 months ago
• target / row-types
  A Haskell library for open records and variants using closed type families and type literals
  ☆112Updated 3 years ago
• dmwit / universe
  Classes for types where we know all the values
  ☆39Updated 8 months ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated last month
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆64Updated 7 months ago
• jyp / nano-Agda
  Tiny type-checker with dependent types
  ☆78Updated 11 years ago
• MaxOw / RuneSlayer
  RPG languages learning tool
  ☆38Updated 5 years ago
• Helium4Haskell / helium
  The Helium compiler, Helium-as-a-library, and the texthint interpreter
  ☆98Updated 9 months ago