rustio rustio.net
42

pr4xis

v0.6.0 Experimental

Prove your domain is correct — ontology-driven rule enforcement with category theory, logical composition, and runtime state machines

CC-BY-NC-SA-4.0 Edition 2024
#category-theory#state-machine#formal-methods#ontology#enforcement

Quick Verdict

  • Actively maintained (updated 43d ago)
  • !Pre-1.0: API may have breaking changes
  • Tiny footprint (88KB, 3 deps)

Security

Checking security advisories...
Downloads
93
Dependents
11
Releases
3
Size
88KB

Deep Insights

📊
Stable downloads

42 downloads in the last 30 days (1/day). Volume is roughly flat compared to the previous period.

🪶
Minimal dependencies

Only 3 direct dependencies. Lean dependency tree means faster builds and lower supply chain risk.

🌟
Used by top crates

Notable dependents include pr4xis-domains, pr4xis-chat, pr4xis-cli. When high-quality crates choose pr4xis, it's a strong quality signal.

Health Breakdown

Maintenance 11/25

Recency, release consistency, active ratio

Quality 15/25

Yanked ratio, deps, size, maturity, features

Community 6/20

Reverse deps, ownership, ecosystem

Popularity 2/15

Downloads, momentum, growth trend

Documentation 8/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
0/day avg
02/263/164/34/215/95/26

Top Dependents

Version Adoption

v0.6.0
69%
v0.5.0
22%
v0.3.0
10%

Release Timeline

3 releasessince 2026
J
F
M
A
M
J
J
A
S
O
N
D
2026
3
Less
More

Feature Flags

codegen

README

Loading README...

Maintainers

Dependencies
3
direct dependencies
Dependents
11
crates depend on pr4xis

Similar Crates