Docs.rs

Portable assembler toolkit for encoding x86/x64, AArch64, and RISC-V

Patient-aligned tri-planar view geometry for OpenBNCT

macros for concise Result and Option handling with caller-level control flow

Test Rust code without test-only traits or changes to production code.

Typed mock generation for shimforge

Background task processing for rust using apalis and sqlite

Guest runtime orchestrator — 'hospedeiro' = 'host' in Portuguese. Polymorphic supervisor dispatching GuestSpec → HVF/VZ/WASM backends. Phase H.6.

Aristo CLI binary (the `aristo` command).

Headless authenticated gateway for möbius frontends

Aristo SDK core: shared types, .aristo/index.toml schema, B5b verification, language registry.

Typed VM definitions — Darwin-hosted Linux guests for tatara-os, authored in tatara-lisp, emitted as vfkit/qemu config

Aristo SDK — annotation macros and verification (meta-crate).

Aristo SDK proc-macros: #[aristo::intent], #[aristo::assume].

Lisp/TS/Solidity → NEAR contract compiler CLI — init, compile, bench, view/call against any network

Lisp/TS/Solidity → NEAR smart-contract compiler core (parser, typechecker, wasm emitter, crypto stitcher, wit bindings)