Full access to Enterprise features. No credit card required.
What if You Could Automate 90% of Your Repetitive Tasks in Under 30 Days? At ServoDesk, we help businesses like yours automate operations with AI, allowing you to cut service times in half and increase productivity by 25% - without hiring more staff.
Try ServoDesk for free
Our Free Plans just got better! | Auth0
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.
Duplicated source code can harm maintainability of software systems. Duplo is a tool to find duplicated code blocks in large C, C++, Java, C# and VB.Net systems.
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.
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.
LogiDist offer a solution of "Computer Aided Logistic" with mostly informative purposes on executed pickups/delivery of merchandise.
Is able to manage the whole process of purchase, order management, merchandise delivery to reduce distribution costs.
This project provides runtime performance monitoring and reporting for Java applications. It includes a simple API with timers and counters, data persistence, support classes and aspects (AspectJ & Spring AOP), and a reporting web application.
PMDStat generates statistical HTML reports based on PMD scans and annotations from CVS repository. The original idea comes from QALab project but the aim of PMDStat is to avoid anonymity in determination of who broke given PMD rules.
Round Trip Engineering Objects.
Reverse object oriented source code (Java, C#, PHP5) into XOL (XML Object Language) DOM repository.Validate syntax using XML Schema. XSLT for code refactoring & code generation. IDE Editors available (Eclipse plugin)
Total Network Visibility for Network Engineers and IT Managers
Network monitoring and troubleshooting is hard. TotalView makes it easy.
This means every device on your network, and every interface on every device is automatically analyzed for performance, errors, QoS, and configuration.
Reviewer adds comments on code which developer has to follow up. Useful for managing code quality and determining the quality of work delivered by a developer. Most of all it provides a place where developers can learn from their previous mistakes.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
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/.
BeCover is a Java code coverage tool based on source-code analysis. The main goal is to keep it small and fast, so using it as a plugin in the common IDE's can be achieved.
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.
OCL4Java is a pre-compiler(ant and eclipse) to include OCL-Constrains as Java5 Annotations in the Source-Code and have code to check them generated with a user-defined reaction to violations. (Does not change line-numbers for the debugger)
Lachesis is a Software Complexity Measurement program for object-oriented source code. Includes Halstead Complexity Measures, McCabes Cyclomatic Complexity and Maintainability Index.
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).
PHPatch is (to be) an extensible task oriented/platform independent application in PHP,
for web application management operations (but not restricted), similar to Java Ant.
Tests executed in different environments often rely on environment-specific static properties. EZPZ enables ths use of parameter-driven XML files to provide these properties, and provides hooks for you to generate non-static properties.
SHIFT (State-HIerarchy Functional Testing) provides a new way to test your web apps. It extends other web testing frameworks to allow significantly better testing with less effort, and opens up new ways to test which have never been possible before.
JPluto integrates the popular Linux-based home automation package Pluto with Java. This project integrates at the database level and using a Java version of Pluto's DCE ("Data, Commands, Events") protocol. This is NOT a rewrite of Pluto! This project