ZPico is a tiny Zsh package manager supporting GitHub, GitLab, Codeberg, Framagit, local repositories, branch selection, updates, and self-updating.
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
We pick the finest terminal-based clocks. Most of them offer a TUI, with the remaining few running from the command-line.
Read more
Verilator is a SystemVerilog simulator and lint system aimed at high-performance digital design verification.
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
paq is a fast BLAKE3 command-line tool for recursively hashing files and directories with deterministic output and parallel processing.
Read more
Eigenmath is a compact symbolic mathematics application offering exact arithmetic, calculus, linear algebra, plotting, and script execution.
Read more
h0neytr4p is a configurable web honeypot that lets defenders create traps for reconnaissance and exploit attempts without deploying vulnerable applications.
Read more
SentryPeer is a SIP honeypot and fraud-detection tool that records hostile VoIP activity and can share collected data through peer-to-peer networking.
Read more