Results for seven_api

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.

Pure-Rust AV1 codec — orphan-rebuild scaffold pending clean-room re-implementation.

Rust bindings for the Listen Notes Podcast API

Official API client for the seven.io SMS Gateway.

A configurable Poker card game engine and REST API server written in Rust with multiple variant support (Texas Hold'em, Omaha, Five-Card Draw, Seven-Card Stud, Omaha Hi-Lo)

Pure-Rust, dependency-free unpacker for DMS (Disk Masher System) Amiga disk archives into raw ADF disk images.

Placeholder-image hash family — compact placeholder fingerprints for thumbnail and preview workflows. DCT / CIRCLE / TRIANGLE / SQUARE / RECT / ROTATED_RECT / PIXEL modes share a unified Codec API.

Git-aware tree-sitter-based code-graph builder. Emits Mermaid diagrams at five zoom levels, materializes per-commit bundles into a content-addressed cache, and computes coloured structural diffs between any two refs. Single binary `a2m` with ten subcommands.

sankhya — Ancient mathematical systems, historical calendars, and archaeoastronomy: 10+ calendar systems, 8 civilizations of mathematics, cross-civilizational epoch correlation

Fast, cross-platform Claude Code statusline in Rust

Access the current process of your Tauri application.

Anthropic Messages API provider for the llm-cmd toolkit