Results for perfect_audit

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.

A highly parallel Perl 5 interpreter written in Rust

Rust bindings for the Listen Notes Podcast API

Command-line interface for Cyberpath Sentinel DBMS.

Cryptographic utilities for Cyberpath Sentinel, including hashing and signing.

Cyberpath Sentinel is a filesystem-backed document DBMS written in Rust.

Write-Ahead Logging (WAL) implementation for Cyberpath Sentinel

atlas-bucket-map

Semantic diffing for Rust structs via serde

Requirement language and Kleene evaluator for OpenVet audit policies.

A tool to parse terraform and generate a resource dependency graph

Lightweight, fast and secure chat application powered by WHY2 encryption.