PkgFoundry
Catalog crates.io
PACKAGE EXPLORERView in registry

affine-cat

crates.io

Category theory native to Rust's affine, monoidal reality: lawful duplication, graded functors, box-free applicatives, Moore-machine wiring, mutation-as-lens, and law-first recursion schemes (derive + Agda-mechanized driver disciplines).

affinecategory-theorydata-structuresno-stdrecursion-schemesrust-patternsstate-machinezero-cost
Versions collected1
Direct dependencies0From release 0.3.0
Last observed20 Oct, 17:56 UTC

Downloads & popularity

76downloads
Cumulative counter · observed snapshots20 Oct 2026
7674.573
2026-10-20: 76 · observed 2026-10-20T17:56:35.2495109Z
20 Oct20 Oct

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

View observed values
Date / source periodValueObserved at
2026-10-20762026-10-20T17:56:35.2495109Z

Versions 1

Collected releases
VersionPublishedDirect dependenciesOpen version
0.3.0Registry latest29 Jul 20260
Sorted by available source dates · UTC

Package advisories

0
No matching advisories collected

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

Repository

PENDING
lambda-logan/affine_cat

Shared repository data · GitHub

License detected in repository
Not collected

Metadata history

Meaningful changes
Current collected state Current

Observed since 20 Oct, 17:56 UTC

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

Record identity

package:574cc2ee6e99b80986d007e32cfd012640aca1891971418157736e587d5f2721