GI in No Time - a Simple Microframework for Genetic Improvement
☆49Feb 20, 2026Updated last week
Alternatives and similar repositories for gin
Users that are interested in gin are comparing it to the libraries listed below
Sorting:
- Counterexample-Driven Genetic Programming☆18Jun 11, 2022Updated 3 years ago
- Multi-Objective GP for Automated Repair of Java☆45May 30, 2022Updated 3 years ago
- Invent new EAs and GA or show your students how they work.☆12Jan 29, 2026Updated last month
- ☆14Nov 12, 2025Updated 3 months ago
- Search-Based Software Engineering Course☆15Oct 25, 2022Updated 3 years ago
- Proposed ACM SIGSOFT Standard for Optimization Studies in SE (including SBSE).☆23Mar 3, 2021Updated 4 years ago
- RISC-V Core; superscalar, out-of-order, multi-core capable; based on RISCY-OOO from MIT☆34Updated this week
- Implementing Halide's TRS inside of EGG☆35Jan 20, 2023Updated 3 years ago
- RubyLLM with additions from the community☆20Jan 3, 2026Updated last month
- ☆29Oct 7, 2021Updated 4 years ago
- ☆31Aug 18, 2025Updated 6 months ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- Course material of "Hands-On Machine Learning", University of Molise☆12Sep 9, 2023Updated 2 years ago
- ☆10Jul 29, 2022Updated 3 years ago
- STARTS - A tool for STAtic Regression Test Selection☆32Jul 1, 2024Updated last year
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- React input for farsi/persian numbers☆11Mar 4, 2023Updated 2 years ago
- ☆14Jul 5, 2025Updated 7 months ago
- A command line utility for downloading Xbox screenshots and game clips to local storage☆10Apr 22, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years 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
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- A transformer model to predict pathogenic mutations☆12Jun 25, 2025Updated 8 months ago
- ☆13Mar 26, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Computational biology code samples☆11Feb 28, 2018Updated 8 years ago
- Structured Information on State and Evolution of Dockerfiles - Online Appendix☆10Mar 16, 2018Updated 7 years ago
- ☆11Sep 8, 2022Updated 3 years ago
- Hosts our tool for mining simple "stupid'' bugs (SStuBs).☆38May 20, 2022Updated 3 years ago
- Solver for Constrained Horn Clauses☆50Updated this week
- Synthetic data for SQL databases☆11Jan 30, 2026Updated last month
- A tool to convert any ordinary Git repository to a Historage repository, a fine-grained version control repository.☆12Jan 9, 2020Updated 6 years ago
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 10 months ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- ☆10Nov 2, 2022Updated 3 years ago
- Android version of Gabriele Cirulli's 2048 game☆11May 27, 2014Updated 11 years ago
- Bachelor's grad work on code autocompletion with rnn☆10May 19, 2019Updated 6 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago