dpiponi / Operators

Related projects: ⓘ

• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 5 months ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• idontgetoutmuch / NumMethHaskell
  Numerical Methods in Haskell with Applications to Data Analysis, Finance and Physics
  ☆56Updated 3 years ago
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• mokus0 / hs-hdf5
  Low-level typesafe HDF5 bindings
  ☆28Updated 11 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• pechersky / haskell-numpy-docs
  Examples of Haskell versions of Numpy usage
  ☆18Updated 7 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• abailly / hs-word2vec
  A port of Google's word2vec to Haskell
  ☆26Updated 8 years ago
• ecaustin / haskhol-core
  The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.
  ☆2Updated 7 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆23Updated 3 years ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆71Updated 12 years ago
• DataHaskell / numeric-libs-benchmarks
  - An overview of Haskell numerical libraries
  ☆15Updated 7 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• o1lo01ol1o / diffhask
  DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
  ☆26Updated 5 years ago
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆16Updated 4 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆37Updated 5 years ago
• ttuegel / sparse-linear
  Traditional sparse linear algebra in Haskell
  ☆12Updated 3 years ago
• kaizhang / SciFlow
  Scientific workflow management
  ☆51Updated 2 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• glutamate / probably-baysig
  Model of baysig language in Haskell (minus estimate)
  ☆15Updated 8 years ago
• qnikst / numeric-ode
  Haskell numerical ODE solvers
  ☆14Updated 7 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• leftaroundabout / Symbolic-math-HaTeX
  Convenient Haskell syntax for writing in LaTeX math expressions
  ☆28Updated 6 months ago
• danr / hipspec
  A hip inductive theorem prover!
  ☆87Updated 2 years ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 2 years ago