Releases

Low-latency CLOB

CLI tool for logicaffeine (largo)

Language Server Protocol implementation for LogicAffeine

LOGOS compilation pipeline - codegen and interpreter

Natural language to first-order logic pipeline

A procedural macro for partial borrowing

Platform IO and system services for LOGOS

Backward-chaining proof engine with Socratic hints

English vocabulary types and compile-time lexicon lookup for logicaffeine

Unified CLI for RuVector Format vector stores

WASM-safe data structures and CRDTs - NO IO

Pure Calculus of Constructions type theory - NO LEXICON

Pure structural atoms for logicaffeine - arena, tokens, spans

A key-value DB for converting structs into a DB of assorted json files

Tango benchmarking harness

Core shared models and query schemas for otell

Blazing-fast async HTTP load tester in Rust - lock-free design, real-time stats, distributed runs, and optional chart exports for high-load API testing.

Tiny Discord Rich Presence wrapper library for apps.

holochain specific wrapper around more generic p2p module

Holochain persisted state datatypes and functions

EventQL Lexer and Parser

Defines the Chain Head Coordinator (CHC) API for Holochain and provides an HTTP client implementation.

Holochain common types

Import tools for migrating data from JSON, CSV, and NumPy formats into RVF stores

Virtual machine and JIT compiler for eBPF programs

Solana ZK SDK

A fast, embeddable download engine for Rust. HTTP/HTTPS with multi-connection acceleration and full BitTorrent protocol support.

diagnostic error propagation

SPIFFE-based mutual TLS integration for rustls

Pure Rust interface to code signing on Apple platforms