Docs.rs

XLS IR to gate mapping

XLS formal pProvers

Delay estimation facilities via Rust

Agents are just functions - production-grade LLM agent framework

High-level component loader and store for Greentic components

Shared MCMC infrastructure for xlsynth-* crates

partial XLS IR focused on functions

xlsynth test helpers

Proc macros for the resonai LLM agent framework

A fast, friendly TUI for Homebrew

Wasmtime-based runtime for executing Greentic components

Accelerated Hardware Synthesis (XLS/XLSynth) via Rust

Accelerated Hardware Synthesis (XLS/XLSynth) via Rust (Native Library)

A Nostr proxy relay with advanced bot filtering and an admin UI.

Store abstraction and verification for Greentic components