A

automata

The 'regular expresions as linear logic' interpretation and its implementation

Compiler subject project - Simple calculator using Python Lex & Yacc

RV monitor automata models powered by eBPF tracing

A simple implementation of Conway's Game of Life

Corewars - a simulation game where a number of programs try to crash each other. It features graphical user interface (GTK+) to display the running programs and statistics. Redcode is supported. (Fork of version 0.9.13)

Several utils for working with finite automata

Collection of helpful utilities we use in our projects.

Educational Purpose DFA State Machine Web-based (JavaScript) Implementation

A Python package to infer Hybrid Automata from data

Push Down Automate básico desarrollado en python, el cual reconoce solo 3 tipos de lenguajes especificados en el readme y dentro del modulo "automata.py"

Parser and grammar analyzer.