Alternatives and similar repositories for PCG:

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

• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated 2 months ago
• zaklogician / typical-antiphrasis
  Paradoxes of type theory, described didactically. With accompanying proofs in Agda.
  ☆39Updated 4 years ago
• gallais / generic-syntax
  A Scope-and-Type Safe Universe of Syntaxes with Binding, Their Semantics and Proofs
  ☆72Updated 3 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• haskell-perf / graphs
  ☆40Updated 5 years ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 6 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆58Updated 6 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 4 months ago
• xgrommx / agda-ecosystem
  ☆30Updated 6 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 8 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• scott-fleischman / agda-from-nothing
  A workshop on learning Agda with minimal prerequisites.
  ☆85Updated 8 years ago
• haskellfoundation / stability
  Issues and proposals related to the HF Stability Working Group
  ☆26Updated this week
• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 6 years ago
• mortberg / yacctt
  yacctt: Yet Another Cartesian Cubical Type Theory
  ☆76Updated 6 years ago
• dlicata335 / hott-agda
  ☆84Updated 7 years ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆40Updated last week
• discus-lang / salt
  The compilation target that functional programmers always wanted.
  ☆62Updated 4 years ago
• david-christiansen / epigram1
  A version of Epigram 1 that can run with newer GHCs
  ☆52Updated 7 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆43Updated 2 weeks ago
• monadfix / named
  Named parameters (keyword arguments) for Haskell
  ☆94Updated last month
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆110Updated 4 years ago