Regular expression for form validations synthesizer
☆16Apr 17, 2025Updated last year
Alternatives and similar repositories for FOREST
Users that are interested in FOREST are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A SQL and R Synthesizer Using Query Reverse Engineering☆25Aug 11, 2020Updated 6 years ago
- ☆26Apr 18, 2025Updated last year
- C-Pack of IPAs: A C90 Program Benchmark of Introductory Programming Assignments (IPAs)☆10May 31, 2026Updated 5 months ago
- Synthesis API Refactor☆12May 17, 2022Updated 4 years ago
- An easy-to-use scikit-learn inspired implementation of the Multidimensional Multiclass Genetic Programming with Multidimensional Populati…☆12Jun 2, 2026Updated 4 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- NS3 module for simulating DOCSIS 3.1 links☆16Sep 2, 2026Updated last month
- URL encode: shell function and command line script☆12Apr 14, 2025Updated last year
- A Python script to create cactus and scatter plots based on matplotlib☆28Jul 13, 2026Updated 3 months ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 2025Updated last year
- SAT-based miner of smallest size decision sets☆13Jan 22, 2021Updated 5 years ago
- Produce a heatmap of gzip files to better understand how gzip compresses your code☆25Feb 22, 2023Updated 3 years ago
- Synthesizing SQL queries from input / output examples☆47Nov 18, 2020Updated 5 years ago
- Fixes the BloodRayne 2 'BR2 FSAA Patch 1.666' patch on Windows 8.1 and Windows 10.☆21May 27, 2025Updated last year
- A benchmark of Python Library Migration☆15Apr 5, 2025Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- SyPet: Component-Based Synthesis for Complex APIs☆23May 24, 2018Updated 8 years ago
- This program generates cyber attack scenarios for use in cyber training exercises, red team planning, blue team planning, automated attac…☆36Apr 15, 2021Updated 5 years ago
- A typed language for hybrid classical and quantum programs, implemented in C++20.☆17Oct 24, 2026Updated last week
- Spoofax implementation using PIE pipelines☆14Sep 3, 2026Updated last month
- Programming Language designed for Program Synthesis with SMT-validation.☆45Updated this week
- XReason - formal reasoning about explanations for ML models☆18Sep 8, 2026Updated last month
- Data and Code for StructuredRegex.☆14Nov 16, 2023Updated 2 years ago
- Templates LaTeX para Tese de Mestrado, Tese de Doutoramento, Proposta de Tese de Mestrado e Proposta de Tese de Doutoramento na Faculdade…☆20Apr 16, 2024Updated 2 years ago
- safe executor for programming contest auto judge system☆25Sep 6, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Brief Python implementation of Most Permissive Boolean Networks☆20May 18, 2026Updated 5 months ago
- An RSpec / Mocha inspired testing tool for php.☆35Jul 24, 2017Updated 9 years ago
- ☆14Oct 11, 2022Updated 4 years ago
- Artifacts of FSE-2017 paper on an Intelligent Tutoring System for Programming☆27May 21, 2019Updated 7 years ago
- Yaae: Yet another autodiff engine (written in Numpy).☆28Jul 6, 2023Updated 3 years ago
- OverCode's public repo (OverCode 2.0 is still a private repo and will hopefully be released soon). See http://people.csail.mit.edu/elg/ov…☆25Oct 19, 2016Updated 10 years ago
- <개발자를 위한 필수 수학>(한빛미디어, 2024)의 코드 저장소☆19Sep 6, 2026Updated last month
- Sketch Driven Regular Expression Generation.☆18Apr 26, 2023Updated 3 years ago
- A library that includes Keras 3 preprocessing and augmentation layers, providing support for various data types such as images, labels, b…☆17Aug 12, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- The SearchRepair automated C program repair tool (see http://people.cs.umass.edu/~brun/pubs/pubs/Ke15ase.pdf)☆27Mar 13, 2019Updated 7 years ago
- Python notebooks for kNN Tutorial paper☆21Feb 6, 2021Updated 5 years ago
- Reproduction of AlphaTensor paper for 2x2 matrices☆16Nov 5, 2023Updated 2 years ago
- An open source, header only, blazing fast mesh processing library; supporting both triangular mesh and tetrahedral mesh.☆39Mar 4, 2024Updated 2 years ago
- A toolkit for SAT-based prototyping in Python☆466Oct 20, 2026Updated last week
- Exercism exercises in Prolog.☆35Oct 9, 2026Updated 3 weeks ago
- ☆22Sep 30, 2021Updated 5 years ago