dennybritz / probability-monads
☆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
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆36Updated this week
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated last year
- ☆25Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 5 years ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- ☆22Updated 2 years ago
- ☆12Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- egraph <-> json☆13Updated 5 months ago
- The Elements of Statistical Learning in Haskell☆13Updated 7 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Bonn Lean course for winter 24/25☆22Updated 2 months ago
- ☆14Updated last year
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- A verified tensor library in Lean☆20Updated this week
- ☆9Updated 5 years ago
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago
- Automatic Differentiation using Pseudo Lenses. Neat.☆20Updated 5 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆25Updated 7 months ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 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
- Theory and Applications of Lenses and Optics☆55Updated 2 years ago
- Painless general-purpose sampling.☆24Updated 3 months ago
- DeepAlgebra☆25Updated 7 years ago
- Formalization of category theory in Agda☆15Updated 2 years ago
- Combinators and types for easily building trainable neural networks using the backprop library☆33Updated 5 years ago