Alternatives and similar repositories for PCG:

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

• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆92Updated 3 months ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated 3 weeks ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated 8 months ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆26Updated 10 months ago
• ivan-m / graphviz
  Haskell bindings to the Graphviz toolkit
  ☆64Updated 2 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆58Updated last year
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆119Updated 2 weeks ago
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• sfultong / stand-in-language
  a simple total pure functional language, eventually to have powerful static checking and optimization
  ☆33Updated last month
• MaxOw / RuneSlayer
  RPG languages learning tool
  ☆38Updated 5 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated last month
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• mmark-md / mmark
  Strict markdown processor for writers
  ☆114Updated last week
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• tweag / kernmantle
  Braiding extensible effects together in a pipeline/workflow of tasks
  ☆57Updated last year
• transient-haskell / transient-stack
  All the Transient libraries
  ☆39Updated last month
• kowainik / typerep-map
  ⚡️Efficient implementation of Map with types as keys
  ☆101Updated last year
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆39Updated last week
• serokell / haskell-with-utf8
  Get your IO right on the first try
  ☆52Updated this week
• brianhempel / live-ghci
  Evaluate special comments in your program on file save.
  ☆38Updated 4 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆38Updated 4 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆38Updated 3 years ago
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• nomeata / kaleidogen
  Grow procedual art
  ☆37Updated 7 months ago
• emilypi / group-theory
  The theory of groups
  ☆76Updated last year
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 3 weeks ago