YKYH Picks
☰ Menu
Home›Developer Tools›ats2-postiats
CLI Open source 14 installs/mo Trending 5.79×

ats2-postiats for Mac

Programming language with formal specification features

Quick answer: ats2-postiats is a developer tool for macOS. Install it with brew install ats2-postiats. It is distributed under the GPL-3.0-only licence. It has 14 Homebrew installs in the last 30 days.

What ats2-postiats is

ats2-postiats is a developer tool for macOS: programming language with formal specification features.

It is distributed as a Homebrew formula, which builds or pours a binary and puts it on your PATH. It is distributed under the GPL-3.0-only licence.

How to install ats2-postiats

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

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 Developer 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.

mlkitCompiler for the Standard ML programming languageCLIOpen source15/momobTool for smooth Git handover in mob programming sessionsCLIOpen source14/mopurescriptStrongly typed programming language that compiles to JavaScriptCLIOpen source15/moslint-compilerCompiler for the Slint UI markup languageCLIOpen source15/momalbolgeDeliberately difficult to program esoteric programming languageCLIOpen source16/molp_solveMixed integer linear programming solverCLIOpen source13/mo

Frequently asked questions

How do I install ats2-postiats on Mac?

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

Is ats2-postiats open source?

Yes — Homebrew distributes it under the GPL-3.0-only licence.

Does ats2-postiats 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 ats2-postiats?

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

What version of ats2-postiats is current?

The latest packaged version is 0.4.2.