Statebox
Results
5
repositories owned by
Statebox
awesome-applied-ct
461
Stars
24
Forks
Watchers
ACT community resources
cql
161
Stars
15
Forks
Watchers
CQL: Categorical Query Language implementation in Haskell
idris-ct
250
Stars
22
Forks
Watchers
formally verified category theory library
fsm-oracle
58
Stars
7
Forks
Watchers
Finite state machines as graphs