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
Build Securely on AWS with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
CatMDEdit is a metadata editor tool for describing resources, mainly geographic information. Developed by IAAA (University of Zaragoza) and GeoSpatiumLab S.L., sponsored by IGN Spain. Technical details: Java, XML, multiplatform, multilingual.
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.
Timemine is a graphical desktop front to add and edit time entries in the project management tool Redmine [http://www.redmine.org]. Timemine show a daily view of the time entries for the logged in user and a summary for each day in a tree view.
current build is now 12_8_11:
Code reformulation, not only to improve/repair, but also to take into account libraries that I don't release (e.g., the applet one). The Jars are compiled under Sun Windows JVM 1.7.0_1.
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
HelpSetMaker - tool for creating structured online help and other help documents. Specially suited for the JavaHelp system. Creates JavaHelp HelpSets, HTML4 webpages and LaTeX source code. Written completely in Java, runs on any Java2-capable platform
The \\\"Archimedes Project\\\" extracts XML metadata content from Versata\\\'s repositories. It generates detailed reports (JavaDoc for Business Rules), persist XML business rules (Rules Repository) , and create JUNIT & Euclid test scripts 5.
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.
The Object Library Documentation Project defines standards and utilities for creating documentation structures for object models and packages like ActiveX Dynamic Libraries, Controls, .NET Assemblies, Java packages, and web services.
The Java Elucidator provides support for production of internal documentation following the Elucidative programming paradigm. Documentation and source code are kept seperate, but interlinked through mutual navigation in a two-frame online layout.