Finite state machines as graphs
Idris
60
13 commits
updated Jun 23, 2020
6 commits
2 commits
getz3/polystate
Build type-safe finite state machines with higher-order states.
234
mhulden/pyfoma
Python Finite-State Toolkit
68
stormchecker/storm
A Modern Probabilistic Model Checker
172
Lao6tu/TSFMs-Benchmark
TSFMs-Benchmark
0
foreverbell/verified
Coq formalizations and proofs of (data) structures and algorithms.
48
jonsterling/math
A mini-book on category theory. Superseded by https://github.com/jonsterling/forest
55
ghostdogpr/purelogic
Direct-style pure domain logic for Scala
58
awodey/CatLogNotes
Categorical Logic Notes
81
100.0%
