Releases

High-performance geospatial analysis CLI

Geospatial algorithms for SurtGis: terrain, hydrology, imagery, interpolation

Parallel processing strategies for SurtGis

Color mapping and raster visualization for SurtGis

Multi-Rail Verification Bus (MRVB) with post-quantum cryptography support

Core types and traits for SurtGis geospatial library

Core proto APIs.

Rust CLI framework with noun-verb patterns, graph operations, and capability packing

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.

Procedural macros for clap-noun-verb - attribute macros for zero-boilerplate CLI command registration

Portable MSRT protocol implementation.

Multi-tenant configuration management for UVB platform

Tiny macOS menu bar utility to keep your Mac awake — Rust wrapper around `caffeinate`.

A versatile and extensible logging implementation.

Fast, dependency-free text embeddings (BAAI/bge-small-en-v1.5) in pure C

Opemtelemetry appender for Logforth.

Syslog appender for Logforth.

Local semantic index CLI for LLM token optimization

Journald appender for Logforth.

Fastrace appender for Logforth.

File appender for Logforth with optional rollover strategy.

Asynchronous appender for Logforth.

A Rust-based terminal coding agent with modular architecture supporting multiple LLM providers

AXON compiler frontend — lexer, parser, AST, epistemic type system, type checker, IR generator. Zero runtime dependencies. v1.3.0 lowers requires_capabilities into IRAxonEndpoint (the PCC capability-containment property, §Fase 51.x.1). v1.2.0 added PRIMITIVE_REGISTRY — closed catalogue of every named language construct (45 entries) with PrimitiveInfo / DocStatus / CoverageSummary types + helpers. v1.1.0 introduced session-types + multiparty projection. See https://github.com/Bemarking/axon-lang.

Task-local diagnostic for Logforth.

Fastrace diagnostic for Logforth.

Bridge Logforth with the log crate.

Role-based access control enforcement for UVB platform operations

eBPF-based observability for AI agent sessions, prompts, process trees, files, network activity, and token usage.

Logfmt layout for Logforth.