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.
The Eclipse XML-Security Plug-In allows you to experiment with the W3C recommendations on digital signatures and encryption and to learn all about their background. Arbitrary XML documents can be canonicalized, signed, verified and en- or decrypted.
Es handelt sich hier um ein Plugin-Projekt für Eclipse, ins Leben gerufen, da wir an der Uni SML programmiert haben und ich einfach keine manierliche Entwicklungsumgebung finden konnte.
Blubber system is an Eclipse RCP application for distributed systems modeling. Designed for university researches and inlcudes: task graph editor; graph transformation tools; graph modelling on distributed system; real-time modelling on GerdaFramework.
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
Gild is an Eclipse plugin that supports the teaching and learning of programming. Gild currently enables teachers to integrate course materials with code examples. Current project work includes improving collaborative, customization, and marking support.
The Eclipe Eiffel Development Tools (EDT) are a set of plugins which eventually implement a full-fledged, highly integrated Eiffel development environment based on the Eclipse Platform. The EDT plugins contribute a number of facilities specific to Eiffel
BasicJ is a Java API that emulates a variant of the BASIC Language. It is intended as a tool for teaching first time students of computer programming and a stepping stone into Java. It can also be used by adv. users who need easy access to a 2D interface
CARLOS project consists of a service-oriented framework and a set of
facilities to support the collaborative annotation of learning objects,
integrated in the authoring process.
This project aims to develop a standards based Learning Content Editing environment coupled with a content publishing system based on the Eclipse framework.
seiji is a Japanese-Multi-Lingual and Kanji dictionary based on Jim Breen's JMdict and kanjidic2. seiji's face is an easy to use and highly responsive Eclipse RCP. Additional features are vocabulary management and training and more.
A plugin for the Eclipse IDE implementing NumericalChameleon: a powerful numerical convertor, supporting more than 2300 units in 78 categories (physics, radixes, exchange rates, unicode, etc). Fully integrated in the Eclipse IDE (refactoring, copy/paste)
gNaXEL is a graphical XML editor. Intended as a learning tool, it allows one to view XML files in a hierarchical manner, as well as a flat textual representation. It is Java based, using Eclipse SWT libraries and the Apache Xerces libraries.
Example Code Manager is an Eclipse-Plugin for managing sample code and sample data from repositories around the world. Mainly subversion repositories, but support for flat file or CVS repositories are planned.
Software com um grupo de exercícios de lógicas não classicas em português...
Alternativa a listas de exercícios. Abrange Lógica Trivalente, Modal e Paraconsistente.
explicanto is a integrated E-Learning, Knowledge Management and Knowledge Distribution Platform. It consists of two Java-based components: Client-server based Authoring Platform (eclipse RCP, Java EE) and a web-based Distribution Platform (Java EE).
This project shows you how stuff works. It simplifies technology so you can play or work in a visual enviroment with a didactic touch. The first enviroment we supply is XPath 1.0 and XPath 2.0 and XQuery 1.0.
BibTeXlipse is an Eclipse plugin for managing and analyse bibliography databases. Mainly for BibTeX databases, but will import and export many other bibliographic formats.
It's currently in planning phase.