General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.
Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
Try Free
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
Multi-language library to deal with multimethod dispatch, disambiguation and type-checking using dispatch tables. This approach yields fast dispatch in constant-time and greatly helps resolving ambiguities.
Hades aims to become the reference open source environment for developing, validating and deploying PLUTO (Procedure Language for Users in Test and Operations) procedures.
Deploy in 115+ regions with the modern database for every enterprise.
MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
Tsunami is an open-source high performance computing language. With it you can write streaming data-parallel algorithms that utilize GPGPUs for orders-of-magnitude speed-up with the ease of writing sequential algorithms.
Tepal was originally going to become an uber OO language, but during my tinkering I feel that it would be more appropriate for Tepal to become more of a meta language, allowing you to describe common development tasks in a simplified and common way.
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)
upl:"universal programing language" is a platform that help new comers and children to learn programming.
this platform helps to create programing languages for all languages and all purposes.
eventually the languages are translated to java.
Tako is a direct programming language with Java-like syntax. Direct languages avoid routine aliasing and allow programmers to view all variables directly as independent objects, simplifying both formal and informal reasoning.
JUndo is a declarative object-oriented programming language with functional, and intensional programming characteristics. Applications include multi-level undo and sophisticated error recovery. See http://verdantium.blogspot.com/
The project tries to extend the basic Hotswap support in the current JVM and allows developers to add/remove instance fields and methods and replace the new class in a running JVM, thus saving huge time incurred in restarting the JVM for every change.
To some, the Java and C++ languages appear deceptively similar. The goal of this is project is to examine these two popular object-oriented languages and generate a Java to C++ translator.
Master students group of Federal University of Pernambuco working together to define and to develop an object-oriented language project based on java language as meta language.
Picture Gallery viewable with HTML web browsers. All dynamics is implemented at client-side in JavaScript. This approach is useful when the server side is able to provide only static contents, or if the gallery is stored on CDROM or other media.
CLearJ is a clean Java-implementation of Common Lisp. The big goals are ANSI standard compliance, interoperability with Java and integration with scripting environments. This project is meant to be a sibling to CLearSharp, with sharing of implementation.