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.
Start Free
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build generative AI apps with Vertex AI. Switch between models without switching platforms.
Genesis is a software engineer integrated tool that provides many ways to manage all artifacts related to a software development process. Includes requirements management functionalities, and a complete environment to execute tests.
Gathering requirements should be fun. It's the brainstorming process refined. It shouldn't get in the way of productivity or creativity. Harvest is about gathering requirements in the most intuitive, least intrusive way possible.
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.
PHP script of LANManWiki allows few manual-writters to work on one manual in the same time in LAN enviroment at the conditions of wiki articles - adding, editing and linking allowed!
A parser that can parse LATEX source code and generate a report. It points out syntactic errors, suggest improvements to code(in a syntactic sense). Works with all common LATEX classes as well as common packages and new macros.
Lifecycle Manager allows software engineers to manage all stages in the development lifecycle without losing any knowledge of decisions and changes. This system is a groupware knowledge management system for software development.
Longenis is a simple, powerful object-oriented scripting language incoporating elements of Python, Tcl, Java, and Lua. It is designed to be light, clean, elegant, and cross-platform.
Man2docbook is a platform neutral application used for translating man pages to DocBook XML/SGML. This application is implemented as a simple filter. Troff equ and tbl are supported in docbook output file and preserved for docbook->man re-generation.
MuRGe (MUltilanguage Report GEnerator) is a program to generate color formatted HTML files from source code written in C, C++, Java, and, potentially, any other language. It supports advanced options such as optional fields and user defined variables.
ODoMoMoS will build a set of guidelines to help technical writers, translators & software developpers to design, write, maintain & localize documentation, and provide templates for specific documentation output tools & platforms, preferrably Open Source.
OmniHelp is a cross-platform, browser-independent, tri-pane help viewer built in pure JavaScript and CSS with HTML 4. Some functions (such as help embedding) may in the future be in Java, C, or C++; CSH is fully supported. All code is under the LGPL.
OntoCardio is an initiative to build ontologies for the legacy Cardio Database (Resource of bioinformation on cardiovascular diseases). SMI's Protege and its OWL plug-in has been adopted as the ontology construction and programming framework.
The Open Code Quality Project offers Static Code Analyses as an free Online-Service for Open Source Code. Simply send your code, start the scan, receive the results.
OpenALM is an open-source application lifecycle management system. It is intended to be a framework to implement software development team's process. It also intends to provide an API to plug-in with version control system.
This project aims to define a common language for PIM module (addressbook, MUA, calendar, notes) interactions. Developers of PIM solutions or PIM components are invited to take part.
Php2Xmi is a command-line tool written in PHP which scans PHP classes and builds an XMI file with UML representaion of classes found. XMI could be viewed using KDE's Umbrello modelling tool