AgilPro is an Eclipse based business process modeling suite
AgilPro is an Eclipse based business process modeling suite providing a Business Process Modeler [LiMo - Light Modeler], a desktop application to preview and run processes [Simulator] and Application Adapters to plug in standard apps: Firefox, OpenOffice
A package of SystemML processes for simulating networks of leaky integrators; currently implemented only in BRAHMS (http://sourceforge.net/projects/brahms/), and including Matlab tools similar to Nodeweaver (http://sourceforge.net/projects/nodeweaver/).
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.
UML based development environment for C++. The main idea is to use graphic view of the project as much as possible (design, refactoring and so on) and go to code view when it is really required (implement function, fix bug and so on).
GGredit is library that implements base functionality for a generic graphic editor. DDraw is a diagram editor designed for Gnome that use GGredit. DDraw is inspired to DIA, it can be used to draw many different kinds of diagrams.
Objectreferenceanalyser (ORA) helps finding memory leaks, design weaknesses and bugs. The ORA-Framework visualizes objects, their content and relations during runtime of any Java application and is able to persist these findings for subsequent analyze.
Quantum Mechanical Toolkit And 3D Viewer for C++. Allows Data Visualisation via Images, Surfaces and Volume plots using OpenGL, as well as rapid development Quantum Mechanical Simulations. Uses the Blitz++, VTK Visualisation and Qt Libraries.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
Koolon is a simple graph (network) modeling tool with interactive data visualization like Prefuse. It allow to create entities, relations, ontologies, directed and undirected graphs and any abstract network models.
SeaMonster is a security modeling tool for threat models. It supports notations that security experts and analyzers are already familiar with, namely attack trees and misuse cases, and can connect to a repository for model sharing and reuse.
ServiceComposer is a tool to develop composite Web services using the Model-Driven Architecture principles and UML 2 modeling language. More precisely, the modeling language used in a UML 2 profile called UML-S (UML for Services engineering). A class
Pi combines a programming language (comparable to 'R') with an advanced GUI including 3D and 2D visualizations and a highly flexible interface to analyse, visualize and manipulate data. It is extendible by C++ librarys as well as by Pi-scripts
The power provided by OWL reasoning engines can be translated into Java applications and vice versas with this framework. A binding among OWL and Java concepts has been done in order to incorporate the semantic features of OWL into Java.
Simple TreeEditor for making hierarchical json files. Writen on Java-SWT. Tree orderable by dragging, editable by context menu. Have a simple edit panel, with name, and configurable type, and description textarea.
This project has the intention to support MVP with MVVM patterns in a new framework for desktop or web applications. This framework support an MVP or MVP-VM implementation. More info at http://javamvpvmframework.blogspot.com
Sugar4j generates code without the use of external text files, templates, JSP and the like. The static and the dynamic parts are both contained in the same Sugar4j java file. Everything is java. publicc().classs("Sugar4j").empty();
Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.