Python Finite-State Toolkit
Python
68
183 commits
updated Aug 1, 2026
mhulden.github.io/pyfoma
105 commits
60 commits
15 commits
2 commits
pysathq/pysat
A toolkit for SAT-based prototyping in Python
461
getz3/polystate
Build type-safe finite state machines with higher-order states.
234
statebox/fsm-oracle
Finite state machines as graphs
60
frenetic-lang/frenetic
The Frenetic Programming Language and Runtime System
229
Lao6tu/TSFMs-Benchmark
TSFMs-Benchmark
0
richard-lyman/amotoen
PEG library for the Go language
pybop-team/PyBOP
A parameterisation and optimisation package for battery models.
214
hbnnnnnnn/fuzzy-engine
94.6%
Cython
5.2%
