YKYH Picks
☰ Menu
Home›Command-Line Tools›rocq-elpi
CLI Open source 22 installs/mo

rocq-elpi for Mac

Elpi extension language for Rocq

Quick answer: rocq-elpi is a command-line tool for macOS. Install it with brew install rocq-elpi. It is distributed under the LGPL-2.1-or-later licence. It has 22 Homebrew installs in the last 30 days.

What rocq-elpi is

rocq-elpi is a command-line tool for macOS: elpi extension language for Rocq.

It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. The project is open source and lives at https://github.com/LPCIC/coq-elpi.

How to install rocq-elpi

  1. Open Terminal (press ⌘ + Space and type “Terminal”).
  2. If Homebrew is not installed yet, run the installer below once.
  3. Run brew install rocq-elpi.

Homebrew installer, if you need it:

Prefer a graphical installer? Download it from the official site. MacPicks never hosts or mirrors binaries — the Homebrew command always pulls from the vendor's own release.

Similar apps in Command-Line Tools

Closest apps in the same category, ordered by description similarity and install base. These are related tools, not confirmed substitutes; the comparison pages cover hand-picked head-to-head matchups.

opensamlLibrary for Security Assertion Markup LanguageCLIOpen source22/mopgxnclientCommand-line client for the PostgreSQL Extension NetworkCLIOpen source22/motcltlsOpenSSL extension to TclCLIOpen source21/moctlProgramming language for digital color managementCLIOpen source23/mocrystal-icrInteractive console for Crystal programming languageCLIOpen source21/mosnobol4String oriented and symbolic programming languageCLIOpen source21/mo

Frequently asked questions

How do I install rocq-elpi on Mac?

Run brew install rocq-elpi in Terminal. This requires Homebrew; if you do not have it, install it first with the command below.

Is rocq-elpi open source?

Yes — Homebrew distributes it under the LGPL-2.1-or-later licence.

Does rocq-elpi run on Apple silicon?

Homebrew publishes this formula for macOS. If upstream does not ship an Apple silicon build, Rosetta 2 handles the Intel binary.

How popular is rocq-elpi?

It was installed 22 times in the last 30 days according to Homebrew analytics, ranking #6334 in this catalogue.

What version of rocq-elpi is current?

The latest packaged version is 3.5.1.