dennybritz / probability-monadsLinks
☆9Updated 2 years ago
Alternatives and similar repositories for probability-monads
Users that are interested in probability-monads are comparing it to the libraries listed below
Sorting:
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- ☆12Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆13Updated 3 years ago
- ☆14Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- ☆23Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- egraph <-> json☆14Updated 8 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- ☆16Updated 11 months ago
- Bonn Lean course for winter 24/25☆31Updated 5 months ago
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 10 months ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆11Updated 2 weeks ago
- Coordinate-free hypersurfaces as Haskell types☆41Updated 2 months ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- DeepAlgebra☆25Updated 7 years ago
- Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic☆38Updated 2 years ago
- ☆21Updated last year
- Practical Deep Learning in Haskell now!☆51Updated 2 years ago
- A Probability Theory Library for the Coq Theorem Prover☆54Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- ☆12Updated 2 years ago
- Fast parallel calculations in pure mathematics, e.g. Gröbner Bases☆16Updated 9 months ago
- ☆40Updated last month
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last month