Statebox

Pinned Repositories

applied-cat
Applied Category Theory Community app
Language:JavaScript9 3 11
awesome-applied-ct
ACT community resources
469 52 125
bcfwm
Blockchain Technology for the Working Mathematician
Language:TeX24 3 02
cql
CQL: Categorical Query Language implementation in Haskell
Language:Haskell178 25 8715
dstbx
dependently typed Statebox (heavy WIP)
Language:Idris9 2 00
fsm-oracle
Finite state machines as graphs
Language:Idris60 9 97
idris-ct
formally verified category theory library
Language:Idris264 19 4423
idris-multibase
Self-identifying base encodings in Idris
Language:Idris6 4 51
idris-multihash
Multihash for Idris
Language:Idris9 5 121
purescript-firestore
A Purescript library to interact with Google Cloud Firestore
Language:PureScript13 2 241

Statebox's Repositories

statebox/awesome-applied-ct
ACT community resources
469 52 125
statebox/idris-ct
formally verified category theory library
Language:Idris264 19 4423
statebox/cql
CQL: Categorical Query Language implementation in Haskell
Language:Haskell178 25 8715
statebox/fsm-oracle
Finite state machines as graphs
Language:Idris60 9 97
statebox/purescript-firestore
A Purescript library to interact with Google Cloud Firestore
Language:PureScript13 2 241
statebox/applied-cat
Applied Category Theory Community app
Language:JavaScript9 3 11
statebox/idris-multihash
Multihash for Idris
Language:Idris9 5 121
statebox/idris-multibase
Self-identifying base encodings in Idris
Language:Idris6 4 51
statebox/petrinet-rs
basic Rust petrinet execution
Language:Rust6 5 03
statebox/purescript-halogen-svg
SVG support for purescript-halogen, including SVG animations
Language:PureScript6 2 22
statebox/cli-tool
Statebox CLI tool
Language:JavaScript5 3 4
statebox/purescript-studio
Statebox studio + core + API + REST client
Language:PureScript5 6 225
statebox/monmor-spec
Exchange format for morphisms in Monoidal Categories
4 6 0
statebox/AlexanderGrothenbot
Alexander Grothenbot
Language:JavaScript2 3 0
statebox/cql-vscode
CQL extension for Visual Studio Code
2 5 11
statebox/idris-ct-docs
Published literate Idris documentation for statebox/idris-ct
2 4 0
statebox/idris-stbx-core
Category theoretic semantics of glued open Petri nets in Idris
Language:Idris2 8 481
statebox/solidity-zksnark-verifier
An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs
2 5 0
statebox/36c3-og-workshop
Open Games workshop at 36c3
1 4 0
statebox/fun-with-categories-talk
slides for the `fun with categories` talk
Language:JavaScript1 1 0
statebox/libsnark-circuit
Language:C++1 4 3
statebox/py-stbx-packetcodec
Statebox codec for python
Language:Python1 3 02
statebox/annotation-tool
Paper commenting tool
Language:JavaScript6 15
statebox/btc-xmr-swap-protocol
Petrinets for the BTC <=> XMR swap protocol
Language:JavaScript2 0
statebox/efgrant-paper
Ethereum Foundation Grant report
Language:TeX5 2
statebox/idris-bytes
FFI-based byte buffers for Idris
Language:Idris1 01
statebox/liveshare-vm
google compute vm with nomachine desktop sharing
Language:Shell10 0
statebox/optparse-idris
Minimal port of optparse-applicative to idris
Language:Idris1 0
statebox/purescript-profunctor-lenses
Pure profunctor lenses
Language:PureScript1 0
statebox/zksnark-notebooks
iPython notebooks for zkSNARK experiments
Language:Jupyter Notebook4 3