alloyiser

crates.io

Extract formal models from OpenAPI specs and database schemas, check invariants with Alloy

Versions collected1

Direct dependencies8From release 0.1.0

Last observed21 Oct, 10:10 UTC

Downloads & popularity

27downloads

Cumulative counter · observed snapshots21 Oct 2026

2726.525.9

21 Oct21 Oct

crates · 1 observations shown. Missing days are unknown. Counter changes are not daily download totals.

View observed values

Date / source period	Value	Observed at
2026-10-21	27	2026-10-21T10:10:41.7633541Z

Collected releases

Version	Published	Direct dependencies	Open version
0.1.0Registry latest	21 Mar 2026	8

No matching advisories collected

This describes our collected data; it is not a security assessment.

PENDING

Shared repository data · GitHub

Meaningful changes

Current collected state Current

Observed since 21 Oct, 10:10 UTC

No superseded metadata states collected. Unchanged observations do not create new revisions.

package:f45aa9d54ce215ceb8cde8dddda76b95c766aca2010d7b6895cdbae8f3496c5c