rustio rustio.net
53

pr4xis

v0.28.0 Experimental

Axiomatic Intelligence — an ontology + category-theory reasoning engine: every claim derived from explicit axioms, with a proof path back to them

CC-BY-NC-SA-4.0 Edition 2024
AlgorithmsScienceMathematics #category-theory#ai#reasoning#ontology#neurosymbolic

Quick Verdict

  • Actively maintained (updated 3d ago)
  • !Pre-1.0: API may have breaking changes

Security

Checking security advisories...
Downloads
432
Dependents
19
Releases
17
Size
247KB

Deep Insights

📈
Strong growth momentum

250 downloads in the last 30 days (8/day), up 138% from the previous period.

Health Breakdown

Maintenance 19/25

Recency, release consistency, active ratio

Quality 13/25

Yanked ratio, deps, size, maturity, features

Community 10/20

Reverse deps, ownership, ecosystem

Popularity 3/15

Downloads, momentum, growth trend

Documentation 8/15

Docs, repo, license, metadata

Download Trend

Daily downloads · last 90 days
0/day avg
04/275/156/26/207/87/25

Top Dependents

Most downloaded crates that depend on pr4xis

Version Adoption

v0.25.5
25%
v0.27.0
20%
v0.25.4
19%
v0.25.1
18%
v0.26.0
18%

Release Timeline

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

Feature Flags

default =["std"]

std*codegen

README

Loading README...

Maintainers

Dependencies
8
direct dependencies
Dependents
19
crates depend on pr4xis

Similar Crates