lahovniktadej / gatreeView external linksLinks
Evolutionary decision trees
☆11Jun 16, 2025Updated 8 months ago
Alternatives and similar repositories for gatree
Users that are interested in gatree are comparing it to the libraries listed below
Sorting:
- Cross-Care☆11Jun 24, 2024Updated last year
- pandoc-like tool for symbolic regression expressions☆14Mar 10, 2024Updated last year
- A benchmark of mortality risk prediction models using electrocardiograms.☆16Aug 15, 2025Updated 6 months ago
- Implementation of SGE Algorithm in Python 3☆21Feb 4, 2026Updated last week
- Python automated machine learning framework.☆34Dec 4, 2025Updated 2 months ago
- Position and velocity PID control of a DC motor using LabView and Arduino☆15Apr 23, 2018Updated 7 years ago
- A feature engineering automation tool for learning data representations☆37Mar 7, 2025Updated 11 months ago
- code for infocom 2021 paper MANDA☆11May 30, 2023Updated 2 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
- ☆10Jul 29, 2022Updated 3 years ago
- linear genetic programming system for symbolic regression and classification.☆35Mar 1, 2017Updated 8 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- EHR datasets preprocessing scripts☆11Jan 31, 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 6 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A generative deep learning model based on GAN architecture was implemented to generate synthetic network data (benign and malicious) alik…☆10Oct 23, 2021Updated 4 years ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- Regular expression for form validations synthesizer☆15Apr 17, 2025Updated 9 months ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated last year
- Repository to host the GRAPE code developed by the BDS group☆13May 22, 2025Updated 8 months ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 3 months ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Mar 6, 2020Updated 5 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month
- Analyse metabolic stability predictions using SHapley Additive exPlanations.☆11Jul 26, 2023Updated 2 years ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 8 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- 北京市预约挂号统一平台挂号小助手☆11Sep 5, 2019Updated 6 years ago
- Text Classification Models - CNN, RCNN, RNN-ATTN [PyTorch]☆11Oct 13, 2020Updated 5 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- heuristically and dynamically sample (more) uniformly from large decision trees of unknown shape☆14Jul 20, 2025Updated 6 months ago
- A date and time library for Lean 4☆14Apr 12, 2025Updated 10 months ago
- Implement a VAE to learn a reduced state space representation from the NSL-KDD dataset, capturing essential features of normal network t…☆14Feb 15, 2024Updated 2 years ago
- the Dependent Unboxed higher-oRder Intermediate Notation☆14Feb 8, 2022Updated 4 years ago