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 repository containing all experiments for the course Compiler Design.☆28Updated 4 years ago
- A Python package for automata theory.☆59Updated last year
- This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…☆10Updated 3 years ago
- Transformer-based approaches for an efficient docstrings generation on a piece of Python's code.☆17Updated 4 years ago
- This is a smart Quiz Generator that generates a dynamic quiz from any uploaded text/PDF document using NLP. This can be used for self-ana…☆96Updated this week
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆23Updated 3 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated last year
- A large dataset of 4.2m Java source code and parallel data of their description from code search, and code summarization studies.☆54Updated 3 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆38Updated 2 years ago
- A multy-layer feed-forward neural network implementation in assembly x86 32 bits☆20Updated 6 years ago
- First-order logic theorem prover supporting unification with approximate vector similarity☆13Updated 2 years ago
- Collection of resources for research concerning Machine Learning and Formal Methods.☆93Updated 4 years ago
- [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code☆80Updated last year
- Graph algorithms implementation☆81Updated 5 years ago
- Course Repository Machine Learning Essentials Course on Udemy.☆20Updated 2 years ago
- ☆38Updated 2 years ago
- Utilities for constructing a large dataset of LLVM IR☆25Updated 7 months ago
- ☆24Updated last month
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆51Updated last year
- C++ solutions for more than 300 Project Euler problems☆142Updated 6 years ago
- Proof-of-concept formal verification using Hoare logic☆21Updated 5 years ago
- MathLib is a versatile C++ library that provides a wide range of mathematical algorithms and functions, including but not limited to tran…☆11Updated 2 years ago
- ☆21Updated 3 years ago
- Code and data for AAAI 2022 paper "Multilingual Code Snippets Training for Program Translation"☆10Updated 3 years ago
- A collection of puzzles I've created over the years☆14Updated 5 years ago
- ☆88Updated 3 years ago
- ☆15Updated 4 years ago
- CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq☆14Updated 3 years ago
- These are my programs for compiler design lab work in my sixth semester☆60Updated 3 years ago
- All Lab programs for Compiler Design Lab for 7th semester Computer Science and Engineering Students under KTU.☆19Updated 5 years ago