Search Results for "grand"
Sort By:
Showing 2 open source projects for "grand"
View related business solutions-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
1
Thrive
The main repository for the development of the evolution game Thrive
Thrive is a free, open-source game about the evolution of life. From the lowly tidepools of your home planet, you will rise to cosmic dominance. At every step, powerful creation tools and deep simulation mechanics will aid your species’ development. Revolutionary Games is the open-source team of dedicated volunteers aiming to make Thrive a reality. Our team seeks to accomplish two major goals: create engaging, compelling gameplay that respects our players’ intelligence, and remain as... -
2
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
- Previous
- You're on page 1
- Next