Alternatives and similar repositories for PCG:

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

• 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 last month
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated last week
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 3 months ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 2 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆29Updated last year
• facet-lang / facet
  a functional programming language with algebraic effects and handlers
  ☆81Updated last month
• Simspace / avaleryar
  A logical authorization system
  ☆50Updated 3 years ago
• mrkkrp / parser-combinators
  Lightweight package providing commonly useful parser combinators
  ☆54Updated last month
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆61Updated last month
• frex-project / idris-frex
  ☆47Updated 4 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• obsidiansystems / rhyolite
  ☆29Updated 2 months ago
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆76Updated 6 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• haskell / hsc2hs
  Pre-processor for .hsc files
  ☆40Updated last week
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 4 years ago
• dpndnt / library
  Library of the ##dependent distributed research support group
  ☆112Updated 8 months ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆72Updated 3 years ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• DimaSamoz / agda-soas
  Agda formalisation of second-order abstract syntax
  ☆55Updated 2 years ago
• xgrommx / agda-ecosystem
  ☆30Updated 6 years ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago