Package listing

This is a listing of all packages available via the Homebrew package manager for macOS.

🔎
fstar 0.9.0 Language with a type system for program verification
fstar 0.9.5.0_1 ML-like language aimed at program verification