caleb531 / automata
A Python library for simulating finite automata, pushdown automata, and Turing machines
☆339Updated last month
Related projects: ⓘ
- A toolkit for SAT-based prototyping in Python☆385Updated 4 months ago
- A Python package for automata theory.☆53Updated 8 months ago
- pySMT: A library for SMT formulae manipulation and solving☆568Updated last month
- PySwip is a Python - SWI-Prolog bridge enabling to query SWI-Prolog in your Python programs. It features an (incomplete) SWI-Prolog forei…☆465Updated 3 weeks ago
- An automated theorem prover for first-order logic.☆234Updated 2 years ago
- A website that simulates various finite state machines: DFA, NFA, PDA.☆96Updated last year
- Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️☆245Updated 3 years ago
- Python bindings to picosat (a SAT solver)☆183Updated this week
- An extensible, lightweight relational/logic programming DSL written in pure Python☆173Updated last year
- Academic Python Library to manage DFA, NFA and AFW automata.☆22Updated 5 months ago
- Tree Proof Generator☆151Updated last month
- Sly Lex Yacc☆818Updated 3 months ago
- NeuroSAT: Learning a SAT Solver from Single-Bit Supervision☆264Updated 5 years ago
- Binary Decision Diagrams (BDDs) in pure Python and Cython wrappers of CUDD, Sylvan, and BuDDy☆178Updated 4 months ago
- A simple plagiarism detection tool for python code☆176Updated last year
- An improved version of JFLAP 7.0 to be used as a library as well as a command line tool.☆50Updated 6 years ago
- A minimalistic and high-performance SAT solver☆1,010Updated 4 months ago
- A place for automata☆68Updated 3 weeks ago
- A free, open-source Java library for automata learning algorithms☆200Updated 2 weeks ago
- Python Lex-Yacc☆2,758Updated 2 months ago
- manim cell magic for IPython/Jupyter to show the output video☆194Updated 2 years ago
- A tool for analyzing and transforming context-free grammars.☆205Updated 2 weeks ago
- 竜 TatSu generates Python parsers from grammars in a variation of EBNF☆404Updated 3 months ago
- https://cyberzhg.github.io/toolbox/ Encoding and parsing tools.☆940Updated 9 months ago
- Regular expression manipulation library☆326Updated 3 months ago
- Regular expression engine in Python using Thompson's algorithm.☆112Updated 4 years ago
- A python program to build nfa, dfa and minimised DFA from given regular expression. Uses Tkinter for GUI and GraphViz for graphs.☆118Updated 11 years ago
- Resolution theorem proving for predicate logic in pure Python.☆90Updated 10 months ago
- Program Synthesis Course☆242Updated 6 months ago
- fault-tolerant Python3 package for searching, navigating, and modifying LaTeX documents☆279Updated 5 months ago