Alternatives and similar repositories for copilot-discussion

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

• slibby05 / rice
  an optimizing curry compiler
  ☆14Updated 2 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• sirlensalot / fadno-braids
  Braid representations in Haskell
  ☆22Updated last year
• thma / lambda-ski
  Implementing a small functional language with a combinator based graph-reduction machine
  ☆31Updated last week
• conal / felix
  Agda category theory library for denotational design
  ☆51Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 3 years ago
• walck / cyclotomic
  A subfield of the complex numbers for exact calculation.
  ☆21Updated 5 years ago
• obsidiansystems / dependent-map
  Dependently-typed finite maps (partial dependent products)
  ☆66Updated 5 months ago
• jyp / MarXup
  Markup language on top of Haskell
  ☆12Updated 8 months ago
• ghc / hadrian
  The Hadrian build system for GHC
  ☆9Updated 6 years ago
• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated last month
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆62Updated 2 months ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆22Updated 6 years ago
• dboulytchev / miniKanren-coq
  A certified semantics for relational programming workout.
  ☆26Updated 4 years ago
• lamdu / lamdu-calculus
  An extended typed Lambda Calculus
  ☆21Updated 11 months ago
• augustss / orthotope
  ☆26Updated 6 months ago
• vmchale / dickinson
  Text generation language
  ☆34Updated last week
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• ekmett / half
  half-precision floating-point
  ☆16Updated last month
• obsidiansystems / gargoyle
  A framework for managing daemons from Haskell and libraries for use with postgresql and nix
  ☆22Updated 4 months ago
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆16Updated 4 years ago
• idris-community / idris2-http
  a http(s) client in idris
  ☆28Updated 7 months ago
• lunarcast / lunarflow
  Lambda calculus go brrrr
  ☆29Updated 2 years ago
• nick8325 / twee
  An equational theorem prover based on Knuth-Bendix completion
  ☆52Updated last week
• coot / free-algebras
  Free Algebras in Haskell
  ☆37Updated 10 months ago
• elaforge / karya
  music sequencer and generalized notation
  ☆69Updated 5 months ago
• aspiwack / peppermint-prover
  Experimental proof assistant (and architecture) for dependent linear logic
  ☆49Updated 3 years ago
• phoityne / haskell-dap
  Haskell implementation of DAP interface data.
  ☆25Updated 2 months ago