Releases

graphics at terminal

Find Lean declarations by shape and lift them into a proof

Burn Flex CPU FSMN VAD

Property-based and runtime-gate checker for Lex specs.

Cordis primitives for ARES: context, fiber, effect, and events. Leaf crate with no other ARES dependencies

Core types and tenant models for ARES

WebAssembly bindings for IFC-Lite

Domain-format exporters for ifc-lite (HBJSON, OBJ, glTF/GLB, CSV, JSON, JSON-LD, STEP/IFC, IFC5/IFCX, Merged, Parquet/.bos).

C FFI bindings for ifc-lite — native DLL for in-process IFC parsing

This on-chain Solana program handles SNS domain registrations

Effect handler runtime + capability policy for Lex.

Daum Dictionary API wrapper

HTTP/JSON + MCP server surface for the Lex toolchain.

Shared IFC processing pipeline and types used by server and FFI

Generates the TS uikit class tables from ev_lib_classes (Rust is the source of truth).

Geometry processing and mesh generation for IFC models

Content-addressed on-disk store for Lex stages, branches, and traces.

Pure styling data (Tailwind class tables) shared by the Dioxus uikit and the TS codegen — no Dioxus.

EV-invest shared Rust libraries, one per feature

Run-time trace tree + replay for Lex programs.

Agent-native version control: typed op log + attestation graph.

Bytecode compiler + VM for Lex.

High-performance IFC/STEP parser for building data

High-performance geometry kernel for IFC clash detection

Canonical AST + content-addressed identity for Lex programs.

Tokenizer + parser for the Lex programming language.

Type system + effect inference for Lex.

Provisioner and Telegram control plane for a Raspberry Pi home server. Two static binaries, zero dependencies.

DeepStrike Rust SDK — agent framework built on deepstrike-core

Rust SDK for DarkStrata credential breach checking API with k-anonymity privacy protection