Alternatives and similar repositories for transfinite

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

• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆87Updated 9 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 7 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 months ago
• MathBases / MathBases
  ☆27Updated 2 months ago
• pythological / etuples
  Python S-expression emulation using tuple-like objects.
  ☆24Updated 2 months ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• egraphs-good / egglog-python
  Python bindings for the egglog rust library
  ☆94Updated this week
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆92Updated last month
• Ambrosys / glyph
  a python 3 library based on deap providing abstraction layers for symbolic regression problems.
  ☆94Updated 4 years ago
• robertylewis / mathematica
  Lean-independent implementation of the MM-Lean link
  ☆32Updated 3 years ago
• MartyWeissman / Python-for-number-theory
  A series of introductory instructional python notebooks, for computational number theory.
  ☆17Updated 7 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆27Updated last week
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆125Updated 3 months ago
• pyro-ppl / pyro-models
  Repository of models in Pyro
  ☆30Updated last year
• cair / pyTsetlinMachine
  Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetli…
  ☆148Updated 9 months ago
• teorth / symmetric_project
  ☆93Updated 2 years ago
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆301Updated this week
• teorth / expdb
  Exponent pair database
  ☆67Updated last week
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆27Updated 2 years ago
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆84Updated 2 years ago
• pythological / kanren
  An extensible, lightweight relational/logic programming DSL written in pure Python
  ☆233Updated 4 months ago
• metamath / metamath-book
  Source of metamath book
  ☆52Updated 2 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  Blueprint for the PNT+ Project
  ☆221Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆219Updated last year
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆65Updated last year
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆56Updated this week
• Rufflewind / revad
  Reverse-mode automatic differentiation in Rust (experiment)
  ☆63Updated 4 years ago