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
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
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)
Based on the features of the graphical editing software JaWE (Java Workflow Editor) and the required interpretation of a custom XML dialect, which could not be interpreted by Eclipse, the dotSource GmbH developed a interpreting workflow tool. This allows a time saving, easier application and therefore cost savings.
The workflow tool is an extension for the open source Eclipse programming tool from IBM. This workflow tool has been integrated into the dotSource Studio.
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.
Mosquito is an open source Java 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.
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure
Native application identity and user-based security for your Azure cloud
Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
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.
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.
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.
equanda is an tool to generate a J2EE application based on a XML description of the data and constraints. It generates the access objects, a powerful base user interfaces (with help for more powerful stuff) and support for web services with versioning.
AppSignal's MCP server hands Claude, Cursor, or Zed your real errors, traces, and the deploy that shipped them. AI writes the fix; you review the diff.
This is a graphical editor and code generator for Live Sequence Charts (LSCs). The code generated follows a simple execution mechanism. It shows a possible execution path.
We have added a new local action construct, i.e. a self method call.
A Simple and Efficient Framework for Infinite Resolution Simulation; provides a Java Thread-like class that executes over simulated time. Time units are user-definable, no time quanta, and neither changes to the VM nor pre-processing are required.
Simple implementation of finite state machine concepts.
The project contain ease-to-use library and modeling graphical tool.
Project define simple identical API for Finite State Machines for both language bindings (C# and Java).
A basic package that represents graphs along with some basic graph algorithms in Java. The idea is to keep the representation simple, straightforward and documented.
Water: a fast, secure, dynamic OO language and database. Water is an all-purpose language (and meta-language) that runs Web applications in the browser or server-side. Water is compatible with .NET, Java, and C on Windows, Linux and Mac OS X system.
This project is a java web application developer toolbox. It is among other, a simple and powerful framework which does not require dealing with XML files. It also provides a lot of other features, such as a DB abstraction layer, a nice javadoc doclet, a
STDProject (Simple Tree Driven Project) is a modeling tool for software development projects. It will let you build your project, watch its consistency, generate documentation and reuse work from one project to another.
Open States Machines Designer is a Eclipse RCP based graphical editor for UML States Machines diagrams. It provides functionalities like Import/Export as XML and States Map Compiler Files, Code generation with SMC, UML validation rules...
An alternative to the page-chapter-paragraph documentation approach. LivCos allows you to teach the computer the structure of your content, so it can support you in various contexts. Pages will be generated as one of many views on the actual content.
BPeX is a new XML-Schema model (based upon BPMN OMG specifications and XPDL 2.0) that aims to give a valid support to represent and to analyze business processes, with a graphical support provided by a syntax-aided editor.
a framework library with a template method interface and inheritable classes for an executable process design which produces an executable which is both a GUI and a console application. It provides multi-threading for work items of the provider process .
JS4J is an extensible framework built on Java and XML that generates Javascript. It contains a built-in implementations to manage objects that have been generated by the framework, and can provide a scalable alternative to AJAX implementations.
ITCWorks a Java Framework with more than 500 Java classes. The foundation of ITCPro a visual UI for ORM++. ITCworks includes: - XML Bean Support (SOA,WSDL Schema Framework, Code Gen.)-ORM, object graph gen., SQL code gen., More info at <a href=www.i-tech
This library generates code from UML models using the groovy scripting language. Support UML tools that use XML Metadata Interchange format (XMI). (Argo, Poseidon, Magic Draw, and many others). Currently supports generating JPA entity beans from UML.