New
v0.50.3
0.50.3 - 2025-09-04
Bug fixes
- Fix
Apalache!Genof functions (#3158)
Unclaimed project
Are you a maintainer of apalache? Claim this project to take control of your public changelog and roadmap.
Changelog
APALACHE: symbolic model checker for TLA+ and Quint
Last updated 27 days ago
Apalache!Gen of functions (#3158)♞ lichess.org: the forever free, adless and open source chess server ♞
💾 Database Tools incl. ORM, Migrations and Admin UI (Postgres, MySQL & MongoDB) [deprecated]
Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3
A platform to build and run apps that are elastic, agile, and resilient. SDK, libraries, and hosted environments.