Alternatives and similar repositories for calculus

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

• ActiveInferenceInstitute / ActiveInferenceCategoryTheory
  Active Inference & Category Theory
  ☆10Updated last year
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆110Updated last week
• mbaltieri / GeneralisedFiltering
  General framework for Bayesian inversion of continuous hierarchical models
  ☆10Updated 4 years ago
• piantado / Fleet
  ☆63Updated 5 months ago
• conorheins / collective_motion_actinf
  Code for simulating collective motion from groups of continuous-time and -space active inference agents.
  ☆51Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆17Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 7 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• mattecapu / categorical-systems-theory
  ☆43Updated 5 months ago
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆37Updated 11 months ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated 3 weeks ago
• probmods / dippl
  The Design and Implementation of Probabilistic Programming Languages
  ☆178Updated last year
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆38Updated 6 years ago
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆43Updated 2 years ago
• utdb / judged
  JudgeD: Probabilistic Datalog with Dependencies
  ☆18Updated 5 years ago
• 51alg / TerpreT
  ☆42Updated 8 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 12 years ago
• genjax-community / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆21Updated last year
• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 9 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 2 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆12Updated 4 years ago
• probmods / webchurch
  A Church to Javascript compiler (DEPRECATED)
  ☆141Updated 7 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last month
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 11 months ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago