A command-line tool for automating OPC UA node interactions using a CSV action script
Report generation and visualization for FluxBench: JSON, CSV, HTML, and GitHub Actions output
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.
AI/Human task management system with file-based storage
Benchmarking framework with process isolation, bootstrap statistics, algebraic verification, and CI integration
FluxBench CLI: Supervisor process, benchmark filtering, output generation, and worker orchestration
Worker runtime for FluxBench: Bencher struct, high-precision timing (RDTSC), and memory allocation tracking
Zero-copy IPC protocol for FluxBench supervisor-worker communication
Algebraic verification engine for FluxBench performance assertions
Procedural macros for FluxBench: benchmark registration, verification rules, synthetic metrics, and report layout
Statistical analysis engine for FluxBench with bootstrap resampling and BCa intervals
A modern admin dashboard framework for Axum
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.