Alternatives and similar repositories for simple-neural-nets

Users that are interested in simple-neural-nets are comparing it to the libraries listed below

• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated last year
• jax-ml / coix
  Inference Combinators in JAX
  ☆50Updated 4 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆82Updated last year
• b-mehta / exponential-ramsey
  A formal proof of an exponentially better upper bound on Ramsey numbers
  ☆17Updated last year
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 3 years ago
• microsoft / knossos-ksc
  Compiler with automatic differentiation
  ☆48Updated last year
• teorth / expdb
  Exponent pair database
  ☆61Updated this week
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆75Updated 3 years ago
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆57Updated 4 years ago
• WessZumino / Random-Matrix-theory-for-pedestrians
  ☆18Updated 4 years ago
• km-git-acc / dbn_upper_bound
  Computational effort to upper bound the de Bruijn-Newman constant as part of a Polymath project
  ☆13Updated 2 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆26Updated 2 weeks ago
• danieljtait / jax_xla_adventures
  Dive into Jax, Flax, XLA and C++
  ☆31Updated 5 years ago
• sophiaas / spectral-universality
  Official PyTorch and JAX Implementation of "Harmonics of Learning: Universal Fourier Features Emerge in Invariant Networks"
  ☆38Updated last year
• RichardEvans / apperception
  ☆80Updated 4 years ago
• kb1dds / pysheaf
  Python Cellular Sheaf Library
  ☆146Updated 2 weeks ago
• MatthiasNickles / diff-SAT
  Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability
  ☆67Updated last year
• barakeel / oeis-synthesis
  ☆24Updated last month
• ml4tp / gamepad
  A Learning Environment for Theorem Proving
  ☆75Updated 3 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆72Updated 7 years ago
• probcomp / adev
  Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"
  ☆65Updated last year
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated 2 years ago
• probcomp / autoimcmc
  Code accompanying the paper "Automating Involutive MCMC using Probabilistic and Differentiable Programming"
  ☆13Updated 5 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆53Updated 3 weeks ago
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 6 months ago
• xsources / Matlab-simulation-of-Schramm-Loewner-Evolution
  Description and analysis of some mathematical/physics phenomena by using simulation
  ☆19Updated last year
• 51alg / TerpreT
  ☆42Updated 8 years ago
• teorth / symmetric_project
  ☆92Updated last year
• GDPlumb / SnFFT.jl
  ☆24Updated 8 years ago
• jlumbroso / encyclopedia-of-combinatorial-structures-data
  Encyclopedia of Combinatorial Structures
  ☆15Updated 7 years ago