symengine / symengine.hs

Related projects: ⓘ

• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆71Updated 12 years ago
• dmjio / Julio
  Julia embedded in Haskell
  ☆53Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• sdiehl / haskell-picosat
  Haskell bindings for PicoSAT solver
  ☆16Updated 4 years ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• homalg-project / homalg_project
  Deposited packages of the homalg project
  ☆12Updated 3 weeks ago
• sdiehl / picologic
  Symbolic logic expressions
  ☆14Updated 4 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• cmu-phil / Spectral
  ☆44Updated last year
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 10 years ago
• wellposed / hblas
  haskell bindings for blas and lapack
  ☆49Updated 6 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• ga / haskell
  A geometric algebra implementation in Haskell
  ☆28Updated 4 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆45Updated last month
• byorgey / thesis
  Brent's PhD thesis.
  ☆63Updated 8 years ago
• Ebanflo42 / Persistence
  A topological data analysis library for Haskell
  ☆28Updated 3 years ago
• astanin / moo
  Genetic algorithm library for Haskell. Binary and continuous (real-coded) GAs. Binary GAs: binary and Gray encoding; point mutation; one-…
  ☆61Updated last year
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 5 months ago
• qobi / AD-Rosetta-Stone
  Examples of Automatic Differentiation (AD) in many different languages and systems
  ☆26Updated 6 years ago
• friedbrice / AutoDiff
  Code snippets accompanying the talk "Automatic Differentiation in Haskell."
  ☆19Updated 4 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 7 years ago
• chrisnc / hvx
  Disciplined Convex Programming in Haskell
  ☆22Updated 6 months ago
• fieldstrength / probability
  Probabilistic computation in Idris
  ☆33Updated 5 years ago
• edwinb / Ivor
  A type theory based theorem proving library
  ☆25Updated 13 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 3 years ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• synergistics / chemlambda-hask
  A set of tools for building graph rewriting systems and more specifically, working with the chemlambda rewrite model of computation.
  ☆11Updated 7 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆26Updated 6 years ago
• Functional-AutoDiff / STALINGRAD
  Stalin∇, a brutally optimizing compiler for the VLAD language
  ☆72Updated 6 years ago