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.
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
...With the help of this framework it's possible to implement quickly an own application including menu, status bar, etc. and also an online updater. As a test application a simple and fast text editor (HG Edit) was developed. The framework is also a base for the game framework tjger (www.tjger.com) that is also hosted at sf.net.
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.
Bamja is a Rich Client Platform for data acquisition programs and provides a fast and flexible software development based on a service oriented architecture. This project is dead!
Jact is a tool to provide severval ways of configurating the Asterisk PBX. It's base upon UML2 models of the configuration files. The goal is to get a functional description of all configuration elements around the Asterisk.
Open-jACOB is a rapid application development tool base on Eclipse that enables the development of RichInternetApplications that are based entirely on Java. Open-jACOB application can be deployed as a stand alone app's in a Web container like Tomcat.
Xinity BASE (Business Application Standard Environment) is a Java-based framework that allows easy development and integration of databased rich-applications using xml. a set of modules already ship with the framework like a CMS, HRM & some eGov-funct.
Bug Base is tool for managing bug reports. It consists of a database, a
servlet controlling the database access, an HTML-based reporting frontend and
two Java applets for bug report maintainance and for administration.