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:
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆14Updated last year
- ☆23Updated 3 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- ☆14Updated 2 years ago
- Bonn Lean course for winter 24/25☆31Updated 6 months ago
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Haskell library for representing and manipulating Symbolic Regression Tree☆10Updated last week
- egraph <-> json☆14Updated 9 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 5 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Reinforcement learning in haskell☆45Updated 4 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆38Updated this week
- ☆16Updated last year
- Certified Machine Learning☆41Updated 4 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- ☆13Updated 3 years ago
- ☆12Updated 2 years ago
- DeepAlgebra☆25Updated 7 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- A formalization of ML kernel languages☆18Updated last week
- Reversible programming in Agda☆12Updated 2 years ago
- How to read Lean☆17Updated 4 months ago
- ☆12Updated 2 years ago
- Lean formalization of aperiodic monotiles papers (staging repository for material not yet in mathlib)☆13Updated last week
- ☆26Updated 3 years ago
- Practical Deep Learning in Haskell now!☆52Updated 2 years ago