Releases

Branch collector and (forthcoming) backward slicer for r2SMT.

Ghidra/SLEIGH P-code lifter for r2SMT — emits IrStmt from radare2 `pdgsd` P-code text.

ESIL stack-machine lifter for r2SMT — emits IrStmt from radare2 ESIL strings.

Program model (functions, basic blocks, instructions) and the BinaryProvider port for r2SMT.

Foundation primitives, error types, and shared DTOs for the r2SMT workspace.

Developer productivity analytics — git commit collection, classification, and reporting

Deterministic, offline engine for validating and enforcing engineering decisions

ASiC-E container format (ETSI EN 319 162-1) with the BDOC profile

Convert images to ASCII art (CLI + library).

Zero-dependency, no_std compatible ASCII DAG renderer. Visualize error chains, dependency trees, and graphs in the terminal.

Zero-dependency, no_std compatible ASCII DAG renderer. Visualize error chains, dependency trees, and graphs in the terminal.

Amplitude analysis tools for Rust

Flexible concrete Error Reporting type built on std::error::Error with customizable Reports

Real-time ASCII camera for the terminal

Event-sourced actor runtime with durable journaling

Library for .ass file parsing.

A simple artnet reciever based on the artnet_protocol crate

Amplitude analysis tools for Rust

Amplitude analysis tools for Rust

Rust client for the Artifact Keeper REST API

Amplitude analysis tools for Rust

Amplitude analysis tools for Rust

Amplitude analysis tools for Rust

Installer for Odoo — independent CLI installer (not affiliated with Odoo S.A.)

Headless backend for arael-sketch: commands, actions, history, MCP server

Amplitude analysis tools for Rust

Shared types, errors, and utilities used across the arknet workspace.

ARG detection and genus-level classification using flanking sequence analysis

Forensic anomaly auditor for archives — extension-vs-content masquerade, CRC/declared-size lies, path-traversal member names, decompression-bomb signatures — over archive-core.

faer extensions: variable-block sparse matrix storage (block CSC), Schur-complement reduction, and a nested-dissection ordering