Alternatives and similar repositories for Hasmtlib:

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

• alhassy / gentle-intro-to-reflection
  A slow-paced introduction to reflection in Agda. ---Tactics!
  ☆96Updated 2 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆104Updated 3 weeks ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated 9 months ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆95Updated 3 months ago
• AntanasKal / yampa-wasm-example
  Example of using Yampa and GHC Wasm backend to create a simple web app.
  ☆15Updated last year
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated 5 months ago
• tomjaguarpaw / bluefin
  ☆80Updated this week
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆89Updated 6 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆25Updated last week
• dfithian / prune-juice
  Prune unused Haskell dependencies.
  ☆47Updated last year
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆104Updated 11 months ago
• aaronallen8455 / breakpoint
  Set breakpoints using a GHC plugin
  ☆47Updated 7 months ago
• anton-k / hindley-milner-type-check
  Haskell library for type-inference with Hindley-Milner type-system.
  ☆33Updated 7 months ago
• fieldstrength / aeson-deriving
  Data types for compositional, type-directed serialization
  ☆13Updated last year
• Kleidukos / get-tested
  Go get tested! Github Actions matrix generator for your haskell projects' CI
  ☆49Updated last month
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆30Updated last month
• aisamanra / haddock-cheatsheet
  ☆103Updated 4 years ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆42Updated 2 months ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆125Updated last year
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆18Updated last week
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆175Updated 2 weeks ago
• sol / markdown-unlit
  Literate Haskell support for Markdown
  ☆139Updated 3 weeks ago
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 4 years ago
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆19Updated this week
• well-typed / hs-bindgen
  Automatically generate Haskell bindings from C header files
  ☆34Updated this week
• well-typed / visualize-cbn
  ☆99Updated last week
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆77Updated last year
• well-typed / falsify
  ☆40Updated last month
• Bodigrim / linear-builder
  Strict Text and ByteString builder, which hides mutable buffer behind linear types and takes amortized linear time.
  ☆88Updated 5 months ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated 6 months ago