Alternatives and similar repositories for calculus

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

• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 3 months ago
• aidos-lab / TARDIS
  TARDIS: Topological Algorithms for Robust DIscovery of Singularities
  ☆42Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• ActiveInferenceInstitute / Active_Inference_Ontology
  ☆11Updated 2 years ago
• mattecapu / categorical-systems-theory
  ☆40Updated last month
• piantado / Fleet
  ☆61Updated 3 weeks ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• COR-OPT / SuperPolyak.py
  Pytorch implementation of SuperPolyak subgradient method.
  ☆43Updated 2 years ago
• KULeuven-CS / Parallel-Computing
  Parallel Computing (B-KUL-H03F9A)
  ☆9Updated 10 years ago
• ActiveInferenceInstitute / ActiveInferenceCategoryTheory
  Active Inference & Category Theory
  ☆10Updated last year
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• UofS-CEPHIL / modelcollab
  A web-based application for collaborating on simulation models in real-time using Firebase
  ☆36Updated 7 months ago
• dmurfet / polysemantics
  Polynomial semantics of linear logic
  ☆13Updated 7 years ago
• google-deepmind / cartesian-frames
  A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.
  ☆19Updated 3 years ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• mbaltieri / GeneralisedFiltering
  General framework for Bayesian inversion of continuous hierarchical models
  ☆10Updated 3 years ago
• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• psoulos / role-decomposition
  ☆11Updated 5 years ago
• mmasdeu / topologygame
  Learn Lean and topology
  ☆21Updated 2 years ago
• google-deepmind / debate
  Formalizing stochastic doubly-efficient debate
  ☆105Updated 7 months ago
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆25Updated 8 months ago
• profConradi / eigenfish
  # Eigenfish Ideas by the wonderful ["Computational Discovery on Jupyter"](https://computational-discovery-on-jupyter.github.io/Computatio…
  ☆171Updated 2 months ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• prathyvsh / Illustrated-Primers
  Books that makes heavy use of visuals for scientific communication
  ☆160Updated last year
• conorheins / collective_motion_actinf
  Code for simulating collective motion from groups of continuous-time and -space active inference agents.
  ☆44Updated last year
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆64Updated last year
• geometric-intelligence / neurometry
  Quantify geometric intelligence in natural and artificial brains.
  ☆50Updated 6 months ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆19Updated 2 months ago