Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
repo1.maven.org "verification" keyword
edu.washington.cs.types.checker:checker-annotated-openjdk6 1.5.0
Subset of OpenJDK 6 classes, annotated with type qualifiers from the checker framework1 version - Latest release: over 11 years ago - 896 stars on GitHub
io.github.msg134:IEEE1516e 4.0.0
IEEE1516 API Library to be used as placeholder RTI5 versions - Latest release: over 3 years ago - 14 stars on GitHub
edu.washington.cs.types.checker:checker-quals 1.7.5
Annotations ("type qualifiers") from the checker framework8 versions - Latest release: about 10 years ago - 1 dependent repositories - 896 stars on GitHub
com.yoti:yoti-sdk-api 3.8.0
Java SDK for simple integration with the Yoti platform32 versions - Latest release: 7 months ago - 5 dependent packages - 2 dependent repositories - 14 stars on GitHub
com.yoti:yoti-sdk-sandbox 3.8.0
Java SDK for simple integration with the Sandbox Yoti platform25 versions - Latest release: 7 months ago - 14 stars on GitHub
com.yoti:yoti-sdk-impl 2.12.0
Java SDK for simple integration with the Yoti platform21 versions - Latest release: over 3 years ago - 4 dependent packages - 3 dependent repositories - 14 stars on GitHub
com.yoti:yoti-sdk-spring-boot-auto-config 3.8.0
Library to integrate the Java Yoti SDK with Spring Boot Applications32 versions - Latest release: 7 months ago - 1 dependent repositories - 14 stars on GitHub
com.yoti:yoti-sdk-spring-security 3.8.0
Library to integrate the Java Yoti SDK with Spring Security31 versions - Latest release: 7 months ago - 14 stars on GitHub
com.yoti:yoti-sdk-parent 3.8.0
Parent pom for the Java SDK projects27 versions - Latest release: 7 months ago - 14 stars on GitHub
Top 8.9% on repo1.maven.org
120 versions - Latest release: 16 days ago - 11 dependent packages - 12 dependent repositories - 896 stars on GitHub
org.checkerframework:dataflow 3.43.0
Dataflow is a dataflow framework based on the javac compiler.120 versions - Latest release: 16 days ago - 11 dependent packages - 12 dependent repositories - 896 stars on GitHub
Top 5.4% on repo1.maven.org
126 versions - Latest release: 16 days ago - 1,685 dependent packages - 2,614 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-qual 3.43.0
checker-qual contains annotations (type qualifiers) that a programmer writes to specify Java code...126 versions - Latest release: 16 days ago - 1,685 dependent packages - 2,614 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-qual-android 3.43.0
checker-qual-android contains annotations (type qualifiers) that a programmer writes to specify J...70 versions - Latest release: 16 days ago - 1 dependent package - 14 dependent repositories - 951 stars on GitHub
Top 9.2% on repo1.maven.org
120 versions - Latest release: 16 days ago - 11 dependent packages - 9 dependent repositories - 896 stars on GitHub
org.checkerframework:javacutil 3.43.0
javacutil contains utility classes for the javac compiler.120 versions - Latest release: 16 days ago - 11 dependent packages - 9 dependent repositories - 896 stars on GitHub
org.checkerframework:checker-util 3.43.0
checker-util contains utility classes for programmers to use at run time.41 versions - Latest release: 16 days ago - 4 dependent packages - 6 dependent repositories - 897 stars on GitHub
org.checkerframework:testlib 2.5.4
Testlib is a collection of utility classes for testing checkers that use the Checker Framework.4 versions - Latest release: almost 6 years ago - 3 dependent packages - 1 dependent repositories - 934 stars on GitHub
org.checkerframework:jdk7 2.1.14
Annotated JDK 7 consists of bytecode implementing the Open JDK Java 7 api annotated with Checker ...43 versions - Latest release: almost 7 years ago - 1 dependent package - 46 dependent repositories - 951 stars on GitHub
org.checkerframework:checker-qual7 2.4.0
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Fr...6 versions - Latest release: about 6 years ago - 5 dependent packages - 1 dependent repositories - 951 stars on GitHub
io.github.eisop:jdk8 3.0.0-b2
Annotated JDK 8 consists of bytecode implementing the Open JDK Java 8 api annotated with Checker ...1 version - Latest release: almost 5 years ago - 951 stars on GitHub
org.checkerframework:dataflow-shaded 3.43.0
dataflow-shaded is a dataflow framework based on the javac compiler. It differs from the org.chec...55 versions - Latest release: 16 days ago - 12 dependent packages - 2 dependent repositories - 897 stars on GitHub
Top 5.7% on repo1.maven.org
51 versions - Latest release: 7 months ago - 712 dependent packages - 346 dependent repositories - 934 stars on GitHub
org.checkerframework:checker-compat-qual 2.5.6
Checker Qual is the set of annotations (qualifiers) and supporting classes used by the Checker Fr...51 versions - Latest release: 7 months ago - 712 dependent packages - 346 dependent repositories - 934 stars on GitHub
org.checkerframework:dataflow-nullaway 3.43.0
dataflow-nullaway is a dataflow framework based on the javac compiler. It differs from the org.ch...37 versions - Latest release: 16 days ago - 18 dependent packages - 1 dependent repositories - 896 stars on GitHub
org.checkerframework:framework-test 3.43.0
framework-test contains utility classes for testing type-checkers that are built on the Checker F...71 versions - Latest release: 16 days ago - 3 dependent packages - 10 dependent repositories - 896 stars on GitHub
Top 7.8% on repo1.maven.org
37 versions - Latest release: 16 days ago - 42 dependent packages - 15 dependent repositories - 897 stars on GitHub
org.checkerframework:dataflow-errorprone 3.43.0
dataflow-errorprone is a dataflow framework based on the javac compiler. It differs from the org....37 versions - Latest release: 16 days ago - 42 dependent packages - 15 dependent repositories - 897 stars on GitHub
Top 6.5% on repo1.maven.org
75 versions - Latest release: about 4 years ago - 27 dependent packages - 245 dependent repositories - 934 stars on GitHub
org.checkerframework:jdk8 3.3.0
Annotated JDK 8 consists of Checker Framework annotations for the Open JDK Java 8 API. Method imp...75 versions - Latest release: about 4 years ago - 27 dependent packages - 245 dependent repositories - 934 stars on GitHub
Top 5.9% on repo1.maven.org
126 versions - Latest release: 16 days ago - 55 dependent packages - 375 dependent repositories - 896 stars on GitHub
org.checkerframework:checker 3.43.0
The Checker Framework enhances Java's type system to make it more powerful and useful. This lets ...126 versions - Latest release: 16 days ago - 55 dependent packages - 375 dependent repositories - 896 stars on GitHub
edu.washington.cs.types.checker:checker-quals-jdk5 1.7.5
Annotations ("type qualifiers") from the checker framework, backported so they can be used in pre...8 versions - Latest release: about 10 years ago - 1 dependent repositories - 896 stars on GitHub
Top 7.5% on repo1.maven.org
90 versions - Latest release: 2 days ago - 6 dependent packages - 27 dependent repositories - 4,893 stars on GitHub
io.mockk:mockk-dsl-jvm 1.13.11 💰
MockK DSL providing API for MockK implementation90 versions - Latest release: 2 days ago - 6 dependent packages - 27 dependent repositories - 4,893 stars on GitHub
Top 8.7% on repo1.maven.org
80 versions - Latest release: 2 days ago - 6 dependent packages - 7 dependent repositories - 4,893 stars on GitHub
io.mockk:mockk-dsl 1.13.11 💰
MockK DSL providing API for MockK implementation80 versions - Latest release: 2 days ago - 6 dependent packages - 7 dependent repositories - 4,893 stars on GitHub
Top 4.5% on repo1.maven.org
93 versions - Latest release: 2 days ago - 413 dependent packages - 5,663 dependent repositories - 4,881 stars on GitHub
io.mockk:mockk 1.13.11 💰
Mocking library for Kotlin93 versions - Latest release: 2 days ago - 413 dependent packages - 5,663 dependent repositories - 4,881 stars on GitHub
Top 9.1% on repo1.maven.org
50 versions - Latest release: 2 days ago - 3 dependent packages - 50 dependent repositories - 4,881 stars on GitHub
io.mockk:mockk-agent 1.13.11 💰
MockK inline mocking agent50 versions - Latest release: 2 days ago - 3 dependent packages - 50 dependent repositories - 4,881 stars on GitHub
Top 8.6% on repo1.maven.org
58 versions - Latest release: 2 days ago - 7 dependent packages - 6 dependent repositories - 4,881 stars on GitHub
io.mockk:mockk-agent-api 1.13.11 💰
API to build MockK agents58 versions - Latest release: 2 days ago - 7 dependent packages - 6 dependent repositories - 4,881 stars on GitHub
io.mockk:mockk-agent-android 1.13.11 💰
Android instrumented testing MockK inline mocking agent56 versions - Latest release: 2 days ago - 2 dependent packages - 1 dependent repositories - 4,881 stars on GitHub
Top 8.8% on repo1.maven.org
57 versions - Latest release: 2 days ago - 3 dependent packages - 116 dependent repositories - 4,893 stars on GitHub
io.mockk:mockk-agent-jvm 1.13.11 💰
MockK inline mocking agent57 versions - Latest release: 2 days ago - 3 dependent packages - 116 dependent repositories - 4,893 stars on GitHub
Top 4.6% on repo1.maven.org
13 versions - Latest release: 2 days ago - 71 dependent packages - 155 dependent repositories - 4,893 stars on GitHub
io.mockk:mockk-jvm 1.13.11 💰
Mocking library for Kotlin13 versions - Latest release: 2 days ago - 71 dependent packages - 155 dependent repositories - 4,893 stars on GitHub
Top 5.6% on repo1.maven.org
57 versions - Latest release: 2 days ago - 12 dependent packages - 164 dependent repositories - 4,881 stars on GitHub
io.mockk:mockk-android 1.13.11 💰
Mocking library for Kotlin (Android instrumented test)57 versions - Latest release: 2 days ago - 12 dependent packages - 164 dependent repositories - 4,881 stars on GitHub
io.mockk:mockk-core 1.13.11 💰
MockK functionality that is used by other MockK modules13 versions - Latest release: 2 days ago - 3 dependent packages - 4,894 stars on GitHub
io.mockk:mockk-agent-api-jvm 1.13.11 💰
API to build MockK agents15 versions - Latest release: 2 days ago - 3 dependent packages - 4,894 stars on GitHub
io.mockk:mockk-core-jvm 1.13.11 💰
MockK functionality that is used by other MockK modules13 versions - Latest release: 2 days ago - 4 dependent packages - 1 dependent repositories - 4,894 stars on GitHub
io.mockk:mockk-dsl-js 1.11.0 💰
JS MockK DSL providing API for MockK implementation59 versions - Latest release: about 3 years ago - 2 dependent packages - 5 dependent repositories - 4,893 stars on GitHub
Top 7.5% on repo1.maven.org
65 versions - Latest release: almost 2 years ago - 5 dependent packages - 67 dependent repositories - 4,891 stars on GitHub
io.mockk:mockk-common 1.12.5 💰
Common(JS and Java) MockK module65 versions - Latest release: almost 2 years ago - 5 dependent packages - 67 dependent repositories - 4,891 stars on GitHub
io.mockk:mockk-agent-common 1.12.5 💰
Common classes for agents42 versions - Latest release: almost 2 years ago - 2 dependent packages - 3 dependent repositories - 4,881 stars on GitHub
com.vonage:server-sdk 8.6.0
Java client for Vonage APIs12 versions - Latest release: 30 days ago - 82 stars on GitHub
com.vonage:client 8.1.0
Java client for Vonage APIs26 versions - Latest release: 4 months ago - 2 dependent packages - 23 dependent repositories - 82 stars on GitHub
me.yesilyurt.burak:kaptan-field-checker 1.1.0
It checks class fields in terms of input validation and verification.3 versions - Latest release: over 5 years ago - 10 stars on GitHub
io.github.chiselverify:chiselverify 0.3.0
chiselverify3 versions - Latest release: over 1 year ago - 102 stars on GitHub
io.github.chiselverify:soc-comm 0.1.0
soc-comm1 version - Latest release: over 3 years ago - 102 stars on GitHub
org.notninja:verifier 0.3.0
Verifier is a Java library for validation.1 version - Latest release: over 6 years ago - 2 stars on GitHub
com.yaml-validator:yaml-validator 0.12
A data validator based on YAML rules1 version - Latest release: about 4 years ago - 5 stars on GitHub
com.yaml-validator:yaml-validator-site 0.12
The official web site of yaml-validator1 version - Latest release: about 4 years ago - 5 stars on GitHub
com.yaml-validator:yaml-validator-report 0.12
The module just for aggregating the test coverage1 version - Latest release: about 4 years ago - 5 stars on GitHub
com.yaml-validator:yaml-validator-core 0.12
The core API of yaml-validator1 version - Latest release: about 4 years ago - 4 dependent packages - 1 dependent repositories - 5 stars on GitHub
com.yaml-validator:yaml-validator-tags 0.12
The built-in validator tags1 version - Latest release: about 4 years ago - 3 dependent packages - 1 dependent repositories - 5 stars on GitHub
com.yaml-validator:yaml-validator-all 0.12
The all-in-one module that includes all necessary modules to use yaml-validator1 version - Latest release: about 4 years ago - 5 stars on GitHub
com.yaml-validator:yaml-validator-cli 0.12
The command line interface for yaml-validator1 version - Latest release: about 4 years ago - 5 stars on GitHub
org.whiley:wyc 0.10.18
The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for com...79 versions - Latest release: almost 2 years ago - 4 dependent packages - 3 dependent repositories - 215 stars on GitHub
org.whiley:wytp 0.7.0
This provides a simple implementation of an automated theorem prover, designed specifically for u...32 versions - Latest release: over 3 years ago - 1 dependent package - 1 dependent repositories - 215 stars on GitHub
org.whiley:wyc-all 0.9.9
The Whiley Compiler is a component of the Whiley Compiler Collection which is responsible for com...9 versions - Latest release: over 2 years ago - 213 stars on GitHub
science.aist.gtf:verification 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 3 stars on GitHub
science.aist.gtf:visualization 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 3 stars on GitHub
science.aist.gtf:template 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 1 dependent package - 2 dependent repositories - 3 stars on GitHub
science.aist.gtf:core 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 3 stars on GitHub
science.aist.gtf:gtf 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 3 stars on GitHub
io.skelp:verifier 0.2.0
Verifier is a Java library for validation.2 versions - Latest release: over 7 years ago - 2 stars on GitHub
science.aist.gtf:transformation 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 5 dependent packages - 5 dependent repositories - 3 stars on GitHub
science.aist.gtf:graph 2.0.1
Graph Transformation Framework3 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 3 stars on GitHub
org.checkerframework:checkerframework-maven-plugin 1.8.2
The Checker Framework Maven Plugin allows you to easily run the Checker Framework in your Maven b...3 versions - Latest release: almost 10 years ago - 952 stars on GitHub
edu.washington.cs.types.checker:checker-annotated-jdk7 1.7.5
Subset of JDK 7 classes, annotated with type qualifiers from the checker framework1 version - Latest release: about 10 years ago - 1 dependent repositories - 896 stars on GitHub
edu.washington.cs.types.checker:checker-maven-plugin 1.7.5
Maven plugin for using the checker framework8 versions - Latest release: about 10 years ago - 1 dependent repositories - 896 stars on GitHub
io.mockk:mockk-js 1.7.17 💰
mocking library for Kotlin (JS)22 versions - Latest release: about 6 years ago - 3 dependent repositories - 4,881 stars on GitHub
io.github.msg134:TC.lib 4.0.0
Library to be used by IVCT test case developers5 versions - Latest release: over 3 years ago - 14 stars on GitHub
com.github.mawippel:overlapping-date-ranges 1.0.5
Library to help centralize and help people dealing with overlapping date ranges verifications.2 versions - Latest release: almost 5 years ago - 1 dependent repositories - 6 stars on GitHub
edu.berkeley.cs:chiseltest_2.13 6.0.0
chiseltest21 versions - Latest release: 3 months ago - 194 stars on GitHub
edu.berkeley.cs:chiseltest_2.12 0.6.1
chiseltest31 versions - Latest release: 9 months ago - 5 dependent packages - 1 dependent repositories - 158 stars on GitHub
edu.washington.cs.types.checker:checker-annotated-jdk8 1.7.5
Subset of JDK 8 classes, annotated with type qualifiers from the checker framework1 version - Latest release: about 10 years ago - 1 dependent repositories - 896 stars on GitHub
edu.berkeley.cs:chiseltest_2.11 0.3.4
chiseltest15 versions - Latest release: over 2 years ago - 146 stars on GitHub
edu.washington.cs.types.checker:checker-annotated-openjdk7 1.7.2
Subset of OpenJDK 7 classes, annotated with type qualifiers from the checker framework7 versions - Latest release: over 10 years ago - 896 stars on GitHub
live.fanxing:fanxing-security-spring-boot-starter 1.3.6
Simple token asynchronous verification authority framework, support custom success failure return...3 versions - Latest release: over 3 years ago - 2 stars on GitHub
Related Keywords
java
36
testing
28
types
24
mocking-framework
16
mock
16
matcher
16
kotlin
16
hacktoberfest
16
chain-calls
16
argument-matchers
16
tdd
16
transformation
7
model
7
graph
7
cli
7
kotlin-cli
7
test-framework
7
testing-framework
7
validator
7
yaml
7
yaml-validator
7
sdk
6
register
6
multifactor-authentication
6
login
6
identity
6
2fa
6
yoti
6
spring-boot
6
chisel
5
validation
4
compiler
3
language
3
whiley
3
formal
3
timed-assertions
2
scala
2
functional-coverage
2
coverage
2
constrained-random-verification
2
chisel-test
2
hla
2
bus-functional-model
2
certification
2
hla-federates
2
ivct
2
authentication
2
developer-destination
2
dtmf
2
messaging
2
messaging-api
2
phone
2
psd2
2
server-sdk
2
sms
2
sms-api
2
telecom
2
two-factor
2
two-factor-authentication
2
verify
2
video-api
2
voice
2
vonage
2
security
1
permission-verification
1
authentication-tokenauthentication
1
overlapping
1
localdatetime
1
date
1
localdate
1
variables
1
validation-library
1
regex-validator
1
pojo
1
opensource
1
model-view-controller
1
model-checking
1
kaptan-field-checker
1
java-library
1
input-validation
1
input-field
1
class
1
checker
1
annotations
1