Results for open_terms

Interactive find and replace in the terminal

A rust library for modeling credit facilities with time-aware calculations

FTS5 full-text search extension

Unified TUI search over local coding agent histories

PDK JSON Validator Library

PDK Unit Test Framework

PDK Unit Test Macros

rust binary project that consolidate many of my Zed Tasks JC is using

Rust bindings for the Listen Notes Podcast API

This is the SDK for Rust. Like all BlockChyp SDKs, it provides a full client for the BlockChyp gateway and BlockChyp payment terminals.

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.

The autonomous, self-improving AI agent. Single Rust binary. Every channel. Install with: cargo install opencrabs