Eng: Digital Signature with x.509 certificates and smartcards for PDFand PAdES format documents in Spanish for Windows OS (8 and 10). Esp: Firma Digital de documents electrónicos PDF en formato PAdES con certificados digitales X.509 y tokens criptográficos en español.
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.
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.
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.
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 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 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.