Marker's lint driver for rustc
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.
Marker's CLI interface to automatically compile and run lint crates
Marker's API, designed for stability and usability
Type-safe GPU warp programming via linear typestate: compile-time prevention of shuffle-from-inactive-lane bugs
Adaptive zero-trust security gateway with real-time endpoint protection — SQL firewall, SSRF guard, malware detection, process monitoring, network analysis, rootkit detection
Make Rust builds understandable with health checks, timings, graph insights, and rebuild explanations
Rust MCP server for auditable sequential and tree-of-thoughts reasoning, aligned with ReasonKit skills.
Proc-macro derive for kurbu5-kdb-rs KDB driver plugins
Safe, idiomatic Rust API for writing MIT Kerberos KDB driver plugins
KDB plugin API re-export — thin wrapper over kurbu5-sys adding libkdb5 linkage
Zero overhead. Zero compromise. 100% Rust. The fastest, smallest AI assistant.