gitlab.com topics: automata
synthetic/repr
The 'regular expressions as linear logic' interpretation and its implementation
Last synced at: 10 months ago - Stars: 0 - Forks: 0
archoninteractive/SwissArmyLib
Collection of helpful utilities we use in our projects.
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
aarcange/rv-ebpf
RV monitor automata models powered by eBPF tracing
Last synced at: 3 months ago - Stars: 0 - Forks: 0
richardanyalai/game-of-life
A simple implementation of Conway's Game of Life
Last synced at: about 2 years ago - Stars: 0 - Forks: 0
t-m/corewars
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)
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
Raalsky/finiteautomata
Several utils for working with finite automata
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
nozhana/compiler-982
Compiler subject project - Simple calculator using Python Lex & Yacc
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
xeptore/sdfa
Educational Purpose DFA State Machine Web-based (JavaScript) Implementation
Last synced at: about 1 month ago - Stars: 0 - Forks: 0
Choapinus/PDA
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"
Last synced at: over 2 years ago - Stars: 0 - Forks: 0
gmarciani/gmparser
Parser and grammar analyzer.
Last synced at: over 2 years ago - Stars: 1 - Forks: 0
