cryptominisat

Extra Credit builds an outline of cryptominisat's docs the first time your work uses it. Until then, start at the official documentation.

• video-compare Split screen video comparison tool using FFmpeg and SDL2
• pssh Parallel versions of OpenSSH and related tools
• gnome-latex LaTeX editor for the GNOME desktop
• msedit Simple text editor with clickable interface
• bend Language that blocks AI mistakes via proof
• spidermonkey JavaScript-C Engine
• pari Computer algebra system designed for fast computations in number theory
• kimi-cli CLI agent for MoonshotAI Kimi platform
• forgejo-cli CLI tool for interacting with Forgejo
• libfontenc X.Org: Font encoding library
• camlpdf OCaml library for reading, writing and modifying PDF files
• libxpresent Xlib-based library for the X Present Extension