Alternatives and similar repositories for copilot-discussion

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

• conal / felix
  Agda category theory library for denotational design
  ☆54Updated last month
• xnning / dependent-types-in-haskell
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Updated 7 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆22Updated 5 years ago
• vmchale / dickinson
  Text generation language
  ☆34Updated 3 months ago
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆39Updated 3 months ago
• Tritlo / mcp
  ☆18Updated 4 months ago
• grin-compiler / idris-grin
  GRIN backend for Idris
  ☆50Updated 5 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆68Updated 3 weeks ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆40Updated 4 months ago
• Simre1 / reactimate
  A Haskell libary for fast arrowized FRP based on signal functions
  ☆18Updated 2 months ago
• AndrasKovacs / pny1-assignment
  College assignment writing in which I ramble about type classes and dependent types.
  ☆12Updated 5 years ago
• serokell / blog-posts
  The place for submitting new articles to the Serokell blog.
  ☆16Updated last year
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 3 years ago
• augustss / orthotope
  ☆33Updated 2 months ago
• serokell / foundry
  Morte IDE
  ☆29Updated 8 months ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 7 years ago
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 8 months ago
• pa-ba / AsyncRattus
  ☆14Updated last month
• lexi-lambda / talks
  ☆45Updated 2 years ago
• transient-haskell / transient-stack
  All the Transient libraries
  ☆43Updated last week
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆33Updated 11 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆25Updated 14 years ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆35Updated last week
• hasura / monad-validate
  (NOTE: REPOSITORY MOVED TO NEW OWNER: https://github.com/lexi-lambda/monad-validate) A Haskell monad transformer library for data validat…
  ☆33Updated 3 years ago
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated last year
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆21Updated 4 months ago
• edwinb / idris2-clibs
  Idris 2 bindings to various C libraries
  ☆15Updated 4 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated 3 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated last year