Giters
acorrenson
/
automatik
A library of formalized automaton algorithms
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
2
Issues:
0
Forks:
1
acorrenson/automatik Stargazers
Arthur Correnson
acorrenson
Alun Cennyth Stokes
AlunStokes
Chris Pressey
cpressey
François Schwarzentruber
francoisschwarzentruber
Jorge Gomez
jgarte
Shengyi Jiang
jiangsy
ypcpy
Kensuke-Hinata
Nikita
nikitavoloboev
Ben Siraphob
siraben