Alternatives and similar repositories for dynobud:

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

• swift-nav / plover
  Plover is a language for matrix algebra on embedded systems.
  ☆47Updated 3 years ago
• GaloisInc / estimator
  State-space estimation algorithms and models
  ☆27Updated 8 years ago
• conal / talk-2016-generic-fft
  A talk on type-generic FFT in Haskell
  ☆46Updated 3 years ago
• idontgetoutmuch / Kalman
  Extended Kalman filtering in Haskell
  ☆23Updated 6 years ago
• chessai / streaming-fft
  sliding fast fourier transform using haskell streaming
  ☆13Updated 6 years ago
• conal / convolution-paper
  Generalized Convolution and Efficient Language Recognition
  ☆17Updated 5 years ago
• mstksg / uncertain
  Manipulating numbers with inherent measurement/experimental uncertainty.
  ☆25Updated 6 months ago
• zadarnowski / quiver
  Quiver stream processing library
  ☆15Updated 8 years ago
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 4 years ago
• mortberg / AlgTop
  Haskell library of algebraic topology
  ☆23Updated 13 years ago
• archive567 / tower
  Deprecated in favour of https://github.com/tonyday567/numhask
  ☆14Updated 7 years ago
• jtobin / declarative
  DIY Markov Chains.
  ☆25Updated 4 months ago
• konn / equational-reasoning-in-haskell
  Agda-style equational reasoning in Haskell
  ☆52Updated 2 months ago
• qnikst / numeric-ode
  Haskell numerical ODE solvers
  ☆14Updated 7 years ago
• conal / vector-space
  Vector & affine spaces, linear maps, and derivatives
  ☆47Updated 7 months ago
• lanl / APPFL
  Auto-parallelizing Pure Functional Language
  ☆27Updated 5 years ago
• Jaak / TinyOutsideIn
  Small implementation of OutsideIn(X) type checking algorithm
  ☆31Updated 9 years ago
• LeventErkok / sbvPlugin
  Formally prove properties of Haskell programs using SBV/SMT.
  ☆45Updated 2 weeks ago
• evertedsphere / noether
  Highly polymorphic algebraic structures with custom deriving strategies
  ☆30Updated 3 years ago
• amosr / limp
  ideally, this will become a pure Haskell library for Linear Integer/Mixed Programming
  ☆16Updated 6 years ago
• Genetic-Strictness / Autobahn
  ☆18Updated 5 years ago
• jtobin / deanie
  An embedded probabilistic programming language.
  ☆34Updated 8 years ago
• emilaxelsson / imperative-edsl
  Deep embedding of imperative programs with code generation
  ☆23Updated 2 years ago
• conal / circat
  A categorical framework for circuit construction
  ☆31Updated 8 years ago
• pavelchristof / machine-learning
  Experiments with haskell neural networks
  ☆11Updated 9 years ago
• ajknapp / accelerate-ad
  Combinatory automatic differentiation in Haskell for heterogeneous computing.
  ☆21Updated 6 years ago
• mikeizbicki / simd
  simple interface to ghc's simd vector support
  ☆23Updated 9 years ago
• jtobin / measurable
  An embedded DSL for creating, composing, and using probability measures.
  ☆40Updated 5 years ago
• camfort / reprinter
  Scrap Your Reprinter - A Datatype Generic Algorithm for Layout-Preserving Refactoring
  ☆27Updated 3 years ago
• thoughtpolice / asc
  Austin's supercompiler work
  ☆21Updated 5 years ago