Docs.rs

HTTP engine for svipall's http tier, with optional browser-grade TLS/HTTP2 emulation

A scientific experiment into realistic provability with Rust - asymptotic test effectiveness framework

Local project tasks of LeanCTX | OSS: the Hive task model and state machine, kept per project on this machine.

PHP language knowledge for brokk-bifrost: declarations, namespace and use-alias resolution, composer autoload visibility, and usage-graph resolution

Affinidi Messaging SDK

C++ language knowledge for brokk-bifrost: declarations and macro-sentinel recovery, include-graph visibility, out-of-line member identity reconciliation, and usage-graph resolution

Reserved name for FLUI, a declarative UI framework for Rust. The real crate will be published from the repository.

WASM-first visualization and rapid application framework

Python language knowledge for brokk-bifrost: module identity, declarations, imports, and usage-graph resolution

Testing harness for Presentar applications

Open Context & Token Lifecycle Architecture — the provider-neutral contract boundary (capability traits, canonical types, token envelopes) shared between lean-ctx-core (OSS) and lean-ctx-enterprise (proprietary).

OxiLean kernel - The trusted computing base for type checking

A minimal Public Suffix List hostname validator.

Clarity.AppMcp: the MCP service of the programs Clarity generates, offering an app's commands to AI agents with the person's grant, alike on every stack

Apache Groovy grammar for tree-sitter (dekobon fork)