Alternatives and similar repositories for copilot-discussion:

Users that are interested in copilot-discussion are comparing it to the libraries listed below

• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 5 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆28Updated last year
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated 7 months ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 9 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 4 months ago
• lexi-lambda / racket-mvar
  An implementation of Haskell’s MVars in Racket
  ☆28Updated 3 months ago
• ChrisPenner / wave-function-collapse
  Wave function collapse procedural generation for arbitrary graphs
  ☆15Updated 5 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆43Updated 4 years ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆47Updated 2 years ago
• ivanperez-keera / SpaceInvaders
  A Haskell game written in Yampa
  ☆26Updated 10 months ago
• xgrommx / agda-ecosystem
  ☆29Updated 6 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated this week
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆23Updated 2 weeks ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• effectfully / OTT
  Observational Type Theory as an Agda library
  ☆52Updated 7 years ago
• yobson / jhc-components
  JHC Haskell compiler split into reusable components
  ☆16Updated 2 years ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆51Updated 4 years ago
• conal / talk-2023-galilean-revolution
  A Galilean revolution for computing: Unboundedly scalable reliability and efficiency
  ☆13Updated last year
• mroman42 / vitrea
  Optics via the profunctor representation theorem
  ☆23Updated last month
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆19Updated 3 months ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago