dennybritz / probability-monads

Related projects ⓘ

Alternatives and complementary repositories for probability-monads

• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆33Updated this week
• jwiegley / control-theory
  Control theory in Haskell: Data structures, algorithms and adapters
  ☆79Updated 5 years ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• egraphs-good / egraph-serialize
  egraph <-> json
  ☆12Updated last month
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆10Updated 10 months ago
• arrayfire / arrayfire-haskell
  Haskell bindings to ArrayFire
  ☆60Updated 3 months ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• DaveBarton / calculi
  Fast parallel calculations in pure mathematics, e.g. Gröbner Bases
  ☆16Updated 2 months ago
• bgamari / optimization
  Some numerical optimization methods implemented in Haskell
  ☆47Updated 4 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• arthurpaulino / LeanREPL
  ☆12Updated 2 years ago
• jtobin / flat-mcmc
  Painless general-purpose sampling.
  ☆23Updated 4 years ago
• o1lo01ol1o / diffhask
  DSL for forward and reverse mode automatic differentiation in Haskell. Port of DiffSharp.
  ☆26Updated 5 years ago
• albertoruiz / hTensor
  Multidimensional arrays and simple tensor computations
  ☆38Updated 7 months ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• letmaik / monadiccp
  Monadic Constraint Programming framework
  ☆28Updated 6 years ago
• mstksg / backprop-learn
  Combinators and types for easily building trainable neural networks using the backprop library
  ☆33Updated 4 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• philzook58 / ad-lens
  Automatic Differentiation using Pseudo Lenses. Neat.
  ☆19Updated 4 years ago
• mstksg / opto
  Numerical optimization with support for stochastic optimization, mostly for my own experimental usage
  ☆14Updated 4 years ago
• sentenai / reinforce
  Reinforcement learning in haskell
  ☆45Updated 3 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago