Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini 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.
Try It Free
$300 Free Credits to Build on Google Cloud
New customers can spin up VMs, build with AI, and query data at no cost.
Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
This project is an OO-centric design of getopts, based on the standard python implementation of getopts. C-style loop calling of getopts is not OO and does not take advantage of Java's standard library.
Jostraca is a general purpose code generation toolkit for software developers, using a syntax similar to JSP. Jostraca can be extended to generate code in any language, using any language, while placing no restrictions on software design.
The Lagniappe programming environment aims to give developers of high-performance packet processing applications a thourough and high-level toolset. This project provides a translator for the Lagniappe language and the Lagniappe Execution Environment.
PowerMSX is a modern assembler/debugger/simple C interpreter/compiler for the Z80 computer based MSX. This assembler and C interpreter/compiler will be much better/easy than the actual m80/l80 assembler (then only free available for Z80 - MSX).
The EMP language (Easy Mobile Programming) is an easy-to-use programming language for developing independent Symbian OS applications. The primary goal is to provide an easier alternative for the Symbian OS C++.
The MCAScript programming language consists of a subset of C# extended by special statements from hardware programming languages. It has been developed to be used within the MCA(Modular Controller Architecture) to script to behaviour of robots.
The SolidForms project provides an implementation of an XForms processor and implementations of user interfaces for MIDP devices and .NET. The XForms engine is very extensible and is built to allow easy integration with different kinds of user interfaces
PileWorks provides the organizational structure for coordinating several different projects which approach some aspect of Pile Technology. PileWorks defines a set of interfaces and implements some basic infrastructure for Pile engines and agents.
Enabling intellisense(also called CodeInsight or AutoCompletion) for Vim Editor. Intellisense is supported for many languages and can be built for any language of your choice.
lsx is a small and powerful text and source code generator based on a format called Eva. Both java libraries for lsx and Eva and tutorial with some "Hello" samples including "Hello State Machine", interesting demo that generates C++ code.
The MCLA Robotics project comprises a Java based platform for robotics application development. It is being developed by the physics department at the Massachusetts College of Liberal Arts in North Adams, Massachusetts.
A framework in which IHE's XDS, ATNA, CT and PIX profiles work together. ATNA, CT and PIX Profiles are implemented and the open source implementation of IHE XDS Registry and Repository http://sourceforge.net/projects/iheos is customized.
The C'it (Continuous Integration and Testing) project (say "see it!") is a set of services to increase the perception of the evolving software, letting you easily implement continuous integration at its best.
Externalizer is an Ant task to externalize strings. The Externalizer can be used with all types of files or programming languages, f.e. php, java, c, c# and so on.
Java Microsoft Message Queuing Library (MSMQ). This library is intended to create a package of Java classes, based on JNI, to access to Microsoft Message Queuing Server 3.0 interface
CCCC is a tool which analyzes C++ and Java files and generates a report
on various metrics of the code. Metrics supported include lines of code, McCabe's
complexity and metrics proposed by Chidamber&Kemerer and Henry&Kafura.
The goal of the Jupiter project is to investigate scalable Java Virtual Machine (JVM) architectures. Jupiter is released under GPL, A modified version of GNU Classpath is used under GPL with Exceptions http://www.gnu.org/software/classpath/license.html
The PIW - Python Integration Wrapper is a software development tool that connects programs written in Java and C++ with the high-level programming language Python. It eases the making of Python Bindings to Java and C++ in many ways.
This is a .NET/Mono port of the HBCI4Java project, a library that provides an API for using HBCI homebanking protocol in own CLI applications (.NET/Mono/DotGNU/etc.).
Round Trip Engineering Objects.
Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)