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 4 days ago
assumeState of JSON RPCassumeTransition and assumeState (#3219)♞ 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.