Alternatives and similar repositories for calculus

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

• statusfailed / numeric-optics-python
  ☆26Updated 3 years ago
• ActiveInferenceInstitute / Active_Inference_Ontology
  ☆11Updated 2 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated 4 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆35Updated 12 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆14Updated last year
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• piantado / Fleet
  ☆61Updated 2 months ago
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆38Updated this week
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆15Updated 6 years ago
• mattecapu / categorical-systems-theory
  ☆41Updated 2 months ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated 8 months ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• AlgebraicJulia / GATlab.jl
  GATlab: a computer algebra system based on generalized algebraic theories (GATs)
  ☆31Updated last week
• ELIFE-ASU / Inform
  A cross platform C library for information analysis of dynamical systems
  ☆24Updated 3 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆84Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated last month
• CategoricalData / opl
  Operad Programming Language in Haskell, by David Darais
  ☆31Updated 11 years ago
• hansenjakob / SheafLearning.jl
  Julia package for learning cellular sheaf Laplacians
  ☆16Updated 4 years ago
• webyrd / slpKanren
  Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren
  ☆34Updated 12 years ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆26Updated 9 months ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• ActiveInferenceInstitute / ActiveInferenceCategoryTheory
  Active Inference & Category Theory
  ☆10Updated last year
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated last month