An interactive c++ program to construct NFA, DFA, and minimized DFA from a given regular expression.
☆106Oct 7, 2020Updated 6 years ago
Alternatives and similar repositories for automata-from-regex
Users that are interested in automata-from-regex are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 8, 2022Updated 4 years ago
- Regular Expression library in C++☆12Oct 5, 2012Updated 14 years ago
- 中国传媒大学 ACM Wiki☆18Dec 16, 2025Updated 9 months ago
- Effective ReDoS Detection by Principled Vulnerability Modeling and Exploit Generation☆15Jul 24, 2025Updated last year
- A simple sql parser with context-free grammer, predictive parser and lexer with DFA☆12Oct 29, 2015Updated 10 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Code experiments to exercise ideas while reading "Engineering a Compiler".☆28Mar 15, 2019Updated 7 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.☆30Apr 22, 2021Updated 5 years ago
- SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection (S&P 2026)☆39Jun 8, 2026Updated 4 months ago
- Control flow graph and test requirement generation for a Java code.☆15Nov 19, 2014Updated 11 years ago
- ☆19Mar 1, 2015Updated 11 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- The Ultimate File Upload Bypass Generator☆14Nov 24, 2025Updated 10 months ago
- Noisy language compiler☆17Jul 31, 2024Updated 2 years 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.
- Source code repository for ASPLOS '25 paper "Syno: Structured Synthesis for Neural Operators"☆15Aug 31, 2025Updated last year
- Multi-modal Bayesian embedding model☆18Jun 30, 2016Updated 10 years ago
- Play tetris in typst☆13Dec 22, 2023Updated 2 years ago
- ☆21Mar 29, 2025Updated last year
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- Privacy First Toolbox For Developers 🧰☆10Jun 6, 2022Updated 4 years ago
- ☆11Feb 5, 2024Updated 2 years ago
- 看雪 LLVM与代码混淆技术 笔记☆22Aug 31, 2023Updated 3 years ago
- D^3CTF 2022 d3bpf, d3bpf-v2 attachment, exp and official writeup☆13Mar 8, 2022Updated 4 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.
- A ZipCPU based demonstration of the MAX1000 FPGA board☆24May 11, 2021Updated 5 years ago
- ☆15Aug 14, 2022Updated 4 years ago
- ☆15Jan 23, 2020Updated 6 years ago
- Graphiler is a compiler stack built on top of DGL and TorchScript which compiles GNNs defined using user-defined functions (UDFs) into ef…☆59Oct 3, 2022Updated 4 years ago
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 5 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- 华南师范大学计算机学院编译原理课程实验4：LR(0)和SLR(1)文法分析器☆10Dec 21, 2023Updated 2 years ago
- Pascal2 Harvest project QuEst☆14Sep 15, 2014Updated 12 years ago
- Generates strings that match a regular expression☆12Jun 23, 2026Updated 3 months 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.
- Simple example of using Qt with Nim☆12Sep 7, 2014Updated 12 years ago
- Plugin to clang's static analyzer with PHP specific tests☆12Jan 27, 2015Updated 11 years ago
- Linux io_uring based c++ 20 coroutine library☆28Jun 21, 2022Updated 4 years ago
- source code of paper "Mapping to Bits: Efficiently Detecting Type Confusion Errors"☆14Dec 23, 2018Updated 7 years ago
- Source-to-source transformation to call native symbolic execution library and SMT Kit☆32Jul 25, 2014Updated 12 years ago
- Source code supporting the High Performance Graphics 2022 paper: Supporting Unified Shader Specialization by Co-opting C++ Features☆14Jul 9, 2022Updated 4 years ago
- 智能家居的演示Demo☆10Feb 24, 2018Updated 8 years ago