Alternatives and similar repositories for riemann-divisor-sum:

Users that are interested in riemann-divisor-sum are comparing it to the libraries listed below

• bgamari / bayes-stack
  Framework for Gibbs sampling of probabilistic models
  ☆49Updated 9 years ago
• namedtensor / notation
  ☆108Updated 2 years ago
• conal / talk-2021-can-tensor-programming-be-liberated
  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"
  ☆64Updated 3 years ago
• b-mehta / combinatorics
  ☆23Updated 2 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆27Updated 5 years ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• duasfl8r / propagator.py
  A propagator network in Python, inspired by Radul & Sussman's The Art of the Propagator
  ☆34Updated 12 years ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆21Updated 6 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆72Updated 12 years ago
• dpiponi / formal-weyl
  The algebra for formal power series in elements of the Weyl algebra
  ☆18Updated 6 years ago
• conal / paper-2020-higher-order-ad
  Higher-order, higher-order automatic differentiation
  ☆30Updated 5 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆20Updated 4 months ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 6 years ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆38Updated 8 years ago
• dpiponi / pile
  Abelian sandpiles
  ☆15Updated 4 months ago
• dpiponi / Operators
  Some operator abuse
  ☆28Updated 7 years ago
• srush / learns-dex
  ☆33Updated 4 years ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆25Updated last year
• sdiehl / pyrewrite
  Python term rewriting
  ☆29Updated 12 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆25Updated 5 years ago
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆40Updated last year
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• chasenorman / Formalized-Voting
  ☆13Updated 3 years ago
• blynn / morans
  Get a Brain
  ☆24Updated 5 years ago
• avigad / arwm
  Automated Reasoning for the Working Mathematician
  ☆11Updated 5 years ago
• Mikolaj / horde-ad
  Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…
  ☆36Updated this week