Embed markdown/text files into Rust documentation attributes for LSP hover/preview
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
Embed markdown/text files as documentation
Token-level lossless formatter for AXON source. Round-trips comments and layout verbatim via the Fase 14 trivia channel from `axon-frontend`; canonicalises only trailing whitespace per line and the final newline. Mirrors the behaviour of `axon fmt` in axon-lang so the language CLI and the LSP format-on-save produce byte-identical output.
Language Server Protocol server for the Axon programming language. Deterministic diagnostics, hover, completion, and go-to-definition across VSCode, Claude Code, Cursor, Antigravity, Zed, Neovim and any LSP-compatible editor.
Pure logic library for axon-lsp: document store, diagnostics, hover, completion, and definition resolution. Adopter-agnostic; no I/O, no stdio, no network.
Static structured documentation for the Axon language, embedded at compile time. Consumed by axon-lsp's hover and completion resolvers.
Opt-in LLM advisor for axon-lsp, gated behind the `llm` Cargo feature. Never on the critical path: deterministic capabilities (diagnostics, hover, completion) work without this crate.
Parser, encoder, and typed document model for SIE 4B bookkeeping files
LSP-focused clients, overlays, and virtual documents for typescript-go
A cross-platform Rust CLI and library for driving interactive terminal applications through PTYs