Releases

Archival Merkle Mountain Range backed by neptune-database storage. Uses the TIP5 hash function.

LevelDB-backed async storage layer (schema, vectors, maps) used by neptune-cash

Contract-first AI-native language. Write what it should do. AI proves it does.

MCP (Model Context Protocol) server for Assura AI agent integration

LSP server for the Assura contract language

Shared compiler pipeline for the Assura language

SMT-based verification for Assura contracts via Z3

High-performance DeFi route-finding engine — embeddable library and CLI

HTTP RPC server for Fynd DEX router

Ket Bitwise Simulator

Admin UI for MockForge - web-based interface for managing mock servers

A Rust library for parsing `ferron.conf` configuration files — a domain-specific language for Ferron web server configurations.

A modular, batteries-included Rust web framework for server-rendered apps.

A modular, batteries-included Rust web framework for server-rendered apps.

Biblioteca experimental para demonstração.

CLI for the Harn programming language — run, test, REPL, format, and lint

AMQP protocol support for MockForge

Shared logic for MockForge - routing, validation, latency, proxy

Formal symbolic AI implementation with OpenAI-compatible APIs

The Doubleword Control Layer - A self-hostable observability and analytics platform for LLM applications

A general and extensible crate for lowering HUGRs into LLVM IR

Multihash self-describing cryptographic hash data

Safe Rust bindings to libvala, the Vala compiler library

Multikey self-describing cryptographic key data

One-stop crate for all the rust features that I'm missing

Formal symbolic AI implementation with OpenAI-compatible APIs

The Doubleword Control Layer - A self-hostable observability and analytics platform for LLM applications

Peat mesh networking library with CRDT sync, transport security, and topology management

One-stop crate for all the rust features that I'm missing

A declarative UI layout and rendering framework powered by Skia.