Alternatives and similar repositories for hblas

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

• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆91Updated 5 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 4 years ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆138Updated last year
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆142Updated 7 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 4 months ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 11 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated 8 months ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆92Updated 11 months ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆41Updated 5 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆89Updated 3 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆82Updated last year
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 6 years ago
• mstksg / inCode
  Source for personal blog.
  ☆77Updated last week
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆83Updated 10 years ago
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• ekmett / succinct
  playground for working with succinct data structures
  ☆97Updated 9 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆34Updated 6 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆34Updated last year
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• ekmett / fractions
  lazy continued fractions
  ☆19Updated 10 years ago
• HIPERFIT / accelerate-opencl
  ☆34Updated 13 years ago
• mainland / language-c-quote
  ☆59Updated last year
• Gabriella439 / Haskell-MVC-Library
  Model-view-controller
  ☆64Updated 2 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆147Updated 10 years ago
• patperry / hs-monte-carlo
  A Monte Carlo monad and transformer for Haskell.
  ☆40Updated 6 years ago
• chris-taylor / Classical-Mechanics
  Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
  ☆88Updated 8 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆94Updated 8 years ago