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.
Start Free
MongoDB Atlas runs apps anywhere
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.
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.
Objetivo de disseminar conhecimentos das diversas áreas de saber que envolvem o desenvolvimento de jogos independente de plataforma. The objective to spread diverse knowledge of areas to know that to involve the independent development of platform games
Online music publishing system that enables mass collaboration among registered users. Users will submit pieces of work for others to add and edit to create other renditions of the work.
Colimas is a Component Library Management System. The objective is to store all reusable resets for enterprises or organizations and to help all developers to know where and how to get the needed components and reduce understanding time for project maint
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.
Content management system, focusing on (1) usability; (2) simple edit / review / publish cycle; (3) syndication; and (4) integrated formatting for ease of printing the published documents, to PDF, RTF, or transformed via XML / XSLT to DocBook, LaTeX, etc
A System for documenting for Requirements,Unit test cases,Unit test cases mapping versus requirements, Unit test reports and reports for showing % unit tests completed
The Docbook Plugin for Eclipse will allow generating documents within Eclipse IDE environment to various file formats that docbook supports using docbook xsl. Possible future enhancements could include support for docbook dsssl and apache's FOP support.
Jeremia is an open source requirement management system.
With Jeremia it is possible to describe requirements and requirement documentation within onesystem. The requirements and requirement documents are stored within a database. Requirement and doc
Paessler: Easy to Use With Enterprise Power. Free Trial
A low-code dashboard makes monitoring intuitive for any admin, while scripting and custom sensors give experts full control.
You shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
Retriever Wiki is a browser based personal wiki that stores articles as plain XML files. It will have a user interface and markup that match MediaWiki. This application will contain a light weight web server that will run in the Windows system tray.
Sutri is a system for tests management. It does not deal directly with testing tools but enables you to manage tests, results and reports in a coherent way, without concerning about what tool is used to execute such tests.