Releases

Blockchain Auditor Toolkit (BAT)

A minimal x87 80-bit floating-point type

Offline PackageURL validator using a prebuilt FST of known packages.

Co-edit documents over the Macula mesh: the transport, identity, grants and realm membership for the macula-craft-seam collaboration seam.

Optimized Solana validator tool with snapshot prefetching, RPC caching, and Prometheus metrics.

Keyboard-driven terminal UI for PRs, work items, and CI across six forges

Local dashboard server and embedded web UI for forgetop. Internal crate: no API stability guarantees, use the `forgetop` binary instead.

Ratatui terminal interface for forgetop. Internal crate: no API stability guarantees, use the `forgetop` binary instead.

GitHub, GitLab, Azure DevOps, Bitbucket, Linear, and Jira clients for forgetop. Internal crate: no API stability guarantees, use the `forgetop` binary instead.

Domain model, configuration, and keychain-backed token storage for forgetop. Internal crate: no API stability guarantees, use the `forgetop` binary instead.

Kubernetes Custom Resource Bindings

Verified downloader and dynamic loader for Alef native components

Linear-time, ReDoS-safe regular expressions with bounded lookarounds — Rust bindings to the REAL C++ engine.

CLI for Synth, the WebAssembly-to-ARM Cortex-M AOT compiler

ARM encoder, ELF builder, vector table, linker scripts, and MPU configuration

Turns EnergyML representations into points, indices and a coordinate reference system.

Kubernetes Custom Resource Bindings

High-performance circRNA detection and isoform reconstruction toolkit

ArcCow is a Rust smart pointer that combines the best features of Cow (clone-on-write) and Arc (atomic reference counting) to provide efficient, flexible data handling.

Safe, idiomatic Rust bindings for libpcapng — pcapng file I/O and packet dissection

SMT translation validation for the Synth compiler (ordeal QF_BV engine; optional Z3 differential oracle)

Stable C ABI primitives for Alef native components

RISC-V encoder, ELF builder, PMP allocator, and bare-metal startup for synth

Wasker backend integration for the Synth compiler

aWsm backend integration for the Synth compiler

WASM-to-ARM instruction selection and peephole optimizer

AArch64 (A64) host-native backend for synth — integer subset (milestone 1, #538)

Raw FFI bindings to libpcapng, a pcapng file I/O and dissection library

Rust port of beamcon from RACS-tools: smooth FITS images and cubes to a common beam via UV-plane (FFT) convolution

WASM/WAT parser and module decoder frontend for the Synth compiler