Alternatives and similar repositories for haskell-proofs:

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

• rampion / tree-traversals
  Functions and newtype wrappers for traversing Trees
  ☆30Updated 7 months ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• expipiplus1 / vector-sized
  ☆35Updated 7 months ago
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆50Updated last month
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆21Updated 3 weeks ago
• lspitzner / butcher
  haskell library to parse commandline args - an alternative to optparse-applicative
  ☆19Updated last year
• well-typed / large-records
  Library to support efficient compilation of large records (linear in the number of record fields)
  ☆46Updated last month
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• haskellari / lattices
  Fine-grained lattice primitives for Haskell
  ☆37Updated 2 months ago
• gelisam / n-ary-functor
  A single typeclass for Functor, Bifunctor, Trifunctor, etc.
  ☆40Updated last year
• haskell / ecosystem-proposals
  Proposals for the Haskell Ecosystem
  ☆51Updated 6 years ago
• ekmett / unboxed
  experimenting with unlifted classes via backpack
  ☆36Updated 2 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• Lysxia / first-class-families
  First-class type families
  ☆87Updated 8 months ago
• text-utf8 / text-utf8
  An efficient packed, immutable UTF8-backed Unicode text type for Haskell
  ☆33Updated 6 years ago
• ekmett / hkd
  higher-kinded data
  ☆30Updated last year
• ivanbakel / hout-prover
  A non-interactive proof assistant using the Haskell type system
  ☆37Updated 5 years ago
• JakobBruenker / monadic-bang
  GHC plugin to desugar ! into do-notation
  ☆37Updated last month
• sheaf / acts
  Haskell library for semigroup actions and torsors
  ☆61Updated 2 months ago
• oofp / Beseder
  Beseder: make impossible state transitions impossible
  ☆31Updated 5 years ago
• Lysxia / generic-data
  Generic data types in Haskell, utilities for GHC.Generics
  ☆45Updated last week
• haskell-trasa / trasa
  Safe web routing in haskell
  ☆30Updated 2 years 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
• mpickering / hs-speedscope
  ☆32Updated 2 months ago
• chshersh / dr-cabal
  📊 Haskell dependencies build times profiler
  ☆74Updated 2 years ago
• emilypi / nonempty-vector
  Non-empty Vectors
  ☆24Updated last week
• stevana / quickcheck-state-machine
  Test monadic programs using state machine based models
  ☆17Updated 7 months ago
• brandonchinn178 / string-syntax
  ☆17Updated last month
• well-typed / falsify
  ☆44Updated last month