Megha-Bose / Automata-Theory-ConversionsView external linksLinks
Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
☆30Apr 22, 2021Updated 4 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
Sorting:
- A repository containing all experiments for the course Compiler Design.☆28Apr 27, 2021Updated 4 years ago
- 2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.☆12Sep 7, 2019Updated 6 years ago
- 공학수학 강의노트☆19Feb 27, 2024Updated last year
- Open source implementation of Logical Analysis of Data (LAD) Algorithm.☆16Oct 6, 2023Updated 2 years ago
- Generalized Sentiment Classifier finetuned by KoELECTRA☆11Nov 28, 2024Updated last year
- kdb Visual Studio Code extension☆22Updated this week
- 🕹 Pikachu-volleyball game-based multi-agent RL environment using PettingZoo☆11Sep 29, 2024Updated last year
- A python script to walk the directory tree of a C/C++ project of embedded system to generate CMakeLists.txt files for building the execut…☆10May 6, 2022Updated 3 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- 🎲 Woodoku-based reinforcement learning environment using Gymnasium☆10Sep 28, 2024Updated last year
- WorldPalette is a Maya plugin based on the 2015 SIGGRAPH paper, WorldBrush: Interactive Example-based Synthesis of Procedural Virtual Wor…☆11May 10, 2021Updated 4 years ago
- Maven plugin that talks to docker-compose command-line interface☆13Feb 5, 2023Updated 3 years ago
- Runtime type information for JavaScript and TypeScript programs☆10Jun 16, 2024Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- The project is advised by Professor Robert Engle in his FINANCIAL ECONOMETRICS PhD course. I made comparison between the performance of d…☆10Sep 14, 2018Updated 7 years ago
- Text & sentiment analysis of WhatsApp chat data.☆10Feb 3, 2020Updated 6 years ago
- MVP for updated PEP 543 proposal☆14Updated this week
- Pure Python implementation of an event dispatcher☆11Jul 9, 2023Updated 2 years ago
- ☆10Mar 15, 2023Updated 2 years ago
- A Swift Package that implements a GitLab Runner custom executor for VMware Fusion☆11Jun 26, 2025Updated 7 months ago
- Lookup donation history of a Political Action Committee to specific US federal election candidates using data sourced directly from the F…☆14Nov 14, 2022Updated 3 years ago
- ☆15Oct 18, 2020Updated 5 years ago
- HoRNDIS DriverKit Fork☆13Jan 7, 2023Updated 3 years ago
- A nuget distribution of the official JQ implementation, for easy consumption from .NET☆10Feb 8, 2026Updated last week
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Jul 30, 2022Updated 3 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13Jan 15, 2026Updated last month
- Core files for LikeMagic C++ binding library.☆11Jun 5, 2013Updated 12 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Feb 4, 2026Updated last week
- ☆12Feb 7, 2026Updated last week
- Chatbot impls in Prolog☆15Feb 15, 2022Updated 4 years ago
- A simple API for pyenv☆11Nov 16, 2022Updated 3 years ago
- Solutions to exercises in the book *Learn Physics with Functional Programming*☆10Mar 8, 2025Updated 11 months ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆32Updated this week
- Source code for "An Empirical Study of Code Smells in Transformer-based Code Generation Techniques".☆11Oct 4, 2022Updated 3 years ago
- A dynamic compilation framework for PTX (forked from Google Code).☆10Jul 31, 2016Updated 9 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- an optimizing curry compiler☆14Nov 27, 2022Updated 3 years ago
- add any graph structure between objects with 2 simple classes + iteration, visitation, shortest path☆12Oct 27, 2022Updated 3 years ago