Results for table_check_api

Rust bindings for the Listen Notes Podcast API

High-performance AI coding agent CLI - Rust port of Pi Agent

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

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

Binary that integrates XLS capabilities into a driver program

Google / Firebase API key analyzer and APK secret scanner — tests keys against 20+ endpoints and extracts hardcoded credentials from Android apps

A wrapper around openlibrary's Web API.

High-performance PostgreSQL to Meilisearch connector

Bidirectional spec-to-code validation with schema column checking — 11 languages, single binary

Rust shogi library inspired by the Python cshogi API.

Configuration-driven REST backend library for Rust with PostgreSQL — define schemas, tables, and APIs in JSON, get a production-grade REST service.