Homebrew formulas index

The aim of this website is to provide an easy way to search for a Homebrew formula.

Coverage of formulas with description:

76% Complete (success)


GNU a2ps is an Any to PostScript filter. Of course it processes plain text files, but also pretty prints quite a few popular languages.


a52dec is a test program for liba52. It decodes ATSC A/52 streams, and also includes a demultiplexer for mpeg-1 and mpeg-2 program streams.


aacgain is a modification to Glen Sawyer's excellent mp3gain program. It supports AAC (mp4/m4a/QuickTime) audio files in addtion to mp3 files. If you are not familiar with mp3gain, stop reading this, and go to http://mp3gain.sourceforge.net.


AAlib is an portable ascii art GFX library. If you wish to see some examples of AAlib technology, please browse AA-project homepage.


aamath is a program that reads mathematical expressions in infix notation and renders them as ASCII art. It may be useful to send mathematics through text-only media, such as e-mail or newsgroups.


No description available


No description available


A Better CD Encoder


Armed Bear Common Lisp (ABCL) is a full implementation of the Common Lisp language featuring both an interpreter and a compiler, running in the JVM. Originally started to be a scripting language for the J editor, it now supports JSR-223 (Java scripting API): it can be a scripting engine in any Java application. Additionally, it can be used to implement (parts of) the application using Java to Lisp integration APIs.


abcm2ps is a command line program which converts ABC to music sheet in PostScript or SVG format. It is an extension of abc2ps which may handle many voices per staff. Here are an (old) example, its features and some documentation. Latest stable version: 7.8.7 (320Kb) (Changelog) Development version: 8.1.5 (246Kb) (Changelog) Older stable versions: 6.6.22 (291Kb) 5.9.25 (249Kb), 4.12.30 (209Kb), 3.7.21 (191Kb), 2.11.3 (171Kb), 1.6.12 (134Kb) Binaries: Many binaries (Linux, MS-Windows, MAC) may be found in the ABC Plus home page. For Atari MINT, here is a rpm package (maintained by Martin Tarenskeen). Here is a abcm2ps example of static XHTML formatting using a Bourne shell script. New: abc2svg is a Javascript program with (almost) all the features of abcm2ps. It should work in any web browser. Look at this page for more information. abcmplugin-1.0.1 (26Kb) is a simple plugin for WEB browsers which offers dynamic rendering of ABC files referenced or embedded in HTML/XHTML pages. For more information, look at the README. If you need transposition, you may use this perl script (transpose_abc.pl - 2008/12/23) from Matthew J. Fisher and updated by Sebastian Orlowski, Christopher David Lane and Christoph Dalitz. If you want a tune index, you may run this Tcl script (abcmaddidx.tcl - 2014/07/01) as a back end for PostScript output or this one (abcmaddidx2.tcl - 2013/11/02) for XHTML output.


No description available


abduco provides session management i.e. it allows programs to be run independently from its controlling terminal. That is programs can be detached - run in the background - and then later reattached. Together with dvtm it provides a simpler and cleaner alternative to tmux or screen. abduco is in many ways very similar to dtach but is actively maintained, contains no legacy code, provides a few additional features, has a cleaner, more robust implementation and is distributed under the ISC license.


No description available


No description available


Abook is a text-based addressbook program designed to use with mutt mail client. Abook runs on Linux, FreeBSD and some other UNIXes.


No description available


Reference Implementation of SMPTE S2065-4


ack 2.12 is a tool like grep, optimized for programmers Designed for programmers with large heterogeneous trees of source code, ack is written purely in portable Perl 5 and takes advantage of the power of Perl's regular expressions.


ACME is a free crossassembler, released under the GNU General Public License. The current version can produce code for the 6502, 65c02 and 65816 processors.


