Copy/paste detector for source code. 220+ languages, Rust engine, SARIF/HTML/badge reporters, GitHub Action, MCP server for AI agents.
Extremely fast tool to remove duplicates and other lint from your filesystem
Reason over explicit states, many branches at once: merge duplicates, cancel dead ends, advance together.
Empirical study of git merge (un)soundness: a minimal counterexample where default git merge silently duplicates a line, motivated by the diff3 paper (Khanna, Kunal & Pierce, FSTTCS 2007).
A unified desktop app for managing ComfyUI models. Browse and download from CivitAI, auto-organize into folders, track updates, detect duplicates, and handle version management with intelligent routing for SD models, GGUFs, and HuggingFace caches. Features SHA256 verification, resume support, and cross-device settings sync.
Self-hosted photo and video organiser: brings Apple Photos, Google Photos and camera files into one dated library on your own disk, finds duplicates, and lets you review each calendar date across every year. Mac app or Docker.