robertghrist / calculus
prompt library for calculus resources
☆14Updated last year
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)☆15Updated 3 years ago
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆42Updated last year
- A Stan-like probabilistic programming language.☆68Updated 4 years ago
- Experiments with variational autoencoders in Julia☆16Updated 5 years ago
- ☆69Updated last month
- a datastructure for scalable combinatorial syntax☆18Updated 2 months ago
- ☆61Updated last week
- Learning Algebraic Varieties from Samples☆24Updated last year
- ☆40Updated 2 weeks ago
- General framework for Bayesian inversion of continuous hierarchical models☆10Updated 3 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Probabilistic programming system for fast and exact symbolic inference☆79Updated 10 months ago
- Active Inference & Category Theory☆10Updated last year
- Sheaves library for graph abstractions based on NetworkX☆15Updated 6 years ago
- A domain-specific probabilistic programming language for reasoning about reasoning☆68Updated last week
- A web-based application for collaborating on simulation models in real-time using Firebase☆36Updated 6 months ago
- Probabilistic Programming eXecution protocol (PPX)☆75Updated 3 years ago
- Composable autodiff for the interactive web.☆25Updated 7 months ago
- A package for various computations with simplicial complexes, combinatorial codes, directed complexes and their filtrations.☆27Updated 2 years ago
- ☆25Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆37Updated this week
- Gaussian process time-frequency analysis toy examples☆17Updated 6 years ago
- Blang's software development kit☆24Updated 9 months ago
- Reversible programming in Agda☆12Updated last year
- ☆11Updated last week
- Probabilistic programming with programmable variational inference.☆20Updated 10 months ago
- JudgeD: Probabilistic Datalog with Dependencies☆18Updated 5 years ago
- Theory and Applications of Lenses and Optics☆54Updated 3 years ago
- Some operator abuse☆29Updated 7 years ago
- A simple Python 2.7 module for computing local and relative simplicial homology☆14Updated last year