Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

crates.io "token-model" keyword

pflow-zk 0.3.0
ZK proof traits and incidence matrix extraction for Petri nets
2 versions - Latest release: 12 days ago - 50 downloads total - 1 stars on GitHub - 1 maintainer
pflow-core 0.3.0
Core Petri net types, fluent builder API, and state utilities
4 versions - Latest release: 12 days ago - 132 downloads total - 1 stars on GitHub - 1 maintainer
pflow-solver 0.3.0
ODE solvers for Petri net simulation using mass-action kinetics
4 versions - Latest release: 12 days ago - 72 downloads total - 1 stars on GitHub - 1 maintainer
pflow-macros 0.3.0
Proc macros for pflow token model DSL
4 versions - Latest release: 12 days ago - 66 downloads total - 1 stars on GitHub - 1 maintainer
pflow-zk-arkworks 0.3.0
Arkworks-based ZK prover for Petri nets (Groth16 + Poseidon over BN254)
2 versions - Latest release: 12 days ago - 31 downloads total - 1 stars on GitHub - 1 maintainer
pflow-tokenmodel 0.3.0
Token model schema, snapshot, and runtime execution
4 versions - Latest release: 12 days ago - 93 downloads total - 1 stars on GitHub - 1 maintainer
pflow-mcp 0.3.0
MCP server for Petri net simulation and analysis
1 version - Latest release: 12 days ago - 12 downloads total - 1 stars on GitHub - 1 maintainer
pflow 0.3.0
Petri net modeling with ODE simulation and token model DSL
4 versions - Latest release: 12 days ago - 48 downloads total - 1 stars on GitHub - 1 maintainer
pflow-dsl 0.3.0
S-expression DSL for defining token model schemas
4 versions - Latest release: 12 days ago - 79 downloads total - 1 stars on GitHub - 1 maintainer
pflow-zk-risc0 0.3.0
risc0 zkVM-based prover for Petri nets
2 versions - Latest release: 12 days ago - 31 downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
petri-net 10 dsl 10 ode-solver 10 proc-macro 10 rust 10 state-machine 10 zero-knowledge 3 simulation 2 zk-proof 1 runge-kutta 1 arkworks 1 groth16 1 schema 1 parser 1 s-expression 1 risc0 1 zkvm 1