alloyiser
v0.1.0crates.io· RustExtract formal models from OpenAPI specs and database schemas, check invariants with Alloy
The verdict
Maintained. Niche but maintained, actively maintained.
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceHealthy
PopularityNiche
SecurityClean
LicenseOther
DepsZero deps
Maintenance
Last published 2 months ago.
Popularity
1 downloads / week
Security
No known advisories for this version (OSV).
License
non-standard
Dependencies
No runtime dependencies
Recent releases
- 0.1.02 months ago