Docs.rs

A CLI HTTP client — store named request configs in your project or globally, then run them by name or through the TUI

Official Rust SDK for Tamga. Integrate license activation, offline verification, and machine management into your Rust applications.

#[harn_builtin] proc-macro: emits a runtime registration entry plus a parser BuiltinSignature from a single annotated function.

Runtime-installable builtin signature registry. Decouples harn-parser (consumer) from harn-vm (producer) without a dependency cycle.

Shared type definitions for Harn builtin signatures (BuiltinSignature, Param, Ty). Consumed by both harn-parser and harn-vm so signatures stay cycle-free.

Cross-platform wgpu-based renderer for the Windy live wallpaper

Preview and theme editor for the Windy live wallpaper

API serving wind data for the Windy live wallpaper

Decide whether an implementation's state graph refines a TLA+ specification

Read, format and check TLA+ specifications from the command line

Evaluate TLA+ predicates and actions at concrete states, with no dependencies

Parser, AST and printer for TLA+, with no dependencies

General-purpose GitHub Actions maintenance toolkit with secure workflow pinning

A helper crate of forj for expressing a SystemVerilog concrete syntax tree

Python bindings for the Forj SystemVerilog tools