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
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A benchmark of Python Library Migration☆14Apr 5, 2025Updated 10 months ago
- My multi-system flake configuration☆12Feb 19, 2026Updated last week
- ☆10May 30, 2017Updated 8 years ago
- A script tool for generating figures from experiment results, based on matplotlib☆12May 10, 2019Updated 6 years ago
- A GPU-friendly implementation of SpliceAI☆11Dec 8, 2022Updated 3 years ago
- DNS resolution via glibc for rust☆11Nov 27, 2025Updated 3 months 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
- 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
- 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
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- SciKit Sequitur is an Apache2 licensed Python module for inferring compositional hierarchies from sequences.☆10Oct 13, 2021Updated 4 years ago
- A String Manipulation Library for Wren☆13Jul 22, 2017Updated 8 years ago
- LaTeX sleek beamer template☆10Oct 16, 2023Updated 2 years ago
- AIxCC: automated vulnerability repair via LLMs, search, and static analysis☆11Jul 16, 2024Updated last year
- My personal dotfiles for my linux desktop☆10Feb 18, 2026Updated last week
- An open-source framework for benchmarking of feature selection algorithms and cost functions.☆10Mar 6, 2020Updated 5 years ago
- NS3 module for simulating DOCSIS 3.1 links☆16Apr 5, 2024Updated last year
- Asynchronous client library for interacting with the Beanstalkd work queue.☆16Feb 1, 2024Updated 2 years ago
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- Another Rust BitTorrent implementation☆14Mar 31, 2024Updated last year
- Repository to host the GRAPE code developed by the BDS group☆13May 22, 2025Updated 9 months ago
- A thread-safe, generic in-memory key-value store for Go, suitable for single-machine applications.☆10Oct 25, 2024Updated last year
- My neovim setting written by 100% lua 🧪☆10Oct 26, 2025Updated 4 months ago
- This is a repo for hosting the projects in SIGCOMM 2019 Hackathon☆10Jul 14, 2019Updated 6 years ago
- An example of elixir erlport server with python opencv, just a demo, no thumbnail functionalities.☆12Jun 28, 2017Updated 8 years ago
- A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).☆16Jan 12, 2026Updated last month