Formal Verification | JarCasting

dswork-cs

com.github.skeychen : dswork-cs

dswork-framework

Last Version: 10.2.1

Release Date: Jul 6, 2021

google-maps-utility-library-v3-keydragzoom

org.webjars.npm : google-maps-utility-library-v3-keydragzoom

WebJar for google-maps-utility-library-v3-keydragzoom

Last Version: 2.0.9

Release Date: Dec 30, 2016

jMonkeyEngine

org.jmonkeyengine : jme3-niftygui

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Last Version: 3.5.2-stable

Release Date: Apr 21, 2022

okeydoke

com.oneeyedmen : okeydoke

An approvals test library

Last Version: 1.3.3

Release Date: Jun 29, 2021

keycloak-config-api

org.wildfly.swarm : keycloak-config-api

WildFly Swarm: Parent

Last Version: 1.0.1.Final

Release Date: Jan 26, 2017

hotkeys-js

org.webjars.npm : hotkeys-js

WebJar for hotkeys-js

Last Version: 3.8.5

Release Date: May 28, 2021

keywords-Fence

com.thoughtworks.dsl : keywords-fence_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

akeyless-uam-api

com.akeyless-security.uam.swagger : akeyless-uam-api

Swagger Java

Last Version: 1.0.7

Release Date: Jul 17, 2019

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_sjs0.6_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Spring Cloud Azure Starter Key Vault Certificates

com.azure.spring : spring-cloud-azure-starter-keyvault-certificates

Last Version: 4.2.0

Release Date: May 26, 2022

keywordsign-core

com.liumapp.keywordsign.core : keywordsign-core

itext关键词定位签署功能模块核心库

Last Version: v1.0.1

Release Date: Sep 5, 2019

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs1_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keypool

org.typelevel : keypool_3.0.0-RC2

Last Version: 0.4.2

Release Date: Apr 25, 2021

languageServer

com.github.keyboardDrummer : languageserver_sjs1_2.13

Last Version: 0.1.9

Release Date: Feb 27, 2021

Keywhiz Log

com.squareup.keywhiz : keywhiz-log

A distribution system for secrets.

Last Version: 0.10.1

Release Date: Sep 7, 2019

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs1_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

cas-server-support-yubikey-dynamodb

org.apereo.cas : cas-server-support-yubikey-dynamodb

Last Version: 6.6.0-RC4

Release Date: Jun 17, 2022

monkeys

org.ensime : monkeys_2.12

Last Version: 2.0.2

Release Date: Aug 3, 2018

envsupport-jmonkey

org.activecomponents.jadex : jadex-environment-envsupport-jmonkey

This extensions allows for visualizing 3d environments of envsupport applications.

Last Version: 4.0.265

Release Date: Mar 25, 2022

com.liferay.keyword.apio.impl

com.liferay : com.liferay.keyword.apio.impl

Liferay Keyword Apio Implementation

Last Version: 1.0.13

Release Date: Mar 29, 2019

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_2.13.0-M4

Last Version: 1.3.1+10-84868c21

Release Date: Jun 11, 2019

ygg-auth-keycloak

eu.limetri.ygg : ygg-auth-keycloak

Ygg provides core components for a business process handing platform

Last Version: 0.28

Release Date: Oct 21, 2015

cas-server-support-yubikey-mongo

org.apereo.cas : cas-server-support-yubikey-mongo

Last Version: 6.6.0-RC4

Release Date: Jun 17, 2022

Keycloak Guides Maven Plugin

org.keycloak : keycloak-guides-maven-plugin

Last Version: 18.0.2

Release Date: Jun 24, 2022

keystore-manager

com.liumapp.keystore : keystore-manager

Managing KeyStore

Last Version: v1.0.5

Release Date: Nov 29, 2017

keywords-ForEach

com.thoughtworks.dsl : keywords-foreach_3

Last Version: 2.0.0-M2+128-447d383d

Release Date: Dec 15, 2021

Key-Value - Binary Utils

com.ethlo.keyvalue : keyvalue-binary

Parent pom providing dependency and plugin management for applications built with Maven

Last Version: 1.1.2

Release Date: Aug 7, 2020

snakeyaml

org.xbib.elasticsearch : snakeyaml

Libraries for Elasticsearch

Last Version: 6.3.2.1

Release Date: Feb 25, 2019

Keycloak Distribution Licenses Common

org.keycloak : keycloak-distribution-licenses-common

Last Version: 18.0.2

Release Date: Jun 24, 2022

did_keyboard_visibility

kz.btsd : did_keyboard_visibility

Last Version: 1.1.8

Release Date: Mar 5, 2020

MazarineBlue - DataDriven-keywords module

org.mazarineblue : MazarineBlue-DataDriven-keywords

The DataDriven-keyword module contains the library allowing for data driven testing. This module is a front for the DataDriven module that does the actual work.

Last Version: 0.1.0

Release Date: Sep 3, 2015

Ontimize Boot (Starter keycloak module)

com.ontimize.boot : ontimize-boot-starter-keycloak

Last Version: 3.8.1

Release Date: Nov 19, 2021

cas-server-support-yubikey-jpa

org.apereo.cas : cas-server-support-yubikey-jpa

Last Version: 6.6.0-RC4

Release Date: Jun 17, 2022

keywords-Map

com.thoughtworks.dsl : keywords-map_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

net.optionfactory.keycloak:optionfactory-keycloak-resources-auth

net.optionfactory.keycloak : optionfactory-keycloak-resources-auth

optionfactory-keycloak realm resource authenticator

Last Version: 1.5

Release Date: Jun 21, 2022

Keyple Service Java Lib

org.eclipse.keyple : keyple-service-java-lib

Keyple core components

Last Version: 2.0.1

Release Date: Dec 8, 2021

TwelveMonkeys :: ImageIO :: XWD plugin

com.twelvemonkeys.imageio : imageio-xwd

ImageIO plugin for X11 Window Dump Format (XWD)

Last Version: 3.8.2

Release Date: Feb 22, 2022

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs0.6_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_sjs0.6_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs0.6_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

MazarineBlue - TestReport-keywords module

org.mazarineblue : MazarineBlue-TestReport-keywords

The TestReport-keywords module contains the library allowing for manipulation of the test report. This module is a front for the TestReport module that does the actual work.

Last Version: 0.1.0

Release Date: Sep 3, 2015

test-tools

com.ubirch.key : test-tools_2.11

tools useful in automated tests

Last Version: 0.11.2

Release Date: Oct 18, 2018

keywords-Map

com.thoughtworks.dsl : keywords-map_sjs1_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

d2v-sankey-js

io.data2viz : d2v-sankey-js

js lib of d2v-sankey-js

Last Version: 0.8.0-RC5

Release Date: Dec 4, 2019

Gravitee.io APIM - Gateway - Services - API Keys cache

io.gravitee.gateway.services : gravitee-gateway-services-apikeyscache

The Gravitee.IO Parent POM provides common settings for all Gravitee components.

Last Version: 3.3.4

Release Date: Dec 1, 2020

keycloak-importexport

com.charlyghislain.keycloak : keycloak-importexport

Keycloak export rest resource

Last Version: 16.0.0

Release Date: Feb 5, 2022

core

com.ubirch.key : core_2.11

business logic

Last Version: 0.11.2

Release Date: Oct 18, 2018

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-macosx64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022