Alternatives and similar repositories for transfinite

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

• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆42Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆40Updated 2 months ago
• MathBases / MathBases
  ☆23Updated this week
• ericastor / rmzoo
  ☆13Updated last year
• cgreer / alpha-zero-boosted
  A "build to learn" Alpha Zero implementation using Gradient Boosted Decision Trees (LightGBM)
  ☆86Updated 4 months ago
• sorear / metamath-turing-machines
  metamath proof enumerators and other things
  ☆94Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆115Updated this week
• metamath / set.mm
  Metamath source file for logic and set theory
  ☆288Updated this week
• egraphs-good / egglog-python
  Python bindings for the egg-smol rust library
  ☆82Updated this week
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆44Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆81Updated last year
• oeis / oeisdata
  Content of Online Encyclopedia of Integer Sequences (OEIS)
  ☆91Updated this week
• leanprover-community / lean-liquid
  💧 Liquid Tensor Experiment
  ☆205Updated last year
• girving / ray
  Formalizing results about the Mandelbrot set in Lean
  ☆21Updated this week
• metamath / metamath-exe
  Metamath program - source code for the Metamath executable
  ☆82Updated 2 weeks ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆62Updated last year
• barakeel / oeis-synthesis
  ☆23Updated 3 weeks ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆51Updated 3 weeks ago
• ImperialCollegeLondon / M40001_lean
  Lean 3 material related to Imperial College's "Introduction to University Mathematics" course
  ☆161Updated last year
• pyro-ppl / pyro-models
  Repository of models in Pyro
  ☆29Updated last year
• b-mehta / combinatorics
  ☆23Updated 3 years ago
• meithecatte / busycoq
  Busy Beaver deciders backed by Coq proof
  ☆53Updated 5 months ago
• eprover / PyRes
  Pedagogical first-order prover in Python
  ☆76Updated 2 months ago
• philzook58 / knuckledragger
  A Low Barrier Proof Assistant
  ☆120Updated this week
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆73Updated last month
• thomasahle / noisy-bayesian-optimization
  Bayesian Optimization for very Noisy functions
  ☆18Updated 4 years ago
• ImperialCollegeLondon / group-theory-game
  Building group theory from scratch in Lean
  ☆60Updated 4 years ago
• AlexKontorovich / PrimeNumberTheoremAnd
  blueprint for prime number theorem and more
  ☆180Updated this week
• jesse-michael-han / lean-gptf
  Interactive neural theorem proving in Lean
  ☆123Updated 3 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆15Updated 3 years ago