Core no_std library for FIRM Client in Rust
Official FIRM Client library in Rust
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.
Python bindings for laddu
Amplitude analysis made short and sweet
Python bindings for laddu
Application launch glue that wires Fret app, platform, runner, and renderer stacks.
MCP server for getting markets data into AI assistants — 21 tools covering equities, options, futures curves, prediction markets, central banks, and more.
High-quality integration for https://supermaker.ai/blog/how-to-make-the-viral-choose-your-bed-videos-with-ai/
A CLI for interacting with Obsidian vaults
A library for interacting with Obsidian vaults
An LSP server for interacting with Obsidian vaults