dennybritz / probability-monads
☆10Updated last year
Related projects ⓘ
Alternatives and complementary repositories for probability-monads
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆33Updated this week
- Funn: Functional Neural Networks in Haskell☆24Updated 5 years ago
- ☆23Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- ☆21Updated 2 years ago
- Theory and Applications of Lenses and Optics☆53Updated 2 years ago
- A verified tensor library in Lean☆12Updated last week
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- A Lean 4 package for heavy numerical computations☆17Updated 2 years ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 3 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆14Updated last year
- egraph <-> json☆12Updated last month
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- ☆12Updated 2 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- DeepAlgebra☆25Updated 7 years ago
- Bonn Lean course for winter 24/25☆16Updated this week
- Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.☆26Updated last week
- Mathematical stories☆13Updated 3 years ago
- A list of works and resources about double category theory, with a particular focus on applications.☆24Updated 2 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 5 years ago
- Compiler with automatic differentiation☆45Updated last year
- Formalization of category theory in Agda☆14Updated last year
- ☆13Updated 3 years ago
- Learning Algebraic Varieties from Samples☆24Updated 10 months ago
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago
- Reinforcement learning in haskell☆45Updated 3 years ago
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆15Updated 2 years ago