Alternatives and similar repositories for haskell-proofs

Users that are interested in haskell-proofs are comparing it to the libraries listed below

• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated 2 weeks ago
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆46Updated 2 months ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 9 months ago
• facundominguez / stitch-lh
  ☆11Updated 3 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 8 months ago
• muesli4 / table-layout
  Layout data in grids and pretty tables. Provides a lot of tools to get the cell formatting right (positional alignment, alignment on spec…
  ☆39Updated 9 months ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated last week
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated 2 months ago
• debug-ito / greskell
  Haskell binding for Gremlin graph query language
  ☆27Updated 3 months ago
• expipiplus1 / vector-sized
  ☆35Updated 7 months ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 4 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• augustss / MicroCabal
  Reimplementation of a subset of Cabal
  ☆26Updated 2 months ago
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆62Updated 3 months ago
• asivitz / Hickory
  Tools for building 3D interactive programs in Haskell
  ☆70Updated 2 months ago
• AndrasKovacs / setoidtt
  Prototype implementations of systems based on setoid type theory
  ☆65Updated 4 years ago
• ekmett / parsnip
  ☆18Updated 4 years ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 5 years ago
• lamdu / hypertypes
  Hypertypes - generic programming for heterogeneous recursive types
  ☆121Updated 4 months ago
• HamzaM3 / yes-browser
  ☆20Updated last year
• konsumlamm / rrb-vector
  An implementation of a Relaxed Radix Balanced Vector in Haskell.
  ☆26Updated 2 months ago
• haskell-effectful / effectful-contrib
  Libraries for the Effectful Haskell effects system
  ☆22Updated 3 years ago
• ianmbloom / gudni
  Haskell-centric Fast Accurate Curve Rasterizer
  ☆24Updated 3 years ago
• haskell / ecosystem-proposals
  Proposals for the Haskell Ecosystem
  ☆51Updated 6 years ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆73Updated 2 years ago
• wrengr / unification-fd
  Generic functions for single-sorted first-order structural unification
  ☆46Updated 2 weeks ago