Alternatives and similar repositories for copilot-discussion:

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

• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 7 months ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 3 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 7 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated 2 months ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆65Updated last month
• augustss / orthotope
  ☆26Updated 2 months ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 7 months ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• Happstack / boomerang
  Library for invertible parsing and printing
  ☆31Updated 10 months ago
• david-christiansen / epigram1
  A version of Epigram 1 that can run with newer GHCs
  ☆52Updated 7 years ago
• brunjlar / protop
  topos programming
  ☆31Updated 6 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• vmchale / dickinson
  Text generation language
  ☆33Updated last month
• jkoppel / ecta
  ☆34Updated 11 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆26Updated 3 weeks ago
• mpickering / haskell-nix-plugin
  Plugin scaffolding for nixpkgs
  ☆12Updated 6 years ago
• GaloisInc / parameterized-utils
  A set of utilities for using indexed types including containers, equality, and comparison.
  ☆60Updated this week
• jsiek / denotational_semantics
  Denotational semantics based on graph and filter models
  ☆19Updated 3 months ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆17Updated 5 years ago
• tomjaguarpaw / Arrows2
  Ideas for the next generation of Haskell's Arrow notation
  ☆12Updated 5 years ago
• VictorTaelin / optimul
  Multiplication on optimal λ-calculus reducers
  ☆22Updated 4 years ago
• goldfirere / th-desugar
  Desugars Template Haskell abstract syntax to a simpler format without changing semantics
  ☆20Updated 3 months ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆41Updated 3 years ago
• serokell / foundry
  Morte IDE
  ☆29Updated last year
• atzedijkstra / chr
  Constraint Handling Rules
  ☆16Updated 6 months ago
• atennapel / coc-os
  "operating system" based on the calculus of constructions
  ☆18Updated 2 years ago
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆20Updated last month
• obsidiansystems / rhyolite
  ☆29Updated 2 months ago
• obsidiansystems / dependent-sum
  Dependent sums and supporting typeclasses for comparing and displaying them
  ☆55Updated last year