Statebox's repositories
awesome-applied-ct
ACT community resources
fsm-oracle
Finite state machines as graphs
purescript-firestore
A Purescript library to interact with Google Cloud Firestore
idris-multihash
Multihash for Idris
applied-cat
Applied Category Theory Community app
idris-multibase
Self-identifying base encodings in Idris
purescript-halogen-svg
SVG support for purescript-halogen, including SVG animations
monmor-spec
Exchange format for morphisms in Monoidal Categories
petrinet-rs
basic Rust petrinet execution
purescript-studio
Statebox studio + core + API + REST client
cql-vscode
CQL extension for Visual Studio Code
idris-ct-docs
Published literate Idris documentation for statebox/idris-ct
solidity-zksnark-verifier
An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs
36c3-og-workshop
Open Games workshop at 36c3
AlexanderGrothenbot
Alexander Grothenbot
fun-with-categories-talk
slides for the `fun with categories` talk
idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
py-stbx-packetcodec
Statebox codec for python
annotation-tool
Paper commenting tool
btc-xmr-swap-protocol
Petrinets for the BTC <=> XMR swap protocol
efgrant-paper
Ethereum Foundation Grant report
idris-bytes
FFI-based byte buffers for Idris
liveshare-vm
google compute vm with nomachine desktop sharing
optparse-idris
Minimal port of optparse-applicative to idris
purescript-profunctor-lenses
Pure profunctor lenses
zksnark-notebooks
iPython notebooks for zkSNARK experiments