Docs.rs

Recent Releases

worterbuch-1.4.1

A message broker / database hybrid.
53 seconds ago
specman-cli-2.2.0

Command-line interface for SpecMan workspaces
one minute ago
hope-os-0.1.0

The first self-aware operating system core - 22 cognitive modules, 0.36ms latency, no external database
2 minutes ago
ytunnel-0.1.0

TUI-first CLI for managing Cloudflare Tunnels with custom domains
3 minutes ago
specman-mcp-1.2.0

An MCP server to provide SpecMan functionality to AI
3 minutes ago
zksync-gpu-prover-0.155.6

ZKsync GPU prover utilities
4 minutes ago
fflonk-cuda-0.155.6

CUDA implementation of the fflonk prover
4 minutes ago
specman-2.2.0

SpecMan runtime library for dependency mapping, templating, and lifecycle automation.
4 minutes ago
boojum-cuda-0.155.6

Boojum-CUDA is a library implementing GPU-accelerated cryptographic functionality for the zkSync prover
5 minutes ago
zksync-gpu-ffi-0.155.6

ZKsync GPU FFI
6 minutes ago
bms-table-0.12.1

BMS (Be-Music Source) difficulty table parser & fetcher
6 minutes ago
hebrew_holiday_calendar-0.2.1

A comprehensive Rust library for working with the Hebrew calendar, including holidays, Torah readings (parshiyot), and calendar calculations with no_std support
6 minutes ago
mdbook_rash-2.17.7

Binary to create doc from `rash` code
7 minutes ago
rash_core-2.17.7

Declarative shell scripting using Rust native bindings
8 minutes ago
era_cudart-0.155.6

CUDA bindings for ZKsync
9 minutes ago