Alternatives and similar repositories for calculus

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

• ActiveInferenceInstitute / Active_Inference_Ontology
  ☆13Updated 2 years ago
• psoulos / role-decomposition
  ☆11Updated 5 years ago
• arquicanedo / graph2sheaves
  Sheaves library for graph abstractions based on NetworkX
  ☆14Updated 6 years ago
• genjax-community / programmable-vi-pldi-2024
  Probabilistic programming with programmable variational inference.
  ☆22Updated last year
• webyrd / relational-parsing-with-derivatives
  Relational version of parsing with derivatives code
  ☆43Updated 12 years ago
• namin / relaxed-machines
  program synthesis with neuro-symbolic differentiable interpreters
  ☆16Updated 3 months ago
• piantado / Fleet
  ☆63Updated 7 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• bayesianempirimancer / pyDMBD
  Dynamic Markov Blanket Discovery
  ☆15Updated last year
• a-nikolaev / visualsc
  A simplicial complex and hypergraph visualization tool similar to Graphviz.
  ☆39Updated 6 years ago
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 5 months ago
• ActiveInferenceInstitute / ActiveInferenceCategoryTheory
  Active Inference & Category Theory
  ☆10Updated last year
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆17Updated 3 years ago
• statusfailed / numeric-optics-python
  ☆27Updated 3 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 4 years ago
• gap-packages / sgpdec
  GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups
  ☆21Updated 3 weeks ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 6 months ago
• j-towns / flipper
  Reversible programming in Agda
  ☆13Updated 2 years ago
• EngineeringSoftware / roosterize
  Tool for suggesting lemma names in Coq verification projects
  ☆22Updated 3 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆18Updated 3 years ago
• zenon-prover / zenon
  The Zenon theorem prover
  ☆15Updated 2 years ago
• shayan-najd / QFeldspar
  QFeldspar: a QDSL front-end for MiniFeldspar
  ☆14Updated 10 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• fzaiser / genfer
  Tool for Bayesian inference on discrete models expressed as probabilistic programs, via generating functions
  ☆25Updated last year
• kach / memo
  A probabilistic programming language for metacognitive modeling
  ☆131Updated this week
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆36Updated 13 years ago
• dc-mak / NumLin
  NumLin: Linear Types for Linear Algebra
  ☆23Updated 2 years ago
• c-cube / stimsym
  [toy] A rewriting language similar to the core of Mathematica
  ☆53Updated 3 years ago
• xieyuheng / cat
  A categorical semantics library in Agda.
  ☆16Updated 5 years ago
• bpinaud / Porgy
  Visual graph rewriting platform
  ☆10Updated 6 months ago