Results for annotation_security

Found in 4 of 7 ecosystems · 602 matches across other registries

How we search: free-text on npm, crates.io, RubyGems, NuGet and Maven. PyPI and Go do exact-name lookup only. Tip: click an ecosystem chip below to filter; click Show all ecosystems to come back.

Sort

Auto-load on scroll

crates.io matches

Showing 12 of 504 · Rust

See all crates.io →

actix-security-codegenv0.2.3

crates.io

Procedural macros for actix-security (Spring Security-like annotations)

Maintained. Niche but maintained, actively maintained.

axon-langv2.7.0

crates.io

AXON — the formal cognitive language: a deterministic, proof-carrying AI runtime. Native Rust lexer/parser/type-checker/IR generator (re-exported from axon-frontend) plus the runtime: typed channels (π-calculus mobility, capability extrusion), algebraic effects via Free Monad CPS handlers, lease kernel + reconcile loop, the Epistemic Security Kernel, Trust Types, Proof-Carrying Code (independently verifiable proof objects), and the closed-catalog extension mechanism. Crate publishes as `axon-lang`; library import is `use axon::*` so existing call sites keep working unchanged.

Maintained. Niche but maintained, actively maintained.

ziftv0.2.3

crates.io

Scan codebases for embedded authorization logic and generate Policy as Code (Rego for OPA, Cedar for AWS Verified Permissions and other Cedar-compatible engines)

Maintained. Niche but maintained, actively maintained.

xidl-api-discordv0.77.0

A IDL codegen.