Rodin is an open tool platform for the cost effective rigorous development of dependable complex software systems and services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.
This platform contributes to the Eclipse framework and is extensible using the Eclipse plug-in mechanism.
Java monitoring and troubleshooting tool that supports JDK 1.4+ and uses lightweight technologies fo
Focus Stacker
Preserve sorted text snippets for reuse in repetitive e-mail replies.
Free lightweight and fast widget to manage your tasks.
An application to convert .ics files to table format.
Write in a markdown editor built for desktop and save your document as HTML.
Word processor designed to support reading comprehension and text composition.
Find related content from your cloud-stored as you work in Microsoft Word and PowerPoint.
Comments