ats2-postiats ☆

« Back to VersTracker

Description:
Programming language with formal specification features

Type: Formula | Latest Version: 0.4.2@1 | Tracked Since: Dec 17, 2025

Links: Homepage | formulae.brew.sh

Category: Developer tools

Tags: programming-language formal-verification theorem-proving static-typing functional-programming

Install: brew install ats2-postiats

About:
ATS2-PostiATS is a statically typed programming language that uses formal specifications (theorem proving) to ensure program correctness at compile time. It combines functional and imperative paradigms with a powerful type system to eliminate runtime errors and verify complex properties before execution.

Key Features:

Advanced type system with dependent and linear types
Verified programming via theorem proving capabilities
Compiles to efficient C code for high performance
Supports both functional and imperative programming styles

Use Cases:

Building safety-critical systems requiring formal verification
Developing high-performance software with guaranteed memory safety
Research in programming language theory and formal methods

Alternatives:

Idris – Similar theorem-proving language with dependent types, more modern but less mature ecosystem
Coq – Proof assistant focused on mathematical proofs rather than general-purpose programming
F* – Microsoft research language with similar goals but different type system approach

License: GPL-3.0-only

Dependencies: gmp

Bottles available for: arm64_tahoe, arm64_sequoia, arm64_sonoma, arm64_ventura, arm64_monterey, arm64_big_sur, sonoma, ventura, monterey, big_sur, catalina, arm64_linux, x86_64_linux

Version History

Detected	Version	Rev	Change	Commit
Sep 13, 2025 1:27pm		1	VERSION_BUMP	dd58263d
Nov 29, 2022 4:54pm		1	VERSION_BUMP	b6f313e1