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
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
ALCHA aims to reduce FPGA project develop time by means of automation and abstraction, but without loosing the low-level control that HDLs, such as Verilog, provides.
It will support an object oriented programming model, abstract data and signal types, and compile-time scripting.
TransferWare is a collection of tools for the Oracle world: the schema version manager TransVersion (tv), the External Procedure Call (epc) toolkit for accessing the outside world from within Oracle PL/SQL and an application Performance Monitor (pm).
A tool for finite state machine analysis and synthesis.
glint is a tool facilitating you in development of state-oriented control entities which supposed to be used in very broad areas of programming (e.g. state-oriented network protocols).
glint saves you from pondering how your finite state machine should be organized, how many states it should have and what they should mean. You just tell glint how you would like your control entity to operate and glint returns to you the synthesised magic black box which implements the desired...
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL).
Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code.
The LTL specification captures...
New to Google Cloud? Get $300 in credits to explore Compute Engine, BigQuery, Cloud Run, Gemini Enterprise Agent Platform, and more.
Start your next project with $300 in free Google Cloud credit. Spin up VMs, run containers, query petabytes in BigQuery, or build agents with Gemini Enterprise Agent Platform. Once your credits are used, keep building with 20+ always-free tier products including Compute Engine, Cloud Storage, GKE, and Cloud Run functions. No commitment required—just sign up and start building.
Powerful Verilog Preprocessor. PLP stands for Perl Pre-processor. Perl is used as "control language" that is embedded in the Verilog code (or any other code) to generate code on the fly. It is used commonly as a Verilog pre-processor but can be used with any target/output language (C, C++, Java, VHDL, plain text etc)
Petri-LLD is a graphical development environment for real-time automation control and is written in Java. It is based on a form of Petri net, and compiles to a number of programmable logic controller (PLC) languages as well as Java and Visual Basic.
CHSM is a language system for specifying concurrent, hierarchical, finite state machines (an implementation of "statecharts") to model and control reactive systems.
Don't hard-code data-structures for Artificial Intelligence (AI). Evolve them (and control flow) as cycles of arrays in arrays with size constraints based on other array sizes (at specific index) in terms of range, multiply, exponent, or permutation. No working code yet. Whats there now is an extension of GigaLineCompile which would become part of Human AI Net, but there are other projects to finish before I can come back to this one.
Compliant and Reliable File Transfers Backed by Top Security Certifications
Cerberus FTP Server delivers SOC 2 Type II certified security and FIPS 140-2 validated encryption.
Stop relying on non-certified, legacy file transfer tools that creak under the weight of modern security demands. Get full audit trails, advanced access controls and more supported by an award-winning team of experts. Start your free 25-day trial today.
Deputy is a free open source Java tool licensed under the BSD license.
It supports the creation and maintainance of complex Maven 1.x projects which are assembled from other Maven projects.
A flatfile-based metadata repository and integration with common build tools (make, ant, others). A code generation framework is included and is useful to conditionally generate code objects based on the deployment environment. Metadata+deploy = :)
This project centers around the goal of bringing the Inversion of Control principals leveraged by the Spring Framework to the client side of Google Web Toolkit (GWT) application development.
sandboss is a messaging framework generator that creates complete communications, persistency, UI forms, configuration management, and runtime control infrastructure from struct and node declarations. Full generator support in the dependency-aware build
This framework is a release notes framework that enables to generate textual release notes from an XML file. This is an open framework that enables to integrate outer information (VSC, bug tracking). Stand-alone GUI and Eclipse integration is on march.
System C# (scs) - Port of the C# language for generating highly optimized system code to C++ C or GCC backend. SCS is not JIT'ed, does not need GC, includes c/c++ header files, has full macro support, and allows fine control of all generated code.
<b>A simple, flexible, light weight application enclosure from which rapid extension is possible in the Java programming environment. Includes the config framework similar to Apache's digester tool, except control is encapsulated in the constructor.</b>
A simple utility for taking two, presumably related, SQL database creation scripts, and generating SQL 'patches' that can be applied to a live SQL database in order to upgrade it.
RSD is a PHP development environment. The most powerful part is the RSDEngine - provide it with a SQL database schema and additional options and it will generate a ready-to-run application. Other goodies: versioning, generation of API docs, unit tests.
Ant-based tool to migrate Java source files to GNU Autotools standards, making them compatible with usual "configure; make; make install" build mechanism.
ECG manages different emulator projects. Each project has cpu information (bits, opcodes, registers, etc.) and memory managment(Description, Mirrors, etc.). Once you have done the CPU and Memory Project, you will be able to cross/generate C/C++ code.
Sigel teaches virtual robots to walk in a physical 3D-simulation.
It uses the method of "Genetic Programming" to evolve control
programs for any robots that come into your mind, visualizes them using OpenGL
and exports animations to Povray.
Zaval GDP is a set of components that allow to control size, location, cursor type for the Java AWT/Swing/LwVCL components. Actually, components are Java AWT events listeners that have no GUI part.
Chasm is a language using assembler meat with C style bone. It provide
the C style flow control statement to make assembler code easier to write
and easier to maintain. All the register/memory modify code is
in the assembler, give the programmer the de