Results for translation_handler

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

A lightweight, high-performance localization library for Rust. Loads TOML language files, supports runtime locale switching, configurable paths, and automatic fallback chains.

Support for async syntax for Actix

CLI for sandlock process sandbox

Lightweight process sandbox using Landlock, seccomp-bpf, and seccomp user notification

C ABI for sandlock process sandbox

MCP server for Obsidian vaults — direct filesystem access for AI agents

Rocket fairing for easy internationalization with gettext (also supports Actix web)

CPU support.

A Rust library for building a terminal-based UI with multiple elements, without hassle.

Yet another AOT compiler for Rust