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
MongoDB Atlas runs apps anywhere
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.
Draws signalling charts, block diagrams and graphs from text input.
NOTE! We have moved to https://gitlab.com/msc-generator/msc-generator All development happens there. Also, download new releases & submit issues there.
A tool to draw various charts from textual descriptions. Currently, three types of charts are supported: Message Sequence Charts, generic Graphs, and Block Diagrams, with more to be added in the future. There is a command-line version for Linux and Mac (replacing mscgen), which now sports a GUI, as well.
Msc-generator allows fine...
TestLink is a web based Test Management tool.
The application provides Test specification, Test plans and execution, Reporting, Requirements specification and collaborate with well-known bug trackers.
Repository: https://github.com/TestLinkOpenSourceTRMS
Requirements management tool designed to achieve full SDLC traceability for features, requirements, design, implementation and testing. UI for requirements derivation, version control, attributes etc.
Upgrade path also available at https://sourceforge.net/projects/nimble
Validation Manager is a tool to handle all the cumbersome paperwork of regulated environment validations. Including Validation Plans, protocols, executions and exceptions. Keeping everything in one place and best of all paperless.
Source is hosted on Bitbucket: https://bitbucket.org/javydreamercsw/validation-manager
AI-powered service management for IT and enterprise teams
Enterprise-grade ITSM, for every business
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
The concept behind DataWoo is to create a Spring-based architecture that allows developers to jump-start their coding efforts by providing a hardened and secure foundation when developing new systems; it can also be used as a reference for incorporating new technologies into existing systems. DataWoo is meant to be a research and development platform that can be extended into just about any enterprise-level web application. The architecture will be developed in three phases:
1. Basic...
**** THIS LIBRARY WAS MOVED INTO Boost ****
New location: https://github.com/boostorg/contract
C++ Contract Programming (a.k.a. Design by Contract or DbC).
All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc.
Plus virtual specifiers, concept checking, named parameters.
See: http://contractpp.sourceforge.net
ATS4 AppModel is an application flow design tool supporting application specification work, model based testing and test script generation. It provides simple interface to manage complex models. ATS4 AppModel is part of Nokia ATS tool family.
A Python programming environment providing memory sizing, profiling and analysis, and a specification language that can formally specify aspects of Python programs and generate tests and documentation from a common source.
Everything you need to build production-ready agents and models. Access 200+ Google and third-party AI models and tools.
Gemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
JSeqUnit enhances Javadoc documentation with UML sequence diagrams that are generated with the help of JUnit tests. It uses JSeq to trace the execution of test executions. It supports re-engineering of components through improved reverse engineering of methods with the help of sequence diagrams.
Web system in JSF and Hibernate to dynamically import , store in DB , search and display javadoc from source. Downloads & versioning. Testing sections to help students prepare for certification exams (JSCP, SCWCD,etc) ( MySQL, Geronimo 2.1.4 ).
A Java-based in-application help system that can read multiple different documentation file formats, producing professional help systems from multiple sources. Documentation included for testing is from the jAudio project under the latest LGPL licens
The pycurry project is targeted for handling concurrency issues within the Python programming language. It also contains a (almost) fully functional 'Design by Contract' implementation.
JRET (Java Reverse-Engineering Tool) is a program that is capable of reconstructing sequence diagrams from JUnit testsuites through dynamic analysis. It is written in Java/AspectJ and provides a GUI as well as command-line possibilities.
Swing Java Application manages software requirements and associated functional tests, including results, showing requirements/tests traceability at all time. Requirements and tests are formatted as in text processor; print-ready documents are generated.
Utility to document NUnit Testing PLEASE NOTE THIS IS THE FIRST UPLOAD - CODE IS TESTED, INSTALLATION IS NOT - PLEASE TRY THE INSTALLATION AND LET ME KNOW HOW IT GOES - THANKS.
Pest07 assists the structured creation of software test documentation. It can create test cases and group them into sequences. Then test sequences can be executed and documented. Finally the documentation can be exported to a well structured pdf file.
beanSpec is a java based solution for Behaviour Driven Development, specifiying, checking and summarizing the behaviour of a component in a declarative, narrative style.
Patchy extends the Mantis bug tracking system to allow users to submit patches which are then autotested before being queued for approval. Please download, try the live demo (Home Page link above), join the announce mailing list for updates or help code!
A database driven, easy to use bug and issue tracking system with support for multiple users, user groups and projects. Themes, i18n, watchlists, internal messaging between developers and fully customization make it round.