Megha-Bose / Automata-Theory-ConversionsLinks
Conversions covered: regex to NFA, NFA to DFA, DFA to regex. Minimizing DFA.
☆30Updated 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 Python package for automata theory.☆59Updated 2 years ago
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Updated 3 years ago
- A multy-layer feed-forward neural network implementation in assembly x86 32 bits☆20Updated 6 years ago
- All Lab programs for Compiler Design Lab for 7th semester Computer Science and Engineering Students under KTU.☆19Updated 5 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method☆22Updated 8 years ago
- Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"☆17Updated 11 months ago
- ☆15Updated 4 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Updated 2 years ago
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Updated 3 years ago
- A repository containing codes and algorithms for the AI course 18CSC305J.☆30Updated 4 years ago
- Connecting bv_decide to SMTLIB.☆13Updated 3 weeks ago
- Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.☆58Updated 2 years ago
- ☆88Updated 3 years ago
- How did we prepare for our TOEFL exams? - Mashiat, Sadia and Rabid☆65Updated 2 years ago
- ☆20Updated last year
- Machine Learning for Source Code Analysis☆17Updated 2 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆94Updated 4 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆52Updated last year
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆69Updated last week
- "The universe doesn't allow perfection." ― Stephen Hawking☆52Updated 3 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Updated 7 months ago
- A list of papers and resources dedicated to code generation☆20Updated 3 years ago
- A python library to manipulate formal languages and various automata☆58Updated 4 months ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- Interesting ATP Proofs☆13Updated 4 years ago
- A collection of curated resources for learning Computer Science subjects and skills, that I garnered throughout my tenure as a CSE studen…☆86Updated 4 years ago
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆25Updated 2 years ago
- ☆10Updated 2 years ago