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 last month
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆53Updated 3 months ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 10 years ago
• rudymatela / conjure
  Produce Haskell functions out of partial definitions
  ☆12Updated last week
• byorgey / enumeration
  Simple Haskell package for efficiently indexable finite and infinite enumerations.
  ☆12Updated 2 months ago
• oisdk / type-indexed-queues
  Queues with verified and unverified versions
  ☆9Updated 8 years ago
• jyp / linear-smc
  Linear Types, Symmetric Monoidal Categories, and Tensors
  ☆13Updated last year
• sergv / atomic-counter
  Haskell counters that can be safely incremented from multiple threads
  ☆19Updated 7 months ago
• augustss / orthotope
  ☆26Updated 6 months ago
• robrix / sequoia
  classical sequent calculus, embedded in Haskell
  ☆20Updated 3 years ago
• ocramz / algebraic-graphs-io
  I/O utilities and datasets for algebraic-graphs
  ☆14Updated 2 years ago
• jwiegley / coq-cds4ltl
  A formalization of finite, constructive log analysis using linear temporal logic
  ☆22Updated last month
• benjaminselfridge / logix
  Logic Explorer - customizable proof construction tool for sequent calculi
  ☆20Updated 3 years ago
• emilypi / order
  Order theory
  ☆24Updated last year
• LightAndLight / cbpv
  A usable type system for call by push-value
  ☆33Updated 5 years ago
• BobMcDear / minbpe-hs
  Byte-level byte pair encoding (BPE) in Haskell
  ☆16Updated last year
• RyanGlScott / eliminators
  Dependently typed elimination functions using singletons
  ☆28Updated 6 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 2 weeks ago
• conal / agda-cat-linear
  Linear map categories in Agda
  ☆5Updated 2 years ago
• isovector / containers-good-graph
  It's Data.Graph, but it doesn't suck!
  ☆16Updated 4 years ago
• phadej / staged
  Staged Streams and other stuff
  ☆18Updated 3 years ago
• identicalsnowflake / cantor-pairing
  Convert data to and from a natural number representation
  ☆14Updated 4 years ago
• mkloczko / derive-storable
  Deriving Storable instances using GHC.Generics
  ☆16Updated 3 years ago
• mikeizbicki / homoiconic
  Constructs FAlgebras from typeclasses, making Haskell functions homoiconic
  ☆18Updated 6 years ago
• cachix / haskell-release-action
  Automation for releasing haskell packages
  ☆18Updated 2 years ago
• haskellari / some
  Existential type.
  ☆37Updated 6 months ago
• solomon-b / HowardLang
  An interpreted lambda calculus with Algebraic and Recursive Types.
  ☆17Updated 4 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 7 years ago
• YellPika / constraint-rules
  Extend GHC's type checker with user-defined rules, without writing a type checker plugin.
  ☆18Updated 3 years ago
• mstksg / mutable
  Automatic piecewise-mutable references for your types
  ☆42Updated 5 years ago