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
Simplify IT and security with a single endpoint management platform
Automate the hardest parts of IT
NinjaOne automates the hardest parts of IT, delivering visibility, security, and control over all endpoints for more than 20,000 customers.
The NinjaOne automated endpoint management platform is proven to increase productivity, reduce security risk, and lower costs for IT teams and managed service providers. The company seamlessly integrates with a wide range of IT and security technologies. NinjaOne is obsessed with customer success and provides free and unlimited onboarding, training, and support.
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
Adaptive Work-Centered User Interface Technology (ACUITy) utilizes semantic technology in an ontology-based approach to modeling and implementing intelligent user interfaces.
An Eclipse plugin to help create, edit and transform Educational Modeling Languages (EML), i.e. semi-formal languages describing teaching/learning strategies. It uses the Eclipse Modeling Framework (EMF) to automatically generate e-learning applications.
Open Source Semantic Web Search Engine Software: If two machines anywhere on the web can agree on the same definition of a digital service or digital good, then machine to machine transactions can use this lingua franca to transact on the users behalf.
ObjectBuilder is a C++ CASE tool (CASE, refactoring, documentation generator). It lets you create, manipulate and navigate classes, class relations, class members and class methods at a high level of abstraction.
This is an Hierarchical State Machine (aka Statechart) engine written in Java (1.5 +) Actually we will develop only support for a subset of UML 2.0 semantics but, in future, we hope to add support for other semantics.
Ensure the availability of your data with coverage across AWS, Azure, and GCP on MongoDB Atlas—the multi-cloud database for every enterprise.
MongoDB Atlas allows you to build and run modern applications across 125+ cloud regions, spanning AWS, Azure, and Google Cloud. Its multi-cloud clusters enable seamless data distribution and automated failover between cloud providers, ensuring high availability and flexibility without added complexity.
PGA (Petit Generateur entre amis : little generator betwenn friends in french) is a generation kernel to load, manipulate emf models (eclipse) with ATL, and practice code generation with several templating technologies like JSP2, Velocity, Jet.
Java objects that share parts of immutable graphs. Reused subgraphs have directly or indirectly recursive Elements. Selected components get replaced by new counterparts in Context of Mirrors - translation tables. Deep copies are not involved.
Fast UML is an open-source UML tool with a simple user interface pop-up free. Draw UML diagrams fast, export diagrams to png, jpg and clipboard.
It pretends to be the union between Violet and UMLet.
Jello Framework is an AOA based java web application framework,it includes many distinct viewpoints such as None Config, BPC Model,DMM persistence technology and so on,supports rapid web application building.
Metaquokka is a highly configurable xml editor, currently available as Gridsphere portlet. Besides the default format, there is suppoert for ESysXML, a simulation description scheme for a geodynamics framework. Supports Generic Mapping Tools rudimentary.
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
This BlueJ-Extension is developed by three student assistants of the lecture "Programming II" at Saarland University. It is designed especially for the students of this lecture, but useable by others too.
Peas provides : data object mapping - data versioning, multi-language support, users & groups - complete web component api - web 2.0 backend and frontend templates
JRequisite is an agile requirement management tool. Its main goal is to give the developer community a free, user friendly, and powerfull tool for requirement analysis and change management.
This project targets to develop a visual UML editor for the popular Eclipse IDE. The visual UML editor plugin is fully compatible with the Eclipse Framework and allow developers easily to model and document their software through the UML2 diagrams.
CM3 describes a set of plugins for several UML-Tools by adding
validation-mechanisms to the tool. This enables the team to setup
several individual validation-rules for their models.
The aim of this project is to to provide a set of interrelated modeling languages that can be used to model businesses and their related entities. The language will covers aspects such as business process, organizational structure, and business entities