Results for check_everything

A formal methods-inspired specification language combining Alloy, TLA+, Cucumber, and Design by Contract

A code-aware spell checker library (dependency for codebook-lsp)

A code-aware spell checker with language server implementation, installable via cargo install

Configuration handling for the Codebook spell checker

Dictionary downloading utility for the Codebook spell checker

Disjoint linear algebra for constraint systems — fracture into independent blocks, coalesce provably correct

Git hook to verify that makes sure the commit message contains a reference to the issue.

Scoop up your Python envs — pyenv-style workflow powered by uv

Control WLED lights from the command line or your favorite MCP client

Control your La Marzocco espresso machine from the command line or a Rust application

Convert from CSV to a Markdown table

Automatically turn your Logitech Litra device on when your webcam turns on, and off when your webcam turns off