Statebox

icon indicating a website link http://statebox.org icon indicating an email [email protected]

Results 5 repositories owned by Statebox

awesome-applied-ct

461
Stars
24
Forks
Watchers

ACT community resources

verified publisher icon statebox

cql

161
Stars
15
Forks
Watchers

CQL: Categorical Query Language implementation in Haskell

verified publisher icon statebox

idris-ct

250
Stars
22
Forks
Watchers

formally verified category theory library

verified publisher icon statebox

fsm-oracle

58
Stars
7
Forks
Watchers

Finite state machines as graphs

verified publisher icon statebox

bcfwm

24
Stars
2
Forks
Watchers

Blockchain Technology for the Working Mathematician

verified publisher icon statebox