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
Build Securely on Azure with Proven Frameworks
Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.
Moving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
Alster is a unit testing framework for XSLT files written in XSLT itself (but with a dependency on Nalax, an XSLT extension package for Apache Xalan-J).
Currently, all existing formal tools are designed to serve as formal verifiers, using one implementation or another. NO tool is providing a global framework to develop algorithms.
Silicis is a new formal framework for designing [verification] algorithms.
Secure remote access solution to your private network, in the cloud or on-prem.
Deliver secure remote access with OpenVPN.
OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
Verification framework for BPEL4WS processes using model checkers like Spin and NuSMV. It takes input BPEL4WS processes and generates output models that can work as input for these model checkers.
Buildap is a Visual Component Based Development framework. It is available as standalone tool as well as Netbeans and Eclipse plugins. SVG viewer/editor and Diagram Editor are also available. See Buildap powered project at http://e-records.buildap.com/.
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.
Framework for doing unit tests (JUnit, DUnit currently) in heterogeneous and distributed environments. The framework provides methods to test a client/server communication since unit tests are executed and synchronized across multiple nodes on a network.
A project to develop Java-based front-ends to the utPLSQL testing framework. This includes integration with JUnit, Ant and Cruise Control. We are working to release code soon (written September 2004).
Fasper is a framework for parser verification, developed using java and antlr. Fasper uses a "golden model" based testing approach and can be integrated with JUnit. Any parser can be verified by using a plugin.
For more details about the donors you should visit: www.amiq.com/consulting or www.amiq.com/consulting/blog
Java regression and stress testing automationframework focused on easy use, strong data reutilization, JUnit integration and statistics harvesting. Both tests and data can be written in pure XML.
This project is a Java based total radio station automation package using the Java Sound Framework. Its uses range from running an internet streaming radio station to running a full FM or AM broadcast facility.
This project provides a full set of Interfaces and Classes that naturally brings the developer to follow the "Gang of Four" Design Patterns while producing software
The Pegasos Project provides an framework for home automation and control provided by libNexus. This Project also provides applications depends on libNexus. These applications are an Mediacenter solution and an remote control application. More in future.
PCB-Tools is a system independent, a Java programmed Eclipse-RCP application for developing circuit diagrams and printed circuit boards. It uses Eclipse Graphical Editor Framework (GEF) to draw diagrams and layouts.
Open For Government is an open source enterprise automationframework. By open source enterprise automation we mean: Open Source ERP, Open Source CRM, Open Source E-Business / E-Commerce, Open Source SCM, Open Source MRP, Open Source CMMS/EAM, etc.
The repository: https://github.com/zebrunner/carina-cucumber
Carina-Cucumber is an independent Carina module that supports Behaviour-Driven Development (BDD) (TestNG + Cucumber).
Documentation and free support
Cucumber usage example: https://github.com/zebrunner/carina-demo/tree/master/src/test/resources/features
User guide: http://zebrunner.github.io/carina
Demo project: https://github.com/zebrunner/carina-demo
Code formatter
We offer to use our configured Java code formatter...