stackdump

Petri-Net Maximalist

stackdump com LLCAustin, TX

Pinned Repositories

pflow-js
Petri-Net Metamodel Explorer - build and run Petri-net models in the browser.
Language:JavaScript10
factom-hackathon
Pet Registry index for factom blockchain - Team Zoo
Language:Python10
factom-sim
python wrapper to run factomd simulation and factom-walletd
Language:Python1 2 20
gopetri
go library for PetriNet Markup Language
Language:Go1 1 00
gopflow
read and write PetriNet schemata using pflow xml encoding
Language:Go1 1 00
rustpflow
pflow encoded petri-net state machines in Rust
Language:Python1 2 00

stackdump's Repositories

stackdump/factom-hackathon
Pet Registry index for factom blockchain - Team Zoo
Language:Python10
stackdump/factom-sim
python wrapper to run factomd simulation and factom-walletd
Language:Python1 2 20
stackdump/gopetri
go library for PetriNet Markup Language
Language:Go1 1 00
stackdump/gopflow
read and write PetriNet schemata using pflow xml encoding
Language:Go1 1 00
stackdump/rustpflow
pflow encoded petri-net state machines in Rust
Language:Python1 2 00
stackdump/vasm-cf
Vector Addition State Machine interpreter compatible with Counterfactual state channels
Language:Solidity1 0 0
stackdump/Facts-about-State-Machines
I hold the opinion that state machines (and Petri-nets) are underrated
stackdump/finite
POC using SEAL/FHE + Petri-nets + Merkle DAG rollup
Language:TypeScript
stackdump/ingpu
GPU-based interaction nets evaluator
stackdump/stackdump
Config files for my GitHub profile.
1 0
stackdump/state-machine-builder
An on-chain, permission-based state machine builder.
Language:JavaScript0 0