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
  ☆93Updated 3 weeks ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated last year
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆41Updated 10 months ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆57Updated 5 years ago
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆144Updated last year
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆139Updated last year
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆95Updated last year
• jaredloomis / Idris-HoTT
  Homotopy Type Theory proofs in Idris
  ☆22Updated 6 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆42Updated 6 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆52Updated last year
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 14 years ago
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆60Updated 11 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 8 years ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 10 years ago
• dmwit / pi-eta-epsilon
  An interpreter for the language described in "The Two Dualities of Computation: Negative and Fractional Types"
  ☆23Updated 13 years ago
• ekmett / fractions
  lazy continued fractions
  ☆19Updated 10 years ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 6 years ago
• scravy / bed-and-breakfast
  Matrix operations in 100% pure Haskell
  ☆34Updated 2 years ago
• FranckS / RingIdris
  Ring solver for Idris
  ☆20Updated 7 years ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆90Updated 4 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 10 years ago
• simhu / cubical
  Implementation of Univalence in Cubical Sets
  ☆146Updated 10 years ago
• patperry / hs-monte-carlo
  A Monte Carlo monad and transformer for Haskell.
  ☆40Updated 6 years ago
• mstksg / inCode
  Source for personal blog.
  ☆78Updated last week
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆23Updated last year
• tmcdonell / cuda
  Haskell FFI bindings to CUDA
  ☆80Updated 4 months ago
• dsorokin / aivika
  A multi-method simulation library
  ☆81Updated last year
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆34Updated 6 years ago
• agda-attic / agda-frp-ltl
  An implementation of Functional Reactive Programming
  ☆41Updated 10 years ago
• idris-lang / idris-emptycg
  An empty code generator, to be used as a starting point for any new back ends.
  ☆51Updated 8 years ago