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.
Start Free
Build Agents and Models on One Platform
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.
proof verifier for mathematical proofs and documentation generator
In the tradition of Hilbert's program we create a formal correct (checkable by a proof verifier) but readable (like an ordinary LaTeX textbook) mathematical knowledge base which is freely accessible within the internet. Logic and set theory started.
A Java-based in-application help system that can read multiple different documentation file formats, producing professional help systems from multiple sources. Documentation included for testing is from the jAudio project under the latest LGPL licens
Secure by design, portable by default. Recover clean, fast, anywhere. Start a free trial.
Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
RTF2HTML is a name for a cross-platform C++ library (DLL, OCX) and command-line utility, which is intended to convert documents from Rich Text Format (e.g. Word, OO Writer) to HTML. Its features are tiny size, speed, low mem usage and compact output.
Resx Editor is a small translation-oriented file editor for Microsoft RESX 2.0
files. Resx Editor is designed for professional translators (include a word count feature).
This tool enables you to produce a LaTeX (standard, no extension required) report for database objects (tables, views, indexes, functions, primary/foreign keys, columns, types, keywords, system functions) thanks to the JDBC Api.
The Source2PDF tool is a small application which converts a directory full of source code into a single PDF file. It includes a table of contents, a title page, and is chaptered by subdirectories. This allows for easy, portable source code distribution.
Tracks project details using a variety of data options. Primarily designed to contain and organize software requirements in a multi-project, multi-user, environment using a networked SQL compliant database management system while tracking changes.
wxReSTedit is a cross-platform ReST GUI editor. It is inspired from ReSTedit,a ReStructuredText GUI editor on MAX OS, and aimed to be easier to use than docFactory.
Jdeluxe is an Eclipse Plugin that helps developers to analyse B2B interfaces based on XML Standards. It is designed to be highly adaptable and uses generic XQuery-calls to extract documentation data. Data can be stored in a Web Repository via Web Service
This editor aims to help users creating their own ebooks in the newly released Open Publishing standard defined by International Digital Publishing Forum. The editor will permit the creatioin of ebook in OCF-1.0 format (.epub)