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
Go from Code to Production URL in Seconds
Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.
Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
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 POSIX GUI file viewer capable of displaying manual pages and maintaining document meta-data (highlighting and bookmarks) per user per file; a local socket server for easy integration with other software, text can be processed with shell commands.
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.
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
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.
A graphical display of a keyboard, showing all keyboard shortcuts when modifiers (i.e. Control) are pressed. If a combination is pressed, documentation for that command is shown. A user-friendly way to display many keyboard shortcuts. Data in JSON.
A prepared docbook project. Can create html, html_single, PDF documents immediately. Included all newest version needing files, you needn't down anything. The quick start hint and easy samples will bring you enjoy your writing. 支持中文 中文帮助
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).
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.
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.
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)
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