Geeks
VeriFIT
/
mata
A fast and simple automata library
Primary Language
Stata
MIT License
MIT
mata GitHub
Markdown
Readme
159
Issues
19
Stargazers
3
Watchers
Stargazers
chihduo
colincwilson
Johns Hopkins University
cxlvinchau
TU Dresden
DocSkellington
F.R.S.-FNRS, University of Mons, University of Antwerp
jurajsic
kocotom
Mayflyyh
moratorium08
Tokyo
ondrik
pierreganty
@imdea-software
suimong
tfiedor
VeriFIT Research Group
VictorYYW
West Lafayette
VincenzoNucci