Rat Zsh is a Rust Zsh plugin manager with TOML configuration, parallel sync, revision pinning, conditional loading, update checks, and reproducible setups.
Read more
Rat Zsh is a Rust Zsh plugin manager with TOML configuration, parallel sync, revision pinning, conditional loading, update checks, and reproducible setups.
Read more
slang is a fast SystemVerilog compiler and analysis tool offering parsing, elaboration, linting, diagnostics, AST access and Python bindings.
Read more
Icarus Verilog is a compiler implementation for the Verilog hardware description language
Read more
ZPico is a tiny Zsh package manager supporting GitHub, GitLab, Codeberg, Framagit, local repositories, branch selection, updates, and self-updating.
Read more
emplace synchronizes installed packages across machines, tracks package installations from the shell, uses Git, and can also manage configuration files.
Read more
ab-av1 is a video encoding tool that samples VMAF or XPSNR, searches for suitable CRF values, predicts output size, and drives FFmpeg encodes.
Read more
Picogen is a minimalist static site generator using Markdown and Jinja templates, with themes, categories, and optional S3 deployment.
Read more
Verilator is a SystemVerilog simulator and lint system aimed at high-performance digital design verification.
Read more
StaticPipes is a flexible static site generator built around configurable pipelines, Jinja templates, asset processing, and output checks.
Read more
svlint is a configurable SystemVerilog linter with selectable rules, bundled rulesets, TOML configuration and editor integration through svls.
Read more
Verible is a suite of SystemVerilog developer tools providing style linting, formatting, parsing, project analysis and language server support.
Read more
pretty-php is a PHP code formatter with deterministic output, small diffs, style presets, equivalence checks, and CLI integration.
Read more
WartRemover is a flexible Scala linter that uses compiler plugins and configurable warts to reject unsafe, surprising or undesirable code.
Read more
Scapegoat is a Scala static code analyser that flags bugs, questionable constructs and style problems through configurable compiler inspections.
Read more
Directory Checksum recursively hashes directory contents to identify changes and help diagnose Docker, BuildKit, and other OCI build-cache issues.
Read more
Scalafix is a Scala refactoring and linting tool with syntactic and semantic rules for checking, rewriting and modernising source code.
Read more
elbencho is a distributed storage benchmark measuring latency, throughput and IOPS across file systems, object stores, block devices and GPUs.
Read more
Zarn is a lightweight Perl static security analysis tool using AST inspection and taint tracking to identify possible vulnerabilities.
Read more
bitrat is a fast command-line checksum tool supporting multiple hash algorithms, HMAC, parallel processing, and nested file hierarchies.
Read more
OSCAR is a comprehensive computer algebra system covering number theory, algebra, group theory, geometry, combinatorics and polyhedral computation.
Read more