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 10 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months ago
• sligocki / busy-beaver
  Tools for finding Busy Beaver Turing Machines and Proving others as non-halting
  ☆49Updated 2 weeks ago
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆76Updated 3 years ago
• xcsf-dev / xcsf
  XCSF learning classifier system: rule-based online evolutionary machine learning
  ☆35Updated last week
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆85Updated last year
• OscarCunningham / logic-life-search
  Cellular automata search program
  ☆26Updated 3 years ago
• aaron-siegel / cgsuite
  A computer algebra system for research in combinatorial game theory
  ☆54Updated 2 years ago
• Martin-Seysen / mmgroup
  Python implementation of the monster group
  ☆57Updated last month
• cair / pyTsetlinMachine
  Implements the Tsetlin Machine, Convolutional Tsetlin Machine, Regression Tsetlin Machine, Weighted Tsetlin Machine, and Embedding Tsetli…
  ☆149Updated 10 months ago
• johnswentworth / tracelang
  Read, write and manipulate code which reads, writes and manipulates code.
  ☆10Updated 5 years ago
• argolab / dyna-R
  Dyna built on R-exprs (First Prototype)
  ☆17Updated 3 years ago
• pymc-devs / symbolic-pymc
  Tools for the symbolic manipulation of PyMC models, Theano, and TensorFlow graphs.
  ☆65Updated last year
• emreyolcu / rewriting-collatz
  An automated approach to the Collatz conjecture
  ☆12Updated 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
• pyro-ppl / pyro-models
  Repository of models in Pyro
  ☆30Updated last year
• eric-wieser / lean-matrix-cookbook
  The matrix cookbook, proved in the Lean theorem prover
  ☆126Updated 4 months ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• sophiaas / simple-neural-nets
  Learn to build neural networks from scratch, simply. No autograd, no deep learning libraries - just numpy.
  ☆10Updated 3 years ago
• ericastor / rmzoo
  ☆14Updated last year
• zenorogue / newconformist
  Conformally map the hyperbolic plane to arbitrary shapes.
  ☆65Updated 2 years ago
• breandan / picograd
  🦠 AD in less than 20 lines
  ☆54Updated 4 years ago
• flintlib / calcium
  Calcium has been merged into FLINT -- use https://github.com/flintlib/flint/ instead
  ☆82Updated 2 years ago
• kiudee / bayes-skopt
  A fully Bayesian implementation of sequential model-based optimization
  ☆42Updated 3 months ago
• fredrik-johansson / fungrim
  Fungrim: the Mathematical Functions Grimoire
  ☆124Updated 3 years ago
• alreich / abstract_algebra
  Abstract Algebra: An implementation of Finite Algebras: Groups, Rings, Fields, Vector Spaces, Modules, Monoids, Semigroups, and Magmas. …
  ☆22Updated this week
• rjtobin / HanSim
  A simulator for strategies of a well-known cooperative card game.
  ☆15Updated 9 years ago
• williamgilpin / convoca
  Predict and analyze cellular automata using convolutional neural networks
  ☆84Updated 5 years ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆52Updated 8 months ago
• Ambrosys / glyph
  a python 3 library based on deap providing abstraction layers for symbolic regression problems.
  ☆94Updated 4 years ago