Alternatives and similar repositories for elea

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

• xcsf-dev / xcsf
  XCSF learning classifier system: rule-based online evolutionary machine learning
  ☆35Updated last week
• erp12 / pyshgp
  Push Genetic Programming in Python.
  ☆78Updated 2 years ago
• thomasahle / noisy-bayesian-optimization
  Bayesian Optimization for very Noisy functions
  ☆18Updated 4 years ago
• kamel-usp / dpasp
  Differentiable probabilistic answer set programming
  ☆29Updated 7 months ago
• IOHprofiler / IOHanalyzer
  Performance analyzer for Iterative Optimization Heuristics.
  ☆23Updated 4 months ago
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆41Updated 8 months 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
• dj-on-github / RNGBook_Code
  Programs and data to accompany the book "Random Number Generators, Principles and Practices"
  ☆11Updated 7 years ago
• kiudee / bayes-skopt
  A fully Bayesian implementation of sequential model-based optimization
  ☆42Updated 3 months ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆84Updated last year
• zebreus / prolog-chess
  A simple minimax chess engine written in prolog
  ☆11Updated 2 years ago
• SoarGroup / Agents
  A large collection of example and demo Soar agents for a variety of domains and problems.
  ☆28Updated 8 years ago
• alcides / GeneticEngine
  Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
  ☆50Updated 3 weeks ago
• rubberduck203 / Evolve
  Artificial Life Simulator Originally Authored by Ken Stauffer
  ☆66Updated 6 years ago
• metamath / metamath-book
  Source of metamath book
  ☆55Updated 2 years ago
• lonsing / depqbf
  DepQBF, a solver for quantified boolean formulae (QBF).
  ☆39Updated 2 years ago
• leanprover-community / lftcm2020
  Lean for the Curious Mathematician 2020
  ☆68Updated 2 years ago
• ganeshutah / Jove
  ☆73Updated last month
• Normaliz / Normaliz
  Normaliz is an open source tool for computations in affine monoids, vector configurations, lattice polytopes, and rational cones.
  ☆50Updated last week
• inpefess / gym-saturation
  a collection of Gymnasium environments for saturation provers
  ☆23Updated last month
• sandialabs / Prove-It
  A tool for proving and organizing general theorems using Python.
  ☆31Updated this week
• moshesipper / tiny_gp
  Tiny Genetic Programming in Python.
  ☆106Updated 2 years ago
• Dyalog / pynapl
  Dyalog APL ←→ Python interface
  ☆83Updated 3 months ago
• mitchkeller / applied-combinatorics
  Applied Combinatorics by Mitchel T. Keller and William T. Trotter
  ☆32Updated this week
• ai4reason / ATP_Proofs
  Interesting ATP Proofs
  ☆13Updated 4 years ago
• celinehocquette / magicpopper
  C. Hocquette and A. Cropper, Learning programs with magic values.
  ☆19Updated 3 years ago
• leanprover-community / tutorials
  Some Lean tutorials
  ☆183Updated 2 years ago
• jespb / Python-M3GP
  An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…
  ☆11Updated 2 months ago
• JoseCSantos / GILPS
  General Inductive Logic Programming System
  ☆18Updated 3 years ago