Releases

A XAML / WPF-like UI framework for Bevy: XAML in macros or files, styling with resources, and the common WPF control set.

Config loader components shared across VT Code and downstream adopters

Golem WASM base types

Ethereum primitive types

HTTP client for the eigenda-proxy sidecar (EigenDA disperser/retriever via REST)

Z3 backend for r2SMT — encodes SSA lifted slices and reports opaque-predicate verdicts.

Thin, audited FFI shim for the Z3 floating-point reinterpret constructors missing from the safe `z3` 0.20 API (BV→FP and signed-int→FP).

newton prover stake weights transporter

newton prover enclave compute

newton prover aggregator utils

newton prover chainio

newton chain watcher — smart event filter for direct on-chain tasks

newton-metric

newton protocol core sdk

A language server, formatter, and linter for Julia

Rust bindings for the FUTTL terminal UI library

Rust bindings for the FUTTL terminal UI library

Lossless storage and search for sessions from any AI agent client

Entropy-native Linux filesystem: persist irreducible state, materialize structure, preserve exact bytes.

The official Rust SDK for the Whop API.

Core libraries for astronomical image file analysis and manipulation.

Statistical metrics for astronomical images

Metadata handling for astronomical images

I/O operations for astronomical image formats

PostgreSQL-compatible embedded database with TDE + ZKE encryption, HNSW vector search, Product Quantization, git-like branching, time-travel queries, materialized views, row-level security, and 50+ enterprise features

Entropy-native Linux filesystem: persist irreducible state, materialize structure, preserve exact bytes.

A LangChain-inspired framework for building LLM applications in Rust. Supports OpenAI, Agents, Tools, Memory, Chains, RAG, BM25, Hybrid Retrieval, LangGraph, HyDE, Reranking, MultiQuery, and native Function Calling.

The Exocortex MCP client: local cache, WAL offline capture, the session-wrapup tool, and the reconnecting SSE subscriber.

The main compiler for the Mysz language project

c ffi bindings for tailscale-rs