Parallel agents. Multi-agent orchestration. Specs that turn into shipped code. Zenflow automates planning, coding, testing, and verification.
Zenflow is the AI workflow engine built for real teams. Parallel agents plan, code, test, and verify in one workflow. With spec-driven development and deep context, Zenflow turns requirements into production-ready output so teams ship faster and stay in flow.
Try free now
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.
Marathon supports testing of Java/Swing and Java/Fx applications.
Marathon provides an integrated environment for test script creation and execution.
Supported FW: Web, Java Swing/ Java FX. Currently, Marathon supports JRuby script models for recording the test scripts.Marathon test runner generates Allure test reports.Marathon allows for grouping of test cases.It also has an option of inserting modules while recording(in MarathonITE while recording). It allows tester to inset checklist while recording and also takes screen capture and annotate it in...
Robust, Lightweight, Cross-platform, Template Software. STLSoft is a collection of STL and standard library extensions, and facades over operating-system and 3rd-party APIs.
Little Software Stats is the first free and open source program that allows software developers to keep track of how their software is being used. It is coded in PHP/MySQL which allows it to run on most web servers.
A model-based test automation framework for GUI applications
This framework supports a wide variety of model-based GUI testing techniques. The innovation lies in the architecture of GUITAR, which uses plug-ins to support flexibility and extensibility. Software developers and quality assurance engineers may use this architecture to create new toolchains, new workflows based on the toolchains, and plug in a variety of measurement tools to conduct GUI testing.
More detail is presented in this publication:
GUITAR: An Innovative Tool for Automated...
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.
CppUnit is the C++ port of the famous JUnit framework for unit testing.
Test output is in XML or text format for automatic testing and GUI based for supervised tests.
SISSy is a platform for problem pattern identification in OO source code written in Java, C++ or Delphi. Problem patterns include the well-known bad smells as well as typical violations of good OO design principles and heuristics.
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.
Newspeak is a simplified programming language, well-suited for the purpose of static analysis. The compiler c2newspeak tranforms C programs into Newspeak. Other utilities to manipulate Newspeak programs are also available.
Orc is a embedded language for orchestrating concurrent and distributed programming. It can ensure safe, dead-lock free concurrent execution. This is an implementation of Orc semantics for the .NET framework.
Orate is a source-level tracing facility for Oracle PL/SQL. Programmers insert calls to Orate in the code and Orate captures and writes run time information to a table. These data are suitable for debugging, testing and profiling the application.
A C++ library for reading and writing configuration files as easily as creating a variable. Depends only on the STL library and allows any serializable object to be read or written. Preserves comments and tries to be rational about placing new settin
Source code template library for encapsulation of highly-visible program data. Provides storage, access control, and duplication. Enforces modular access pattern, restricting normal functions from object access. Also protects simple objects and POD.
A framework for abstract access to CM / SCM / SCCM / ALM systems (Bugzilla, ClearCase, Mantis, StarTeam, etc.). The project offers one SDK for Bugzilla, ClearCase, Mantis, StarTeam, etc.
JMonitoring and NMonitoring are monitoring frameworks for Java and .Net applications, based on AOP (AspectJ and AspectDNG). Data are stored in database, memory or XML and can be consulted with a web console. http://forge.octo.com/confluence/display/JMO
Avignon is an acceptance test system that allows you to write executable tests in a language that you define. It uses XML to define the syntax of the language but, if you choose to extend the language, leaves the semantics of the tests up to you.
Flogger - a Free Logger.
An easy to use and easy to customize logging library that works on a wide range of operating systems.
Write your log entries effortlessly and efficiently to the console, to a file, to a data base or to some other source.
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)
MiniCppUnit another C++ port of the famous JUnit framework for unit testing.
Unlike CppUnit, MiniCppUnit follows a minimalistic aproach: The basic features are the same but in only bout 500 lines of code! No library instalation is needed, etc.
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected.
Simple Portable Memory Management (SPMM) is a small, easy to integrate memory management library for C++. The library emphasizes simplicity of use and implementation while guaranteeing leak free program execution.