Rust bindings for the Listen Notes Podcast API
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 sophisticated real-time anomaly detection system for ADS-B aircraft data with multi-tier detection algorithms, real-time web dashboard, and production-grade architecture built in Rust
list/diff of AWS services by regions
CLI workflows for Fierros agentic RAG tooling
Provider-neutral core primitives for Fierros
Evaluation, reporting, and production-gate primitives for Fierros
Typed graph runtime primitives for Fierros
Fail-closed guardrail and runtime policy primitives for Fierros
RAG, retrieval, and connector primitives for Fierros
Stable extension contracts and compatibility harness for Fierros
HTTP service runtime for Fierros multi-user APIs and async job execution
No description provided.
No description provided.
No description provided.
No description provided.