Packages

AssociativePositionalList is a list-like container in which each value is associated with an index, but unlike other list containers, the index for a value can be determined efficiently.

Collection of various utilities for Debian work

Assuan protocol primitives in Rust

Borrowed asynchronous Assuan client transactions

Asynchronous Assuan clients, servers, transports and validated protocol literals

Compile-time validated Assuan commands and canonical S-expression literals

Runtime-independent Assuan protocol primitives and protected buffers

Typed asynchronous Assuan server sessions, handlers and inquiries

Bounded canonical S-expression parsing and encoding with borrowed atoms

Extensible asynchronous streams and TCP transport for Assuan

Macro for stating unsafe assumptions in Rust.

A command line tool to use a temporary AWS credentials.

Common schema for assume-rolers and its plugins.

Language server and CLI checker for enforcing documented assumptions across a codebase

Contract-first AI-native language. Write what it should do. AI proves it does.

Assura AST types (Spanned, Expr, Decl, etc.) - the compiler IR

Rust code generation from type-checked Assura contracts

Project configuration and output mode types for the Assura compiler

Unified diagnostic types for the Assura compiler

Source code formatter for the Assura contract language

LLM provider abstraction and contract analysis for Assura

LSP server for the Assura contract language

Proc macros for inline Assura contract annotations in Rust

MCP (Model Context Protocol) server for Assura AI agent integration

Lexer, parser, and AST for the Assura contract language

Shared compiler pipeline for the Assura language

Name resolution and symbol table for the Assura contract language

Runtime contract monitoring for Assura-generated Rust code

Parse inline contract annotations from Rust doc comments

SMT-based verification for Assura contracts via Z3

Assura standard library contracts and prelude types

Type checking for the Assura contract language

High-assurance system validation and runtime integrity attestation. Acts as the formal supervisor for the Honest-Classified ecosystem, enforcing security invariants and environmental state-verification.

Typed deployability and certification surface crate with bounded readiness profiles; not an orchestration runtime

Assure: macros for Rust runtime checks and error handling

A simple key-value database stored in one file

Fast, AST-based code-navigation: shape, public API, deps & call graphs, hybrid semantic search, structural rewrite, and log squeezing. MCP server included.

Typed AST construction with visitor pattern and tree traversal for compiler infrastructure

Parses mangled names and produces structured results.

A language to describe your language's AST

CLI for generating optimized llms.txt documentation from codebases

Core library for ast-doc: four-stage pipeline for generating optimized llms.txt documentation

Line-precise editing over tree-sitter: ids that survive an edit, so a file is changed without being reread.

Search and Rewrite code at large scale using precise AST pattern

Search and Rewrite code at large scale using precise AST pattern

Search and Rewrite code at large scale using precise AST pattern

Load tree-sitter dynamic library for ast-grep

Search and Rewrite code at large scale using precise AST pattern

ast-grep-language 0.45.3 built against tree-sitter-bash-dcg (the patched Bash grammar destructive_command_guard needs); otherwise unchanged

Search and Rewrite code at large scale using precise AST pattern