Build gen AI apps with an all-in-one modern database: MongoDB Atlas
MongoDB Atlas provides built-in vector search and a flexible document model so developers can build, scale, and run gen AI apps without stitching together multiple databases. From LLM integration to semantic search, Atlas simplifies your AI architecture—and it’s free to get started.
Start Free
Simply solve complex auth. Easy for devs to set up. Easy for non-devs to use.
Transform user access with Frontegg CIAM: login box, SSO, MFA, multi-tenancy, and 99.99% uptime.
Custom auth drains 25% of dev time and risks 62% more breaches, stalling enterprise deals. Frontegg platform delivers a simple login box, seamless authentication (SSO, MFA, passwordless), robust multi-tenancy, and a customizable Admin Portal. Integrate fast with the React SDK, meet compliance needs, and focus on innovation.
Test case framework primarily intended for application monitoring. It provide users with an API for writing test cases as Java classes. Test cases are configured in XML and published in a container for local or remote execution. Integrates with Nagios.
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.
rMock 2.0.0 is a Java mock object framework based on jUnit. rMock has support for a record-modify-playback-verify workflow when writing jUnit tests, integrates better with IDE refactoring support and allows designing interfaces in a true test first fash
Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).
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.
CubicTest is a visual tool for writing Selenium and Watir tests. It makes tests faster and easier to write, and provides abstractions to make tests more robust and reusable. Go to www.CubicTest.org for more information. The SVN is moved to www.OpenQA.org
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.
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/.
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
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
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.