lorisdanto/automatark
Benchmark problems for different models of automata, transducers, and related logics
ReasonMIT
Stargazers
- act65New Zealand
- AgnishomKolkata
- andrewheadUniversity of Pennsylvania
- bigwaterHKUST (Guangzhou)
- cdstanfordDavis, California, USA
- celsopitta
- chessai
- dariusopen to contracts, not perm
- FedericoAurelianoUniversity of California, Berkeley
- five23Atlanta
- graydonVancouver, BC
- JaxanOpen Universiteit
- KiarahmaniDurable AI
- kopporself-employed
- LemonPG
- lotzkKiel University
- man-zhangBeihang University
- marcofavorito@bancaditalia
- MateusAraujoBorgesBerlin, DE
- MHMB
- mrseongminkim
- mtrberziUniversity of Waterloo
- Murplugg
- rongpan
- saulshanabrookGreenfield, MA
- SimpleXiaohuISCAS
- tkersey@thisisartium
- yetingliIIE CAS