Program Synthesis framework that features heuristics methods (e.g., Genetic Programming) and grammars are defined in Python dataclasses
☆50Updated this week
Alternatives and similar repositories for GeneticEngine
Users that are interested in GeneticEngine are comparing it to the libraries listed below
Sorting:
- Aeon programming language☆25Feb 9, 2026Updated 2 weeks ago
- Repository to host the GRAPE code developed by the BDS group☆13May 22, 2025Updated 9 months ago
- ☆18Nov 28, 2023Updated 2 years ago
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆54Updated this week
- Geometric Semantic Genetic Programming☆15Oct 6, 2014Updated 11 years ago
- Meta-learning approach for human-interpretable formulas generation☆10Apr 24, 2020Updated 5 years ago
- EC-KitY: A scikit-learn-compatible Python tool kit for doing evolutionary computation.☆102Aug 30, 2025Updated 6 months ago
- Aligntune : A Modular Toolkit for Post Training Alignment of LLMs☆33Updated this week
- ☆13Feb 9, 2024Updated 2 years ago
- Automating the Design of Multigrid Methods with Evolutionary Program Synthesis☆13Feb 11, 2025Updated last year
- Logically Qualified Data Types - automatically infer refinement types☆16Aug 24, 2021Updated 4 years ago
- Genetic Programming version of GOMEA. Also includes standard tree-based GP, and Semantic Backpropagation-based GP☆57Sep 26, 2025Updated 5 months ago
- Dynamic Structured Grammatical Evolution☆13Nov 23, 2020Updated 5 years ago
- Repository of datasets for the General Program Synthesis Benchmark Suite☆13Dec 4, 2022Updated 3 years ago
- A dataset of 200+ bugs in the Robot Operating System with Docker containers☆36Mar 9, 2024Updated last year
- An extended typed Lambda Calculus☆21Aug 5, 2024Updated last year
- A living benchmark framework for symbolic regression☆294Oct 21, 2025Updated 4 months ago
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- RILS-ROLS: Robust Symbolic Regression via Iterated Local Search and Ordinary Least Squares☆17Jun 4, 2025Updated 8 months ago
- ☆22Nov 23, 2023Updated 2 years ago
- Fast Deep Evolutionary Network Structured Representation☆18Apr 30, 2024Updated last year
- Enjoy puzzle-solving directly in your browser.☆33Apr 18, 2025Updated 10 months ago
- Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4☆26Oct 13, 2025Updated 4 months ago
- Type-and-example-driven program synthesis for functional programming languages☆27Jun 30, 2019Updated 6 years ago
- Language-independent, search-based program repair -- just your cup of tea! ☕☆30Jul 9, 2024Updated last year
- Auto-parallelizing Pure Functional Language☆27Apr 29, 2019Updated 6 years ago
- A game for learning lean 4 where a cute little Robo joins you on your exploration of the Mathiverse. The game is in German 🇩🇪☆25Jan 23, 2026Updated last month
- PC-miner tool for program chairs☆29Dec 18, 2025Updated 2 months ago
- A deep learning framework for symbolic optimization.☆708Jan 23, 2026Updated last month
- Python library for program synthesis and symbolic execution combining constraint solving and LLMs☆38Feb 19, 2026Updated last week
- Genetic program repair using GHC☆33May 16, 2024Updated last year
- λ² is a tool for synthesizing functional programs from input-output examples.☆87Feb 3, 2023Updated 3 years ago
- ☆33Jun 15, 2025Updated 8 months ago
- (GECCO 2022) CMA-ES with Margin: Lower-Bounding Marginal Probability for Mixed-Integer Black-Box Optimization☆33Mar 20, 2024Updated last year
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆41Updated this week
- Repository of the Mainframe SIG - Our aim is to enable OpenTelemetry for the Mainframe.☆13Jun 9, 2025Updated 8 months ago