caleb531 / automataLinks
A Python library for simulating finite automata, pushdown automata, and Turing machines
☆390Updated last month
Alternatives and similar repositories for automata
Users that are interested in automata are comparing it to the libraries listed below
Sorting:
- A toolkit for SAT-based prototyping in Python☆437Updated 2 weeks ago
- PySwip is a Python-Prolog interface that enables querying SWI-Prolog in your Python programs.☆529Updated 4 months ago
- A Python package for automata theory.☆57Updated last year
- An automated theorem prover for first-order logic.☆241Updated 3 years ago
- Constraint Solving Problem resolver for Python☆490Updated 3 months ago
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆269Updated 4 years ago
- A simple plagiarism detection tool for python code☆187Updated 2 years ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆413Updated 2 years ago
- Academic Python Library to manage DFA, NFA and AFW automata.☆24Updated last year
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆56Updated 7 years ago
- Python library that enables using prolog syntax and logic programming in python☆128Updated 2 years ago
- Resolution theorem proving for predicate logic in pure Python.☆96Updated last year
- pySMT: A library for SMT formulae manipulation and solving☆618Updated last month
- The main development version of the PRISM model checker.☆178Updated 2 weeks ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆206Updated 2 weeks ago
- Lambda Calculus things implemented on Python☆89Updated 6 years ago
- Turing machine simulator in HTML/Javascript☆85Updated last year
- ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.☆378Updated last month
- Regular expression manipulation library☆375Updated last month
- JavaScript library for working with automata and grammars for regular and context-free languages☆220Updated last year
- Tree Proof Generator☆173Updated 8 months ago
- A Modern Probabilistic Model Checker☆152Updated 3 weeks ago
- Python module to estimate big-O time complexity from execution time☆340Updated 2 years ago
- Modelling of multi-agent-system as Kripke structure and implementation of its knowledge-base with modal logic formulas.☆64Updated 8 years ago
- A Python library for creating and solving mazes.☆265Updated 7 months ago
- Pedagogical first-order prover in Python☆76Updated 4 months ago
- An Automata Learning Library Written in Python☆197Updated 2 weeks ago
- Domain Specific Language using Manim to create animations for data structures and algorithms☆52Updated 4 years ago
- An efficient implementation of tree data structure in pure python.☆854Updated 3 months ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆287Updated 6 years ago