Loreon
Labs
Platform
Search…
⌘K
Docs
Home
Ecosystems
C++
stamina
Stamina: STabilisation Monoids IN Automata theory
C++
Emerging
GitHub
Stars
—
Forks
—
Contributors
6
Last push
6mo ago
Recent commits
Latest commits.
fix missing import
98866c7
Patrick Totzke
6mo ago
final commit
53ec63a
Nathanael Fijalkow
79mo ago
getline changed to getfline for type of automaton
52896ec
deniskup
109mo ago
fixed accepting states in output
2e0817d
deniskup
109mo ago
compile python
f8f435f
Numero7
109mo ago
WebDemo
83d65cc
Numero7
109mo ago
Treating cost automata
e3a78b5
deniskup
109mo ago
readme completed with format for cost automata
c8a46c5
deniskup
109mo ago
Top contributors
Builders behind this project.
Numero7
229 commits
deniskup
115 commits
edon
50 commits
nathanael-fijalkow
28 commits
Gregwar
2 commits
pazz
1 commits