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 generic command line argument parser with support for POSIX-based shells and more.
Official CLI client for SerpApi — fast search scraping for humans and AI agents
A fast tool for measuring Github repository contributions.
A CLI tool for managing AI agent profiles across different platforms (Claude, Codex)
Agent-friendly CLI for Apollo.io APIs - Full coverage of 50+ API operations for enrichment, search, contacts, deals, sequences, and more
A fast CLI for e-mail and calendar
Microsoft 365 / Graph client and OAuth flows for the pidge CLI
Core types for the pidge CLI: accounts, configuration, normalized message model
A mdBook preprocessor that renders interactive timelines with HTML + CSS
A Rust library for parsing dialogue scripts.
Find Markdown files by metadata - Search by tags, frontmatter, and custom fields
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.