Alternatives and similar repositories for Automata-Theory-Conversions

Users that are interested in Automata-Theory-Conversions are comparing it to the libraries listed below

• devangi2000 / Compiler-Design
  A repository containing all experiments for the course Compiler Design.
  ☆28Updated 4 years ago
• whitemech / pythomata
  A Python package for automata theory.
  ☆58Updated last year
• Walid-khaled / Design-Patterns-Detection-ML
  This repository contains an implementation for design patterns detection. In this task, feature engineering and ensemble learning are app…
  ☆10Updated 3 years ago
• gai4se / GAI4SE-Course
  ☆24Updated this week
• vinyasns / dfa-to-regex
  A Python implementation to convert a Deterministic Finite Automata to Regular Expression using state elimination method
  ☆22Updated 7 years ago
• gio54321 / hoare-logic-prover
  Proof-of-concept formal verification using Hoare logic
  ☆21Updated 5 years ago
• martysai / source-code-summarization
  Transformer-based approaches for an efficient docstrings generation on a piece of Python's code.
  ☆17Updated 4 years ago
• saltudelft / many-types-4-py-dataset
  ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference
  ☆24Updated 3 years ago
• JetBrains-Research / bumblebee
  An IntelliJ-based IDE plugin for Python AST transformations
  ☆18Updated 2 years ago
• csebuetnlp / CoDesc
  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
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆14Updated last month
• MojtabaValizadeh / paresy
  Artifacts for the PLDI 2023 paper "Search-Based Regular Expression Inference on a GPU"
  ☆17Updated 8 months ago
• jianguda / afm4acs
  ☆15Updated 4 years ago
• IITH-Compilers / ML-Compiler-Bridge
  Library to interface Compilers and ML models for ML-Enabled Compiler Optimizations
  ☆18Updated 2 weeks ago
• squaresLab / Darjeeling
  Language-independent, search-based program repair -- just your cup of tea! ☕
  ☆30Updated last year
• xiye17 / SAT-LM
  SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)
  ☆50Updated last year
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆93Updated 3 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• codersguild / Software-Analysis-PAVT
  Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…
  ☆38Updated 2 years ago
• tushartushar / ML4SCA
  Machine Learning for Source Code Analysis
  ☆17Updated last year
• mandliya / ml
  A 60 days+ streak of daily learning of ML/DL/Maths concepts through projects
  ☆83Updated last year
• ashutosh1919 / neuro-symbolic-sudoku-solver
  ⚙️ Solving sudoku using Deep Reinforcement learning in combination with powerful symbolic representations.
  ☆73Updated 3 years ago
• terryyz / ice-score
  [EACL 2024] ICE-Score: Instructing Large Language Models to Evaluate Code
  ☆79Updated last year
• Aunsiels / pyformlang
  A python library to manipulate formal languages and various automata
  ☆55Updated 2 months ago
• thepurpleowl / codequeries-benchmark
  Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024
  ☆12Updated last year
• egraphs-good / egraph-visualizer
  Interactive visualizer for e-graphs
  ☆25Updated last week
• chanind / tensor-theorem-prover
  First-order logic theorem prover supporting unification with approximate vector similarity
  ☆13Updated 2 years ago
• atlanmod / coqtl
  CoqTL allows users to write model transformations and prove engine/transformation correctness in Coq
  ☆14Updated 3 years ago
• jordiae / neural-compilers
  ☆21Updated 3 years ago
• pombredanne / python-ast-visualizer
  Graphviz visualizations of Python ASTs
  ☆41Updated 10 years ago