robertghrist / calculusLinks
prompt library for calculus resources
☆15Updated 2 years ago
Alternatives and similar repositories for calculus
Users that are interested in calculus are comparing it to the libraries listed below
Sorting:
- Dyna built on R-exprs (First Prototype)☆17Updated 3 years ago
- Probabilistic Programming eXecution protocol (PPX)☆76Updated 3 years ago
- Probabilistic programming with programmable variational inference.☆22Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆12Updated 4 years ago
- A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator☆36Updated 13 years ago
- ☆16Updated 7 years ago
- Visual graph rewriting platform☆10Updated 8 months ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Active Inference & Category Theory☆10Updated last year
- A probabilistic programming language for metacognitive modeling☆135Updated 2 weeks ago
- Take LaTeX projects and convert them to a version that is arXiv-ready☆19Updated 4 years ago
- ☆63Updated 3 weeks ago
- The Design and Implementation of Probabilistic Programming Languages☆180Updated last year
- Primary implementation of the Venture probabilistic programming system☆28Updated 6 years ago
- ☆13Updated 2 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 7 years ago
- Dynamic Markov Blanket Discovery☆16Updated last year
- DeepAlgebra☆25Updated 8 years ago
- ☆28Updated 3 years ago
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆44Updated 2 years ago
- ☆44Updated 9 months ago
- NumLin: Linear Types for Linear Algebra☆23Updated 3 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆17Updated 4 months ago
- Stalin∇, a brutally optimizing compiler for the VLAD language☆77Updated 7 years ago
- a datastructure for scalable combinatorial syntax☆19Updated 11 months ago
- Sheaves library for graph abstractions based on NetworkX☆14Updated 6 years ago
- probabilistic programming focused on fun☆49Updated 3 weeks ago
- Compiler with automatic differentiation☆49Updated 2 years ago
- Learning Algebraic Varieties from Samples☆24Updated 2 years ago
- A home for audio ML in JAX. Has common features, learnable frontends, pretrained supervised and self-supervised models.☆70Updated 3 years ago