Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
☆30Apr 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 tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.☆13May 21, 2021Updated 5 years ago
- A Python package for automata theory.☆60Jan 17, 2024Updated 2 years ago
- ☆10Jan 28, 2024Updated 2 years ago
- ☆13Apr 3, 2026Updated 6 months ago
- ☆24Jul 10, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Fine tuning of the Retrieval-Augmented Generation (RAG) with a custom knowledge source.☆13Feb 10, 2021Updated 5 years ago
- Matlab code of TW Decomposition☆11Apr 19, 2026Updated 5 months ago
- PYB11Generator is a python based code generator that creates pybind11 code for binding C++ libraries as extensions in Python.☆20Aug 10, 2026Updated 2 months ago
- ☆13Dec 17, 2021Updated 4 years ago
- 공학수학 강의노트☆22Feb 27, 2024Updated 2 years ago
- Open source implementation of Logical Analysis of Data (LAD) Algorithm.☆16Oct 6, 2023Updated 3 years ago
- Source code for EMNLP2022 paper "Finding Skill Neurons in Pre-trained Transformers via Prompt Tuning".☆19Mar 13, 2023Updated 3 years ago
- Codes for "Harmonizing Flows: Unsupervised MR harmonization based on normalizing flows"☆23Nov 15, 2023Updated 2 years ago
- [NeurIPS 2026] Free Draft-and-Verification: Toward Lossless Parallel Decoding for Diffusion Large Language Models☆24Sep 29, 2026Updated 2 weeks ago
- 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.
- Fine-Tuning Llama3-8B LLM in a multi-GPU environment using DeepSpeed☆21May 27, 2024Updated 2 years ago
- 2021 ~ present. NLP 관련 공부 기록☆20Feb 13, 2026Updated 8 months ago
- 🕹 Pikachu-volleyball game-based multi-agent RL environment using PettingZoo☆11Sep 29, 2024Updated 2 years 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
- (1) Purpose: A weakly supervised surface defect detection model using image-level labels for simultaneous classification and segmentation…☆27Nov 15, 2023Updated 2 years ago
- Official repository for Adaptive Parallel Decoding (APD).☆20Oct 27, 2025Updated 11 months ago
- Understanding Factual Errors in Summarization: Errors, Summarizers, Datasets, Error Detectors (ACL 2023)☆29Mar 26, 2024Updated 2 years ago
- Use yolov5 to detect pointer scale☆20Apr 20, 2023Updated 3 years ago
- ☆24Dec 23, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An ongoing collection of awesome software, API libraries, checlists, best guidelines and resources and most important security countermea…☆14Nov 15, 2022Updated 3 years ago
- 2024 PyCon Korea 튜토리얼☆12Nov 8, 2024Updated last year
- DCR-Consistency: Divide-Conquer-Reasoning for Consistency Evaluation and Improvement of Large Language Models☆27May 23, 2024Updated 2 years ago
- Textbook on non-classical logics☆14Jul 12, 2026Updated 3 months ago
- WaniCTF 2024 official writeup & source code☆12Jun 26, 2024Updated 2 years ago
- 2025년 국민대학교 KPSC + AIM 스터디 - 강화학습을 이용한 체스 AI 만들기☆13Jun 22, 2025Updated last year
- ☆26Oct 13, 2023Updated 3 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 5 years ago
- Repository for model used in amrlib☆31Jan 20, 2024Updated 2 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Monadic Error Handling for Python☆13Aug 29, 2024Updated 2 years ago
- Chatbot impls in Prolog☆16Feb 15, 2022Updated 4 years ago
- Emacs screenshot utility using scrot☆12Oct 10, 2023Updated 3 years ago
- [ACM MM 2025 🔥🔥 ] MIRA: A first-of-its-kind medical RAG framework that fuses image features and retrieved knowledge with dynamic contex…☆23Aug 28, 2025Updated last year
- List of all ML projects☆12Aug 20, 2024Updated 2 years ago
- Mirror of the Repo on Codeberg☆11Oct 25, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 5 years ago