Regular expression for form validations synthesizer
☆15Apr 17, 2025Updated 10 months ago
Alternatives and similar repositories for FOREST
Users that are interested in FOREST are comparing it to the libraries listed below
Sorting:
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆11Dec 3, 2025Updated 2 months ago
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 5 years ago
- Synthesis API Refactor☆12May 17, 2022Updated 3 years ago
- ☆25Apr 18, 2025Updated 10 months ago
- A Python script to create cactus and scatter plots based on matplotlib☆27Mar 20, 2021Updated 4 years ago
- ☆10Jul 29, 2022Updated 3 years ago
- Evolutionary decision trees☆11Jun 16, 2025Updated 8 months ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 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
- ☆10May 30, 2017Updated 8 years ago
- My multi-system flake configuration☆12Updated this week
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Many companies are utilizing the cloud for their day to day activities. Many big cloud service providers like AWS, Microsoft Azure have b…☆11Nov 13, 2022Updated 3 years ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 3 months ago
- A benchmark of Python Library Migration☆14Apr 5, 2025Updated 10 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- This is an implementation of SafeBricks, based on NetBricks maintained by Comcast and refined by Yang: https://github.com/YangZhou1997/Ne…☆10Feb 3, 2020Updated 6 years ago
- Refinement type checker for Java with liquid types and typestates - catch bugs at compile time☆54Updated this week
- LaTeX sleek beamer template☆10Oct 16, 2023Updated 2 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Mar 6, 2020Updated 5 years ago
- This is a repo for hosting the projects in SIGCOMM 2019 Hackathon☆10Jul 14, 2019Updated 6 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- My personal dotfiles for my linux desktop☆10Feb 18, 2026Updated last week
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- Implementation of Polymorphic Gradual Typing☆12Sep 16, 2018Updated 7 years ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- My neovim setting written by 100% lua 🧪☆10Oct 26, 2025Updated 4 months ago
- Asynchronous client library for interacting with the Beanstalkd work queue.☆16Feb 1, 2024Updated 2 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 7 months ago
- Another Rust BitTorrent implementation☆14Mar 31, 2024Updated last year
- Simple implementations of Cartesian Genetic Programming (CGP) and Linear Genetic Programming (LGP) in JAX☆11Oct 28, 2025Updated 4 months ago
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- Fast Setup for Proof by Reflection, in Two Lines of Ltac.☆14Jan 12, 2021Updated 5 years ago