Releases

Pure Calculus of Constructions type theory - NO LEXICON

Local, SQLite-backed runtime backend stores for embedded in-process Everruns hosts

Tier-0 foundation for logicaffeine: arena, interner, spans, the exact numeric/quantity/money/time/UUID value-type tower, and the shared MD5/SHA-1 hash oracle

In-process Rust runtime for building local agentic systems — coding agents, personal agents, and more — by embedding Everruns agent harnesses

Generate various version options as github action outputs

Shikumi (仕組み) — config discovery, hot-reload, and ArcSwap store for Nix-managed desktop apps

Shakrs plugin contracts: AdapterRequirement, Adapter, Policy, and adapter lowering output.

Docker container integration for Everruns agents

Manage an Active Directory machine-account Kerberos ticket (keytab renew/mint) and verify the AD join, on Linux, via the system MIT krb5 tools

Sprites cloud sandbox integration for Everruns agents

Command line tool for deploying NextJS app on the smbCloud platform.

Pure-Rust xacro processor: expand ROS xacro to URDF with no ROS or Python installation

Extension utilities for Leptos

Command line tool for deploying NextJS app on the smbCloud platform.

Run any OCI/Docker image as a hardware-isolated microVM on macOS HVF (Linux KVM and Windows WHP in progress). Single library API, zero flags for the common case, sub-100 ms cold-restore from snapshot.

FileEngine for Cargo.toml. Writes [lints.<tool>] tables via toml_edit.

FileEngine for deny.toml. Writes cargo-deny settings via toml_edit.

FileEngine for clippy.toml. Writes msrv, thresholds, and disallowed-methods via toml_edit.

Rust client SDK for invoking commands on Alien deployments

FileEngine for rust-toolchain.toml. Writes Rust toolchain settings via toml_edit.

FileEngine for rustfmt.toml. Writes Rustfmt scalar and list settings via toml_edit.

Command-line interface to the stemma DOCX engine: compare two files into a tracked-changes redline, extract text/JSON, resolve tracked changes, and validate — a zero-integration path to the core verbs for non-Rust adopters.

Command line downloader via Internet Download Manager (IDM) on Windows

Alien SDK for Rust — cloud-agnostic bindings for storage, KV, queues, vault, and more

Alien Commands protocol implementation

Typed-IR DOCX compiler with tracked-change semantics: DOCX -> CanonDoc -> DOCX, with diff/merge, redline, and a post-serialization OOXML validator.

Auto-generated Rust SDK for the Alien Platform API

Alien platform runtime bindings

Deploy software into your customers' cloud accounts and keep it fully managed

First-party RabbitMQ AMQP 0-9-1 adapter for Nidus built on Lapin.