Extra Credit
rocq
Proof assistant for higher-order logic
$
brew install rocqOfficial docs outline
Extra Credit builds an outline of rocq's docs the first time your work uses it. Until then, start at the official documentation.
More in Homebrew formulae
All 3,000- ytt YAML templating tool that works on YAML structure instead of text
- phpmyadmin Web interface for MySQL and MariaDB
- svtplay-dl Download videos from https://www.svtplay.se/
- lldb Next generation, high-performance debugger
- python-pyproject-hooks Low-level library for calling build-backends in pyproject.toml-based project
- baresip Modular SIP useragent
- man2html Convert nroff man pages to HTML
- certigo Utility to examine and validate certificates in a variety of formats
- stylelint Modern CSS linter
- fortune Infamous electronic fortune-cookie generator
- imagesnap Tool to capture still images from an iSight or other video source
- nanobind Tiny and efficient C++/Python bindings