Package listing

This is a listing of all packages available via the Homebrew package manager for macOS.
fstar
Language with a type system for program verification
Current Version: 0.9.0
fstar
ML-like language aimed at program verification
Current Version: 0.9.4.0_2