Download JAR files tagged by testing with all dependencies

dbgpc from group dk.au.ece.vdmj (version 4.6.0-P)

Group: dk.au.ece.vdmj Artifact: dbgpc
Show all versions Show documentation Show source

0 downloads

Artifact dbgpc
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies junit,
There are maybe transitive dependencies!

vdmj-suite from group dk.au.ece.vdmj (version 4.6.0-P)

VDMJ provides basic tool support for the VDM-SL, VDM++ and VDM-RT specification languages, written in Java. It includes a parser, a type checker, an interpreter (with arbitrary precision arithmetic), a debugger, a proof obligation generator and a combinatorial test generator with coverage recording, as well as JUnit support for automatic testing and user definable annotations.

Group: dk.au.ece.vdmj Artifact: vdmj-suite
Show all versions

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact vdmj-suite
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Organization not specified
URL https://github.com/nickbattle/vdmj
License GPL-3.0
Dependencies amount 0
Dependencies No dependencies
There are maybe transitive dependencies!

stdlib from group dk.au.ece.vdmj (version 4.6.0-P)

Group: dk.au.ece.vdmj Artifact: stdlib
Show all versions Show documentation Show source

0 downloads

Artifact stdlib
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!

vdmjplugin from group dk.au.ece.vdmj (version 4.6.0-P)

Group: dk.au.ece.vdmj Artifact: vdmjplugin
Show all versions Show documentation Show source

0 downloads

Artifact vdmjplugin
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies vdmj,
There are maybe transitive dependencies!

lspplugin from group dk.au.ece.vdmj (version 4.6.0-P)

Group: dk.au.ece.vdmj Artifact: lspplugin
Show all versions Show documentation Show source

0 downloads

Artifact lspplugin
Group dk.au.ece.vdmj
Version 4.6.0-P
Last update 23. September 2024
Organization not specified
URL Not specified
License not specified
Dependencies amount 1
Dependencies lsp,
There are maybe transitive dependencies!

zap from group org.zaproxy (version 2.15.0)

The Zed Attack Proxy (ZAP) is an easy to use integrated penetration testing tool for finding vulnerabilities in web applications. It is designed to be used by people with a wide range of security experience and as such is ideal for developers and functional testers who are new to penetration testing. ZAP provides automated scanners as well as a set of tools that allow you to find security vulnerabilities manually.

Group: org.zaproxy Artifact: zap
Show all versions Show documentation Show source

154 downloads

Artifact zap
Group org.zaproxy
Version 2.15.0
Last update 07. May 2024
Organization OWASP
URL https://www.owasp.org/index.php/ZAP
License The Apache License, Version 2.0
Dependencies amount 27
Dependencies rsyntaxtextarea, java-semver, diffutils, commons-beanutils, commons-collections, commons-configuration, commons-httpclient, commons-io, commons-lang, BrowserLauncher2, harlib, javahelp, log4j, jericho-html, json-lib, commons-csv, httpclient, bcmail-jdk15on, bcprov-jdk15on, bcpkix-jdk15on, hsqldb, jdom, jfreechart, jgrapht-core, swingx-all, sqlite-jdbc, ice4j,
There are maybe transitive dependencies!

spock-junit4 from group org.spockframework (version 2.4-M4-groovy-4.0)

Spock is a testing and specification framework for Java and Groovy applications. What makes it stand out from the crowd is its beautiful and highly expressive specification language. Thanks to its JUnit runner, Spock is compatible with most IDEs, build tools, and continuous integration servers. Spock is inspired from JUnit, jMock, RSpec, Groovy, Scala, Vulcans, and other fascinating life forms.

Group: org.spockframework Artifact: spock-junit4
Show all versions Show documentation Show source

0 downloads

Artifact spock-junit4
Group org.spockframework
Version 2.4-M4-groovy-4.0
Last update 21. March 2024
Organization not specified
URL https://spockframework.org
License The Apache Software License, Version 2.0
Dependencies amount 2
Dependencies spock-core, junit,
There are maybe transitive dependencies!

spock-core from group org.spockframework (version 2.4-M4-groovy-4.0)

Group: org.spockframework Artifact: spock-core
Show all versions Show documentation Show source

88 downloads

Artifact spock-core
Group org.spockframework
Version 2.4-M4-groovy-4.0
Last update 21. March 2024
Organization not specified
URL https://spockframework.org
License The Apache Software License, Version 2.0
Dependencies amount 3
Dependencies groovy, junit-platform-engine, hamcrest,
There are maybe transitive dependencies!

matter-android-demo-sdk from group com.google.matter (version 1.0)

THIS LIBRARY IS PROVIDED WITH NO WARRANTY OR GUARANTEE OF ANY KIND, TO BE USED FOR DEVELOPMENT AND EXAMPLE PURPOSES ONLY. THIS LIBRARY SHOULD NOT BE USED IN A PRODUCTION APPLICATION. This library contains the JNI JAR and SO artifacts (all architectures) from the Matter SDK (https://github.com/project-chip/connectedhomeip) Android CHIP Tool examples to be used in the development and testing of Android Matter controller applications such as GHSAFM.

Group: com.google.matter Artifact: matter-android-demo-sdk

There is no JAR file uploaded. A download is not possible! Please choose another version.

0 downloads

Artifact matter-android-demo-sdk
Group com.google.matter
Version 1.0
Last update 07. February 2024
Organization not specified
URL https://github.com/google-home/sample-apps-for-matter-android
License The Apache License, Version 2.0
Dependencies amount 1
Dependencies kotlin-stdlib-jdk8,
There are maybe transitive dependencies!

patterntesting-check-ct from group org.patterntesting (version 2.4.0)

PatternTesting Check.CT (patterntesting-check-ct) is a quality framework that allows to automatically verify that Architecture/Design recommendations are implemented correctly in the code. It provides different checks of known anti patterns (like using System.out for logging) but provides also a test framework for better testing. The checks are done during compile time (this is the "CT" in Check.CT").

Group: org.patterntesting Artifact: patterntesting-check-ct
Show all versions Show documentation Show source

0 downloads

Artifact patterntesting-check-ct
Group org.patterntesting
Version 2.4.0
Last update 03. February 2024
Organization not specified
URL http://patterntesting.org/release/check/ct/
License not specified
Dependencies amount 1
Dependencies patterntesting-rt,
There are maybe transitive dependencies!

Page 693 from 3 (items total 7135)