Unclaimed project
Are you a maintainer of stainless? Claim this project to take control of your public changelog and roadmap.
Changelog
Verification framework and tool for higher-order Scala programs
Last updated 5 days ago
♞ 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.
Vote on features you'd like to see
No planned items yet
Nothing in progress
No completed items yet