Search 10 packages
| Packages1–10 of 10 | Version | Findings | Description | Downloads | When |
|---|---|---|---|---|---|
| libpetri-event cargo | 11.0.0 | clean | Event system for libpetri Coloured Time Petri Net engine | 2.0K | 3d ago |
| libpetri-core cargo | 11.0.0 | clean | Core types for libpetri Coloured Time Petri Net engine | 2.0K | 3d ago |
| libpetri-export cargo | 11.0.0 | clean | DOT export pipeline for libpetri Coloured Time Petri Net engine | 1.8K | 3d ago |
| libpetri-docgen cargo | 11.0.0 | clean | Build-script helper for embedding Petri net diagrams in rustdoc (DOT + client-side viewer) | 1.5K | 2d ago |
| libpetri-runtime cargo | 11.0.0 | clean | Bitmap executor runtime for libpetri Coloured Time Petri Net engine | 1.1K | 1d ago |
| libpetri-verification cargo | 11.0.0 | clean | Formal verification for libpetri Coloured Time Petri Net engine | 1.1K | 1d ago |
| libpetri-debug cargo | 11.0.0 | clean | Debug protocol for libpetri Coloured Time Petri Net engine | 961 | 1d ago |
| libpetri cargo | 10.1.0 | clean | Coloured Time Petri Net engine with formal verification | 816 | 5d ago |
| bcinr-powl cargo | not built 26.10.11 did not build | POWL 2.0 model, compiler, concurrency guards, executable scheduler, and cryptographic execution evidence | 18K | 4h ago | |
| wasm4pm cargo | not built 26.10.11 did not build | High-performance process mining algorithms in WebAssembly for JavaScript/TypeScript | 566 | 3h ago |