A tool for doing record analysis and transformation

A minimalistic and high-performance SAT solver

A tiny language and checker for theorems and proofs in abstract mathematics

Play the popular Wordle word game as a CLI.

An extremely fast Python linter, written in Rust.

Write a custom section in a Wasm module

Tool for generating and applying RFC 6902 JSON patches

A fast static site generator in a single binary with everything built-in.

A random dungeon generator that fits on a business card

Unusual YAML format