Alternatives and similar repositories for calculus

Users that are interested in calculus are comparing it to the libraries listed below

• statusfailed / numeric-optics-python
  ☆28Updated 3 years ago
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆39Updated last year
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• AlgebraicJulia / StockFlow.jl
  ☆76Updated 3 months ago
• piantado / Fleet
  ☆63Updated 8 months ago
• genjax-community / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆22Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆17Updated 3 years ago
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆44Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆86Updated 9 months ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆14Updated 6 years ago
• bayesianempirimancer / pyDMBD
  Dynamic Markov Blanket Discovery
  ☆15Updated last year
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆56Updated 3 years ago
• mgorinova / SlicStan
  A Stan-like probabilistic programming language.
  ☆68Updated 5 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• kanishkg / synchromesh
  Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…
  ☆30Updated last year
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• kach / memo
  A probabilistic programming language for metacognitive modeling
  ☆131Updated 3 weeks ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆25Updated 2 years ago
• genlm / llamppl
  Probabilistic programming with large language models
  ☆156Updated last month
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 7 years ago
• justindomke / pangolin
  probabilistic programming focused on fun
  ☆49Updated this week
• conorheins / collective_motion_actinf
  Code for simulating collective motion from groups of continuous-time and -space active inference agents.
  ☆52Updated last year
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆180Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• mattecapu / categorical-systems-theory
  ☆44Updated 8 months ago
• Tractables / Alea.jl
  ☆31Updated 2 months ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆116Updated last year
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆148Updated 4 months ago