Docs.rs

Recent Releases

xlsynth-autocov-0.44.0

Coverage-guided corpus growth for XLS IR functions
15 seconds ago
safe-chains-0.146.1

Auto-allow safe bash commands in agentic coding tools
one minute ago
xlsynth-test-helpers-0.44.0

xlsynth test helpers
2 minutes ago
xlsynth-prover-0.44.0

XLS formal pProvers
2 minutes ago
paltaio-smb-fs-0.1.4

Local-filesystem ShareBackend for paltaio-smb-server, sandboxed via cap-std.
3 minutes ago
paltaio-smb-server-0.1.4

SMB2/3 file-sharing server library with pluggable storage backends.
4 minutes ago
xlsynth-estimator-0.44.0

Delay estimation facilities via Rust
5 minutes ago
xlsynth-pir-0.44.0

partial XLS IR focused on functions
5 minutes ago
aether-agent-cli-0.3.1

CLI and ACP server for the Aether AI coding agent
5 minutes ago
paltaio-smb-proto-0.1.4

SMB2/3 wire-format types, framing, signing, and authentication primitives.
6 minutes ago
xlsynth-mcmc-0.44.0

Shared MCMC infrastructure for xlsynth-* crates
6 minutes ago
aether-mcp-servers-0.3.1

Built-in MCP tool servers for the Aether AI agent framework
6 minutes ago
xlsynth-vastly-0.44.0

Simulation and VCD-oriented utilities for generated Verilog/SystemVerilog
7 minutes ago
xlsynth-0.44.0

Accelerated Hardware Synthesis (XLS/XLSynth) via Rust
8 minutes ago
aether-wisp-0.3.1

A terminal UI for AI coding agents via the Agent Client Protocol (ACP)
9 minutes ago