Alternatives and similar repositories for calculi:

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

• travitch / haggle
  An efficient graph library for Haskell
  ☆39Updated 5 months ago
• sellout / compiling-anything-to-categories
  a talk about and sample project for the [Categorifier](https://github.org/con-kitty/categorifier) GHC plugin.
  ☆19Updated 9 months ago
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆24Updated this week
• augustss / orthotope
  ☆25Updated 3 weeks ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• phadej / overloaded
  Overloaded plugin
  ☆30Updated 7 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆19Updated 2 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆30Updated 5 years ago
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• parsonsmatt / prairie
  First Class Record Fields in Haskell
  ☆17Updated 7 months ago
• dmjio / c-ffi-example
  Example usage of the Haskell C FFI with hsc2hs
  ☆13Updated last month
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated last year
• emilypi / order
  Order theory
  ☆23Updated last year
• esmolanka / sexp-grammar
  Invertible parsing for S-expressions
  ☆33Updated 4 months ago
• effectfully / Generic
  A library for doing generic programming in Agda
  ☆31Updated 4 years ago
• taktoa / wasm-agda
  A typechecker for WebAssembly, written in Agda (WIP)
  ☆17Updated 6 years ago
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated 2 months ago
• bobatkey / agda-metric-reals
  ☆28Updated 2 years ago
• haskell-github-trust / replace-attoparsec
  Stream editing with Haskell Attoparsec parsers
  ☆14Updated last year
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated last year
• haskellari / some
  Existential type.
  ☆36Updated last month
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 3 years ago
• vmchale / permutations
  Provides a type-safe way of working with permutations in Idris
  ☆35Updated 3 years ago
• iokasimov / ya
  Extremely composable embeddable programming language
  ☆21Updated this week
• phadej / idioms-plugins
  Hack idiom-brackets using GHC Source Plugin (8.6+)
  ☆25Updated 6 years ago
• SuperpowersCorp / refactorio
  Refactorio is a tool with which you build and maintain software.
  ☆19Updated 7 months ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 4 years ago
• pigworker / ProgrammerCommaCon
  being a collection of Agda-facilitated ramblings
  ☆33Updated 4 years ago
• grin-compiler / ext-stg-interpreter-presentation-demos
  ☆16Updated 3 years ago