An interactive c++ program to construct NFA, DFA, and minimized DFA from a given regular expression.
☆107Oct 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:
- NFA to DFA Conversion Implementation in C++.☆24Dec 21, 2021Updated 4 years ago
- ☆11Sep 8, 2022Updated 4 years ago
- Implementation for paper Automata Extraction from Transformers.☆13Jun 8, 2024Updated 2 years ago
- Pointer analysis prototype (currently including anderson, steensgard).☆17Dec 20, 2021Updated 4 years ago
- Automata Learning EXperience (ALEX) - A free and open-source web application for testing and learning web applications via active automat…☆38Aug 5, 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.
- C++ library for creating and manipulating decision diagrams.☆14Apr 20, 2026Updated 6 months ago
- The Ultimate File Upload Bypass Generator☆14Nov 24, 2025Updated 11 months ago
- Automatically generate (useless?) unit tests for Java☆16Feb 14, 2019Updated 7 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆76Jul 12, 2025Updated last year
- 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
- Noisy language compiler☆17Jul 31, 2024Updated 2 years ago
- Yet another implementation of AEG (Automated Exploit Generation) using symbolic execution engine Triton.☆34Jul 29, 2018Updated 8 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆16Feb 26, 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.
- MutRex - A generator of fault detecting strings for regular expressions☆14Mar 18, 2024Updated 2 years ago
- An RDP to VNC bridge☆13Feb 21, 2018Updated 8 years ago
- 一个简单的pdf在线压缩网站☆11Sep 16, 2021Updated 5 years ago
- Distributed File System Based on GFS Paper☆15Dec 14, 2022Updated 3 years ago
- Automated Vulnerability Discovery Agent Pipeline☆18Updated this week
- ☆11Feb 5, 2024Updated 2 years ago
- Semantic Textual Similarity task 2012☆12Jun 30, 2014Updated 12 years ago
- Updated IDA ReObjc Plugin for 7.4+ and python3☆13Apr 17, 2021Updated 5 years ago
- A dk.brics FSM to regular-expression-string converter☆10Jul 12, 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.
- A new place for a fork of a compositor for X11☆19Mar 4, 2022Updated 4 years ago
- Information Theoretic Inequality Prover [ITIP] (C++/CLI version) - Evolution of Xitip: http://xitip.epfl.ch/☆10Jul 23, 2020Updated 6 years ago
- 看雪 LLVM与代码混淆技术 笔记☆22Aug 31, 2023Updated 3 years ago
- A framework for automated testing of network analysis and verification tools.☆19Feb 23, 2021Updated 5 years ago
- Linux io_uring based c++ 20 coroutine library☆28Jun 21, 2022Updated 4 years ago
- Builds Data Provenance Graph for Multi-Threaded Programms using tthread and Intel Pt.☆14Jun 3, 2016Updated 10 years ago
- Collections of Benchmarks of R☆11May 16, 2016Updated 10 years ago
- 智能家居的演示Demo☆10Feb 24, 2018Updated 8 years ago
- 2022级华南师范大学编译原理实验☆16Jun 16, 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.
- 华南师范大学计算机学院编译原理课程实验4：LR(0)和SLR(1)文法分析器☆10Dec 21, 2023Updated 2 years ago
- The raw statistics of the paper "Security Debt in LLM Agent Applications: A Measurement Study of Vulnerabilities and Mitigation Trade-off…☆15Sep 2, 2025Updated last year
- Google Play Store and Apple App Store rankings data☆17May 16, 2022Updated 4 years ago
- ☆15Jun 11, 2025Updated last year
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 6 years ago
- Code for the EMNLP paper "Improving Detection and Categorization of Task-relevant Utterances through Integration of Discourse Structure a…☆12Nov 23, 2022Updated 3 years ago
- sign elf binaries with GPG☆17Oct 10, 2016Updated 10 years ago