acmetool is an easy-to-use command line tool for automatically acquiring certificates from ACME servers (such as Let's Encrypt). Designed to flexibly integrate into your webserver setup to enable automatic verification. Unlike the official Let's Encrypt client, this doesn't modify your web server configuration.


The ACPI Component Architecture (ACPICA) project provides an operating system (OS)-independent reference implementation of the Advanced Configuration and Power Interface Specification (ACPI). It can be easily adapted to execute under any host OS. The ACPICA code is meant to be directly integrated into the host OS as a kernel-resident subsystem. Hosting the ACPICA subsystem requires no changes to the core ACPICA code. Instead, a small OS-specific interface layer is written specifically for each host OS in order to interface the ACPICA code to the native OS services.


Apache ActiveMQ ™ is the most popular and powerful open source messaging and Integration Patterns server.


CMS (stands for C++ Messaging Service) is a JMS-like API for C++ for interfacing with Message Brokers such as Apache ActiveMQ. CMS helps to make your C++ client code much neater and easier to follow. To get a better feel for CMS try the API Reference. ActiveMQ-CPP is a client only library, a message broker such as Apache ActiveMQ is still needed for your clients to communicate.


official repository that provides shared library for admesh


adns is a resolver library for C (and C++) programs, and a collection of useful DNS resolver utilities.

No new formula this week.


The Adobe AIR SDK provides the tools necessary to build and deploy Adobe AIR applications.


An automounter implemented with FUSE


A large collection of patches for the Mail and News client Alpine, with links to other resources of patches for Alpine in the web.


A+ is a powerful and efficient programming language. It is freely available under the GNU General Public License. It embodies a rich set of functions and operators, a modern graphical user interface with many widgets and automatic synchronization of widgets and variables, asynchronous execution of functions associated with variables and events, dynamic loading of user compiled subroutines, and many other features. Execution is by a rather efficient interpreter. A+ was created at Morgan Stanley. Primarily used in a computationally-intensive business environment, many critical applications written in A+ have withstood the demands of real-world developers over many years. Being written in an interpreted language, A+ applications are easily ported, if not inherently portable due to application-specific platform dependencies. This site is provided to help users get the most out of A+.


No description available


No description available


No description available


No description available


ArpON (ARP handler inspection) is a portable handler daemon that make ARP protocol secure in order to avoid the Man In The Middle (MITM) attack through ARP Spoofing, ARP Cache Poisoning or ARP Poison Routing (APR) attacks. It blocks also the derived attacks by it, which Sniffing, Hijacking, Injection, Filtering & co attacks for more complex derived attacks, as: DNS Spoofing, WEB Spoofing, Session Hijacking and SSL/TLS Hijacking & co attacks. This is possible using three kinds of anti ARP Spoofing tecniques: the first is based on SARPI or "Static ARP Inspection" in statically configured networks without DHCP; the second on DARPI or "Dynamic ARP Inspection" in dynamically configured networks having DHCP; the third on HARPI or "Hybrid ARP Inspection" in "hybrid" networks, that is in statically and dynamically (DHCP) configured networks together. ArpON is therefore a proactive Point-to-Point, Point-to-Multipoint and Multipoint based solution that requires a daemon in every host of the connection for authenticate each host through an authentication of type cooperative between the hosts and that doesn't modify the classic ARP standard base protocol by IETF, but rather sets precise policies by using SARPI for static networks, DARPI for dynamic networks and HARPI for hybrid networks thus making today's standardized protocol working and secure from any foreign intrusion.


No description available


No description available


atari++ is a free ATARI 8bit emulator for Unux and Windows.


Track JIRA issues from code to customer using Bamboo to run builds, tests, and deployments.


AUCTeX is an extensible package for writing and formatting TeX files in GNU Emacs and XEmacs. It supports many different TeX macro packages, including AMS-TeX, LaTeX, Texinfo, ConTeXt, and docTeX (dtx files).


Elevating permissions on OSX


No description available


awsenv is intended as a local credential store for people using more than one AWS account at the same time


No description available


bbcp is a peer-to-peer application. Mainly, this means that copies of bbcp on the source and sink nodes appear to be both client as well as server applications . This may not be possible at some sites because of firewall restrictions. Specifically, some installation may prohibit incoming TCP/IP connections at arbitrary ports.


No description available


bindfs is a FUSE filesystem for mounting a directory to another location, similarly to mount --bind. The permissions inside the mountpoint can be altered using various rules.


Welcome to the Bochs IA-32 Emulator Project     Bochs is a highly portable open source IA-32 (x86) PC emulator written in C++, that runs on most popular platforms. It includes emulation of the Intel x86 CPU, common I/O devices, and a custom BIOS. Bochs can be compiled to emulate many different x86 CPUs, from early 386 to the most recent x86-64 Intel and AMD processors which may even not reached the market yet. Bochs is capable of running most Operating Systems inside the emulation including Linux, DOS or Microsoft Windows. Bochs was originally written by Kevin Lawton and is currently maintained by this project.


An object-oriented software toolkit for chemical kinetics, thermodynamics, and transport processes.


Cardpeek is a Linux/Windows/Mac OS X tool to read the contents of ISO7816 smart cards. It features a GTK GUI to represent card data is a tree view, and is extensible with a scripting language (LUA).


Optionaly, catdoc is able to translate some non-ASCII chars into correspoindig TeX escape sequences and convert charsets from Windows ANSI codepage to local codepage of target machine. (Because catdoc is russian program, by default it converts cp1251 to koi8-r, when running under UNIX and to cp866 when running under DOS.

This list include only formulae since the first import done on the 2014-02-17