Statebox

All

51 repositories

cql
Public
CQL: Categorical Query Language implementation in Haskell
haskell category-theory data-migration query-language aql
Haskell
•
GNU Affero General Public License v3.0
•15•164•39•5•Updated Apr 14, 2023Apr 14, 2023
AlexanderGrothenbot
Public
Alexander Grothenbot
JavaScript
•0•2•0•6•Updated Dec 11, 2022Dec 11, 2022
applied-cat
Public
Applied Category Theory Community app
JavaScript
•
GNU Affero General Public License v3.0
•1•9•1•11•Updated Dec 9, 2022Dec 9, 2022
cli-tool
Public
Statebox CLI tool
JavaScript
•
GNU Affero General Public License v3.0
•0•5•3•2•Updated Aug 12, 2021Aug 12, 2021
purescript-halogen-svg
Public
SVG support for purescript-halogen, including SVG animations
svg purescript svg-animations halogen
PureScript
•
BSD 3-Clause "New" or "Revised" License
•33•6•2•1•Updated Jul 21, 2021Jul 21, 2021
36c3-og-workshop
Public
Open Games workshop at 36c3
0•1•0•0•Updated Feb 22, 2021Feb 22, 2021
petrinet-rs
Public
basic Rust petrinet execution
Rust
•3•6•0•0•Updated Dec 17, 2020Dec 17, 2020
fsm-oracle
Public
Finite state machines as graphs
category-theory state-machines formally-verified
Idris
•
GNU Affero General Public License v3.0
•7•59•3•0•Updated Jun 23, 2020Jun 23, 2020
idris-ct
Public
formally verified category theory library
category-theory formal-verification formal-proofs
Idris
•
GNU Affero General Public License v3.0
•23•259•23•7•Updated Jun 23, 2020Jun 23, 2020
purescript-studio
Public
Statebox studio + core + API + REST client
editor api gui purescript petrinet protocol-oriented-programming statebox string-diagram
PureScript
•0•4•100•2•Updated Jun 12, 2020Jun 12, 2020
purescript-firestore
Public
A Purescript library to interact with Google Cloud Firestore
purescript firestore
PureScript
•
Other
•1•13•4•1•Updated Apr 28, 2020Apr 28, 2020
cql-vscode
Public
CQL extension for Visual Studio Code
visual-studio-code cql visual-studio-code-extension
1•2•0•1•Updated Apr 5, 2020Apr 5, 2020
purescript-profunctor-lenses
Public
Pure profunctor lenses
PureScript
•
MIT License
•52•0•0•0•Updated Apr 3, 2020Apr 3, 2020
idris-stbx-core
Public
Category theoretic semantics of glued open Petri nets in Idris
dependent-types core category-theory idris literate-programming petrinet statebox petrinets
Idris
•1•1•25•1•Updated Apr 1, 2020Apr 1, 2020
optparse-idris
Public
Minimal port of optparse-applicative to idris
Idris
•
BSD 3-Clause "New" or "Revised" License
•5•0•0•0•Updated Mar 31, 2020Mar 31, 2020
monmor-spec
Public
Exchange format for morphisms in Monoidal Categories
documentation
0•4•0•0•Updated Mar 3, 2020Mar 3, 2020
btc-xmr-swap-protocol
Public
Petrinets for the BTC <=> XMR swap protocol
JavaScript
•0•0•0•0•Updated Jan 4, 2020Jan 4, 2020
annotation-tool
Public
Paper commenting tool
pdf pdf-viewer annotation-tool
JavaScript
•
GNU Affero General Public License v3.0
•0•0•5•0•Updated Dec 18, 2019Dec 18, 2019
efgrant-paper
Public
Ethereum Foundation Grant report
research paper
TeX
•0•0•2•0•Updated Dec 2, 2019Dec 2, 2019
awesome-applied-ct
Public
ACT community resources
category-theory references curated-list applied-category-theory compositionality
MIT License
•25•465•0•0•Updated Nov 26, 2019Nov 26, 2019
fun-with-categories-talk
Public
slides for the `fun with categories` talk
JavaScript
•1•1•0•0•Updated Oct 17, 2019Oct 17, 2019
zksnark-notebooks
Public
iPython notebooks for zkSNARK experiments
zksnarks efgrant
Jupyter Notebook
•0•0•1•0•Updated Sep 21, 2019Sep 21, 2019
libsnark-circuit
Public
boolean-circuits zksnarks efgrant
C++
•0•1•0•1•Updated Sep 17, 2019Sep 17, 2019
solidity-zksnark-verifier
Public
An Ethereum smart contract that verifies TBCS (Two-Input Boolean Circuit Satisfiability) SNARKs
ethereum-contract verifier smart-contract zksnark efgrant
0•2•0•0•Updated Sep 16, 2019Sep 16, 2019
idris-bytes
Public
FFI-based byte buffers for Idris
Idris
•8•0•0•0•Updated Jul 6, 2019Jul 6, 2019
liveshare-vm
Public
google compute vm with nomachine desktop sharing
Shell
•0•0•0•0•Updated Jun 28, 2019Jun 28, 2019
py-stbx-packetcodec
Public
Statebox codec for python
python
Python
•
GNU Affero General Public License v3.0
•2•1•0•0•Updated Jun 9, 2019Jun 9, 2019
idris-ct-docs
Public
Published literate Idris documentation for statebox/idris-ct
documentation
0•2•0•0•Updated Apr 25, 2019Apr 25, 2019
idris-multibase
Public
Self-identifying base encodings in Idris
hashing text-encoding-schemes
Idris
•
GNU General Public License v3.0
•1•6•3•0•Updated Apr 15, 2019Apr 15, 2019
idris-multihash
Public
Multihash for Idris
hash-functions hash
Idris
•
GNU General Public License v3.0
•1•8•3•1•Updated Apr 1, 2019Apr 1, 2019