Alternatives and similar repositories for linearmap-family

Users that are interested in linearmap-family are comparing it to the libraries listed below

• leftaroundabout / constrained-categories
  Constrained versions of the Haskell standard category-theory-based type classes, using ConstraintKinds
  ☆22Updated 2 years ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆43Updated last year
• well-typed / gp-zurihac-2020
  Repository accompanying the ZuriHac Advanced Track lecture on Datatype-Generic Programming
  ☆44Updated 4 years ago
• gelisam / category-syntax
  do-notation for Category and "Arrow without arr"
  ☆63Updated 8 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆112Updated 2 years ago
• lambdageek / unbound-generics
  Specify variable binding in syntax trees using GHC.Generics (reimplementation of Unbound)
  ☆56Updated last year
• Magalame / fastest-matrices
  Benchmark of the main linear algebra libraries in Haskell
  ☆24Updated 5 years ago
• ekmett / bound
  Combinators for manipulating locally-nameless generalized de Bruijn terms
  ☆123Updated 10 months ago
• McMasterU / HashedExpression
  Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
  ☆43Updated 7 months ago
• qnikst / ghc-timings-report
  Experimental tool to build reports on GHC build time for your projects.
  ☆24Updated 2 years ago
• fpco / weigh
  Measure allocations of a Haskell functions/values
  ☆96Updated 7 months ago
• well-typed / recover-rtti
  Recover run-time type information from the GHC heap. One example use case is a "show anything" function (with no Show constraint).
  ☆35Updated 3 months ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆56Updated last year
• wz1000 / HieDb
  Generates a references DB from .hie files
  ☆67Updated last week
• codedownio / time-ghc-modules
  Analyze GHC .dump-timings files
  ☆106Updated last year
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆90Updated 6 years ago
• Bodigrim / bitvec
  Bit vectors: 8x less memory, up to 3500x faster than Vector Bool
  ☆72Updated 2 weeks 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
• alhassy / AgdaCheatSheet
  Basics of the dependently-typed functional language Agda ^_^
  ☆39Updated 3 years ago
• dorchard / type-level-sets
  Type-level sets for Haskell (with value-level counterparts and various operations)
  ☆66Updated last year
• Lysxia / generic-random
  Generic random generators
  ☆81Updated 2 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆53Updated 8 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• alanz / ghc-exactprint
  GHC version of haskell-src-exts exactPrint
  ☆71Updated 2 weeks ago
• ocramz / heidi
  heidi : tidy data in Haskell
  ☆27Updated 3 years ago
• Saizan / cubical-demo
  ☆45Updated 6 years ago
• nomeata / inspection-testing
  Inspection Testing for Haskell
  ☆177Updated last week
• well-typed / visualize-cbn
  ☆101Updated 3 months ago
• xnning / GHC-Core-Literature-Review
  Literature review of GHC's Core language, System FC
  ☆67Updated 6 years ago
• aligusnet / mltool
  Machine Learning Toolbox
  ☆36Updated 7 years ago