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!
  ☆104Updated 3 years ago
• alex404 / goal
  The Geometric OptimizAtion Libraries
  ☆17Updated 9 months ago
• morphismtech / distributors
  Distributors - Unifying Parsers, Printers & Grammars
  ☆59Updated 3 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆92Updated 3 weeks ago
• yav / graphmod
  A utility for displaying the module dependencies of Haskell programs.
  ☆183Updated last year
• sjoerdvisscher / proarrow
  Haskell library for doing category theory with a central role for profunctors
  ☆24Updated this week
• kr3v / haskell-gtd-nl
  Haskell 'go to (non-local) definitions' extension
  ☆16Updated last year
• AntanasKal / yampa-wasm-example
  Example of using Yampa and GHC Wasm backend to create a simple web app.
  ☆19Updated 2 years ago
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆91Updated 7 years ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 6 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆196Updated last month
• leftaroundabout / constrained-categories
  Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
  ☆22Updated 2 years ago
• mstksg / backprop
  Heterogeneous automatic differentiation ("backpropagation") in Haskell
  ☆193Updated 7 months ago
• DanRyba253 / smh
  String manipulation tool written in haskell
  ☆29Updated last year
• DavidJaz / DynamicalSystemsBook
  ☆51Updated last year
• well-typed / unfolder
  Repository with code snippets that accompany episodes of The Haskell Unfolder
  ☆110Updated last month
• sheaf / if-instance
  GHC plugin to branch on whether a constraint is satisfied
  ☆33Updated 5 months ago
• phadej / cabal-extras
  A tool suite to aid Haskell development using `cabal-install`
  ☆90Updated 7 months ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 5 months ago
• haskell-wasm / ghc-wasm-miso-examples
  ☆58Updated 3 months ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆57Updated last year
• ocramz / heidi
  heidi : tidy data in Haskell
  ☆29Updated 4 years ago
• Bodigrim / cabal-add
  Extend Cabal build-depends from the command line
  ☆59Updated 5 months ago
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆41Updated 4 years ago
• vcvpaiva / DialecticaCategories
  A place to collect work on dialectica categories.
  ☆29Updated this week
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆30Updated 7 months ago
• pa-ba / Rattus
  A modal FRP language embedded in Haskell.
  ☆14Updated 2 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 3 months ago
• VictorCMiraldo / agda-rw
  This is the place where (more or less) stable releases of my RW library will be published.
  ☆16Updated 5 years ago
• AndrasKovacs / staged-fusion
  Staged push/pull fusion with typed Template Haskell
  ☆62Updated 2 years ago