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.
Try free now
Your top-rated shield against malware and online scams | Avast Free Antivirus
Browse and email in peace, supported by clever AI
Our antivirus software scans for security and performance issues and helps you to fix them instantly. It also protects you in real time by analyzing unknown files before they reach your desktop PC or laptop — all for free.
XJML 1.0 is a platform for Verification and Validation of Java classes
XJML 1.0 actually can reads one Java class and its contract (written in XML) and then executes the next verification techniques:
1. Runtime Assertion Checking (RAC). Using JML4c and JML4rt tools.
2. Extended Static Checking (ESC). Using ESC/Java2.
3. Full Static Program Verification (FSPV). Using the Why platform (tested with Why 2.30 and Why3 0.71)
... individual Java projects, which together form the WorkFlow tool. They logically can be subdivided in core components and graphical elements. About dotSource Labs and Sourceforge, we provide the open sourcecode to interested parties.
Requirements: Java5/At least Eclipse version 3.3/GEF Draw2d
More information on dotSource Labs!
This project develops a graphical tool to support i* modelling and analysis of the stakeholder requirements. The main development site is at https://se.cs.toronto.edu/trac/ome
Modelio-Open is a project hosting a set of open source extensions (SoaML, SysML and UML Testing Profile) for a previous version (1.2) of the Modelio Free tool .
Currently, the lastest version (2.x) of Modelio modeling and generation tool is available at http://modelio.org/downloads/download-modelio.html. All extensions are downloadable at http://forge.modelio.org/projects.
Picsart Enterprise Background Removal API for Stunning eCommerce Visuals
Instantly remove the background from your images in just one click.
With our Remove Background API tool, you can access the transformative capabilities of automation , which will allow you to turn any photo asset into compelling product imagery. With elevated visuals quality on your digital platforms, you can captivate your audience, and therefore achieve higher engagement and sales.
This project has been moved to the Apache Incubator under the new name Isis. For complete details and latest downloads see http://incubator.apache.org/isis/.
The “RDB2RDF Mapper” is a Java based software desktop application which allows a user to create a mapping file between a relational database and an RDFS/OWL ontology via a graphical user interface. This project is ANDS-funded.
Mosquito is an open sourceJava library for parsing Power Designer PDM files and converting them to the in-memory structure based on object model provided by this library. It is quite useful for relational model based code generation.
Graphical Microcontroller Programming (GMP) is an expert-in-a-box solution which provides an intuitive user interface giving non-professionals the chance to easily create microcontroller programs by graphical means. Vienna University of Technology.
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.
YAW is a tool to transform uml to source files and generate source files from templates. This allows a model driven development (MDA/MDD). YAW is written in java as a plugin for eclipse. Use and extend of YAW is simple and without complex configuration.
Antares DSM is a software to manipule all types of DSMs (see more about DSM in www.dsm.org).
In Antares DSM is possible create, see, and execute functions to optimize the DSM projects.
PHPCallGraph generates static call graphs for PHP sourcecode using the CodeAnalyzer of the InstantSVC project and the DOT tool. The graphs can be leveraged to gain a better understanding of large software systems or even to debunk design flaws in them.
is a loadable application for the jrc-framework, that helps managing db schema. Support for scanning of db-schema, export/import to/from XML, creation and versionizing of db-schema. Column-Definitions are domainbased and the GUI supports drag&drop.
The Dawn project provides collaborative network solution for GMF-Editors. This extension provides conflict-detection mechanisms. It also provides a basic user management system and a Web-Viewer which allows to view every diagram change online.
Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL.
WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.
The "Architecture Visualizator" parses sourcecode and analyze the object oriented structure as well as the control flow and logic aspects. After that it visualize the results for example as graphviz file.
HowTo make 3rdParty Libraries run (per ex. SLF4J, LogBack, Lilith and more) under Eclipse Equinox / OSGI Environments. Modeling and Code Generators: Eclipse Modeling with openArchitectureWare (MWE, Xpand, Xtend, Xtext), BlackBerry development ...
The objective of this project is to provide the benefits of object-oriented modeling in projects developed using structured analysis and which will still be active for many years and require maintenance evolution.
A lightweight Approach for GUI Developing. The Main Goal of this Project is reducing costs of GUI Developing in Enterprise Applications. Its more than a technical Framwework. Its a also set of Rules to help Developers to handle complexity. Please visit
Bluprint is an Agile-MDA code generator. It is a fuss-free tool supporting code generation from UML modelling tools. It supports model/code merging so engineers can easily extend and maintain generated code. Bluprint has been developed using itself.