j2kun / riemann-divisor-sum

Related projects ⓘ

Alternatives and complementary repositories for riemann-divisor-sum

• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆53Updated 3 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 2 months ago
• jtauber / functional-differential-geometry
  working my way through Sussman and Wisdom's Functional Differential Geometry and implementing it in Python
  ☆45Updated 10 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆34Updated 7 months ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 2 weeks ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆35Updated 8 years ago
• PatrickMassot / lean-verbose
  Very controlled natural language tactics for Lean
  ☆61Updated 9 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• namedtensor / notation
  ☆108Updated last year
• j2kun / computing-homology
  Python code for the post "Computing Homology"
  ☆29Updated 2 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆61Updated 8 months ago
• IMO-grand-challenge / IMO-grand-challenge.github.io
  IMO Grand Challenge for Artificial Intelligence
  ☆44Updated 2 years ago
• conal / talk-2018-essence-of-ad
  The simple essence of automatic differentiation
  ☆197Updated 3 years ago
• ofnote / tsanley
  A runtime shape checker and auto-annotator for tensor programs (pronounced "stanley")
  ☆39Updated 5 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 4 years ago
• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆63Updated 4 months ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆39Updated 3 weeks ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 10 months ago
• rabuf / applied-category-theory
  GitBook version of Dr. Baez's lectures from his online Applied Category Theory course.
  ☆44Updated 6 years ago
• leanprover-community / sphere-eversion
  Formalization of the existence of sphere eversions
  ☆36Updated this week
• RobinKa / jaxga
  Geometric Algebra package for JAX
  ☆48Updated 3 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆15Updated last week
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year