Complete Telegram Bot API framework for Rust, inspired by python-telegram-bot
Pure Telegram Bot API types and methods for Rust -- a faithful port of python-telegram-bot's core layer
Application framework for Telegram bots -- handlers, filters, persistence, job queue
Terminal UI for monitoring AI coding agents (Claude Code, Codex, Aider, Cursor, Gemini, Goose, ...) — like top, but for agents.
An elegant Telegram bots framework for Rust
An elegant Telegram bots framework for Rust
rillrate bindings for python
Offline CLI simulator for the Percolator risk engine
Formally verified risk engine for perpetual futures — fair exits (H) and O(1) overhang clearing (A/K)
Telegram bot for daily Bible reading
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.
Hanzo Brain — pure-CPU algorithm primitives consumed by the Hanzo Node. Cross-runtime byte-equivalent with @hanzo/bot-memory (TS), hanzo-memory (Python), bot-go (Go), and bot-cpp (C++).
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.