Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
☆29Apr 22, 2021Updated 5 years ago
Alternatives and similar repositories for Automata-Theory-Conversions
Users that are interested in Automata-Theory-Conversions 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 c++ program to convert regular expression into Non-deterministic finite automata (NFA) using Thompson's construction.☆13Jul 28, 2018Updated 7 years ago
- Business Rule Engine Hardware Accelerator☆14Jun 18, 2020Updated 5 years ago
- An accelerator to which you can offload RE matching☆14Dec 22, 2024Updated last year
- Hardware design project of the FIX and TCP/IP offload engines on FPGA, containing HDL codes and Python codes for testing.☆22Dec 11, 2023Updated 2 years ago
- REAPR (Reconfigurable Engine for Automata Processing) is a general-purpose framework for accelerating automata processing applications su…☆16Jun 29, 2019Updated 6 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Text Summarization on Spotify Podcast Transcripts for NLP class at @UNIBO☆17Jul 2, 2022Updated 3 years ago
- 上位机软件与下位机FPGA采集卡实现UDP通信，接收发送的正弦波信号帧，并保存到本地文件☆14Apr 27, 2022Updated 4 years ago
- A quick Python 3 port of the FAdo Project☆14Mar 29, 2018Updated 8 years ago
- ☆31Jul 9, 2025Updated 10 months ago
- ☆22Sep 16, 2021Updated 4 years ago
- Markdown Templates for Offensive Security OSCP, OSWE, OSCE, OSEE, OSWP exam report☆10Nov 28, 2024Updated last year
- I am still working on it☆11Apr 30, 2020Updated 6 years ago
- PYB11Generator is a python based code generator that creates pybind11 code for binding C++ libraries as extensions in Python.☆20May 11, 2026Updated last week
- 2023 年编译原理实验：正则表达式转NFA，DFA，最简DFA图并生成词法分析代码 Compilation principle experiment: regular expression to NFA, DFA, minimal DFA diagram and gene…☆21Nov 9, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- This project accelerates CNN computation with the help of FPGA, for more than 50x speed-up compared with CPU.☆25Dec 10, 2019Updated 6 years ago
- Material from ICS Village talk at DEFCON 25☆13Jul 30, 2018Updated 7 years ago
- This repository contains different code examples.☆10Aug 24, 2025Updated 8 months ago
- Tools to interact with Siemens PLCs☆11Aug 23, 2023Updated 2 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Apr 6, 2026Updated last month
- Deep Generative Models course, 2025☆10Jun 5, 2025Updated 11 months ago
- code and data for paper "Automatic Generation and Summarization of Shellcode via Transformer and Dual Learning", which accepted in SANER …☆12May 8, 2022Updated 4 years ago
- Advanced Programming in the UNIX Environment at NCTU☆17Jul 13, 2019Updated 6 years ago
- VASim is a virtual homogeneous non-deterministic finite automata automata simulator and transformation tool. VASim can parse, transform, …☆36May 17, 2024Updated 2 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.
- Algorithms & Data Structures Course. MIPT.☆10Mar 24, 2026Updated last month
- Find command injection and format string bugs in binaries☆16Feb 2, 2024Updated 2 years ago
- Tooling for discovery & information gathering from OPC-UA servers☆27Jul 2, 2025Updated 10 months ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Monadic Error Handling for Python☆13Aug 29, 2024Updated last year
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 8 years ago
- ⭐ My own world.☆17May 4, 2026Updated 2 weeks ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Repo for talk slides & materials☆21Nov 22, 2024Updated last year
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 📔 Simple command-line tool and Emacs package for managing diary entries.☆17Apr 24, 2023Updated 3 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- 陽明交通大學/台灣大學 修課心得😀☆13Jul 7, 2024Updated last year
- Integrated environment for *TeX*☆14Updated this week
- This repo for Windows x32-x64 Kernel/User Mode Exploitation writeups and exploits☆24Oct 20, 2025Updated 6 months ago
- z3-powered solver (theorem prover) for deal☆15Sep 28, 2023Updated 2 years ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago