Homebrew / homebrew-core

🍻 Default and OSS formulae (built-from-source packages) for the package manager for everywhere

d12frosted / homebrew-emacs-plus

Emacs Plus formulae for the Homebrew package manager

Homebrew / formulae.brew.sh

🏎 An online formulae browser for Homebrew

railwaycat / homebrew-emacsmacport

Emacs mac port formulae for the Homebrew package manager

ForNeVeR / xaml-math

A collection of .NET libraries for rendering mathematical formulae using the LaTeX typesetting style, for the WPF and Avalonia XAML-based frameworks

pysmt / pysmt

pySMT: A library for SMT formulae manipulation and solving