wellposed / hblas

Related projects ⓘ

Alternatives and complementary repositories for hblas

• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 7 months ago
• ocramz / sparse-linear-algebra
  Numerical computation in native Haskell
  ☆88Updated 4 years ago
• mstksg / tensor-ops
  Type-safe tensor manipulation operations in Haskell with tensorflow-style automatic differentiation
  ☆59Updated 7 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• haskell-repa / repa
  High performance, regular, shape polymorphic parallel arrays.
  ☆138Updated 9 months ago
• wellposed / numerical
  Numerical is the core library for Numerical Haskell
  ☆136Updated 5 months ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 4 years ago
• ekmett / multicategories
  Playing around with multicategories and operads
  ☆16Updated 9 years ago
• sjoerdvisscher / data-category
  Library of categories, with categorical constructions on them
  ☆54Updated last year
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• dsorokin / aivika
  A multi-method simulation library
  ☆79Updated 4 months ago
• haskell-numerics / random-fu
  A suite of Haskell libraries for representing, manipulating, and sampling random variables
  ☆42Updated last year
• mstksg / inCode
  Source for personal blog.
  ☆76Updated last week
• ajtulloch / haskell-ml
  Haskell implementations of various ML algorithms.
  ☆57Updated 10 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• MaartenFaddegon / Hoed
  Hoed - A Lightweight Haskell Tracer and Debugger
  ☆51Updated 3 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 8 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• cchalmers / plots
  Haskell plotting library
  ☆44Updated 2 months ago
• valis / hoq
  A language based on homotopy type theory with an interval
  ☆84Updated 9 years ago
• mietek / formal-logic
  TODO
  ☆23Updated 9 years ago
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆27Updated 3 months ago
• patperry / hs-monte-carlo
  A Monte Carlo monad and transformer for Haskell.
  ☆40Updated 5 years ago
• nomeata / veggies
  Hopefully verifiable code generation in GHC
  ☆95Updated 7 years ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆16Updated 4 years ago
• PatrickMaier / HdpH
  Haskell distributed parallel Haskell
  ☆38Updated 7 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• adamgundry / uom-plugin
  Units of measure as a GHC typechecker plugin
  ☆30Updated 2 years ago
• pigworker / MetaprogAgda
  being the materials for Summer 2013's course
  ☆110Updated last year