Formal Verification | JarCasting

dswork-http

com.github.skeychen : dswork-http

dswork-framework

Последняя версия: 10.3.5

Дата: 29 апр. 2022 г.

keypool

org.typelevel : keypool_sjs1_2.12

Последняя версия: 0.4.7

Дата: 19 сент. 2021 г.

Keycloak Authentication SPI

org.keycloak : keycloak-authentication-api

Последняя версия: 1.0-beta-3

Дата: 18 июн. 2014 г.

WildFly Swarm: Keycloak Modules

org.wildfly.swarm : wildfly-swarm-keycloak-modules

Последняя версия: 1.0.0.Alpha5

Дата: 26 окт. 2015 г.

Camel Component :: Snakeyaml

org.wildfly.swarm : camel-snakeyaml

Camel SnakeYAML support

Последняя версия: 2018.5.0

Дата: 2 мая 2018 г.

io.github.netmikey.logunit:logunit-core

io.github.netmikey.logunit : logunit-core

The core of the LogUnit framework, containing API and non-logframework-specific code.

Последняя версия: 1.1.3

Дата: 12 янв. 2022 г.

adventure-key

net.kyori : adventure-key

A user-interface library for Minecraft: Java Edition.

Последняя версия: 4.11.0

Дата: 2 июн. 2022 г.

keywords-If

com.thoughtworks.dsl : keywords-if_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

keycloak4s-admin-monix

com.fullfacing : keycloak4s-admin-monix_2.12

Последняя версия: 3.1.1

Дата: 13 сент. 2021 г.

SnakeYAML

be.cylab : snakeyaml

YAML 1.1 parser and emitter for Java

Последняя версия: 1.25.1

Дата: 27 авг. 2019 г.

aws-key-vault

net.consensys.quorum.tessera : aws-key-vault

Tessera is a stateless Java system that is used to enable the encryption, decryption, and distribution of private transactions for Quorum.

Последняя версия: 22.1.3

Дата: 1 июн. 2022 г.

Reactor AWS Client

com.github.tddmonkey : reactor-aws-common

Spring Reactor Wrapper around AWS Client

Последняя версия: 0.0.1

Дата: 2 мая 2017 г.

Codegen - Annotations

it.uniroma2.art.semanticturkey : st-codegen-annotations

this module contains the definition of available custom annotations for code generation of the service controllers

Последняя версия: 11.1

Дата: 23 июн. 2022 г.

keywords-Return

com.thoughtworks.dsl : keywords-return_sjs0.6_2.11

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

keywords-Return

com.thoughtworks.dsl : keywords-return_sjs1_2.12

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

Camel Quarkus :: Azure Key Vault :: Deployment

org.apache.camel.quarkus : camel-quarkus-azure-key-vault-deployment

Autogenerated extensions not yet tested in the native mode

Последняя версия: 2.10.0

Дата: 17 июн. 2022 г.

devon4j-security-keystore

com.devonfw.java.modules : devon4j-security-keystore

Security Module of the Open Application Standard Platform for Java (devon4j) specifically for jwt.

Последняя версия: 2022.04.001

Дата: 23 мая 2022 г.

keypool

io.chrisdavenport : keypool_2.13

Последняя версия: 0.2.0

Дата: 10 сент. 2019 г.

keywords-While

com.thoughtworks.dsl : keywords-while_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

azure-key-vault

net.consensys.quorum.tessera : azure-key-vault

Tessera is a stateless Java system that is used to enable the encryption, decryption, and distribution of private transactions for Quorum.

Последняя версия: 22.1.3

Дата: 1 июн. 2022 г.

KeyStore

com.wolfninja.keystore : keystore-api

an abstraction library for key value stores

Последняя версия: 0.1.0

Дата: 16 дек. 2015 г.

d2v-sankey-common

io.data2viz : d2v-sankey-common

common lib of d2v-sankey-common

Последняя версия: 0.8.0-RC5

Дата: 4 дек. 2019 г.

keywords-Catch

com.thoughtworks.dsl : keywords-catch_sjs0.6_2.13.0-M4

Последняя версия: 1.3.1+10-84868c21

Дата: 11 июн. 2019 г.

keywords-If

com.thoughtworks.dsl : keywords-if_sjs1_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

Дата: 21 мая 2022 г.

keywords-Catch

com.thoughtworks.dsl : keywords-catch_sjs1_2.11

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

jakarta.nosql.mapping : mapping-key-value

Create the specification in Jakarta EE to help Jakarta EE developers create enterprise-grade applications using Java® and NoSQL technologies. It helps them create scalable applications while maintaining low coupling with the underlying NoSQL technology.

Последняя версия: 1.0.0-b4

Дата: 4 июн. 2022 г.

Microsoft Azure SDK for Key Vault Management

com.azure.resourcemanager : azure-resourcemanager-keyvault

This package contains Microsoft Azure Key Vault Management SDK. For documentation on how to use this package, please see https://aka.ms/azsdk/java/mgmt

Последняя версия: 2.16.0

Дата: 24 июн. 2022 г.

lagom-google-pubsub-client

com.elegantmonkeys : lagom-google-pubsub-client_2.12

Последняя версия: 1.0.0-RC1

Дата: 25 апр. 2018 г.

span-key-extractor

com.expedia.www : span-key-extractor

Packages to send ("pipe") Haystack data to external sinks (like AWS Firehose or another Kafka queue)

Последняя версия: 2.0.0

Дата: 5 окт. 2020 г.

keywords-Return

com.thoughtworks.dsl : keywords-return_sjs1_2.11

Последняя версия: 2.0.0-M0+1-b691cde8

Дата: 25 нояб. 2021 г.

security-admin-sso-keycloak

net.n2oapp.framework.security : security-admin-sso-keycloak

Free platform for building microservices based on Spring Boot

Последняя версия: 5.0.15

Дата: 14 дек. 2021 г.

JCA Provider for Azure Key Vault

com.azure : azure-security-keyvault-jca

The Java Crypto Architecture (JCA) Provider for Azure Key Vault

Последняя версия: 2.7.0

Дата: 25 мая 2022 г.

crypto-key-common

com.syntifi.crypto : crypto-key-common

Crypto libraries for working with Public and Private Keys cryptography.

Последняя версия: 0.3.1

Дата: 1 июн. 2022 г.

org.jnosql.artemis:artemis-key-value

org.jnosql.artemis : artemis-key-value

Eclipse JNoSQL Mapping, Artemis API, to key-value NoSQL databases

Последняя версия: 0.0.9

Дата: 16 мая 2019 г.

Errai::Security::Keycloak

org.jboss.errai : errai-security-keycloak

Provides a default Keycloak implementation for the AuthenticationService.

Последняя версия: 4.15.0.Final

Дата: 12 авг. 2021 г.

key-generation

net.consensys.quorum.tessera : key-generation

Tessera is a stateless Java system that is used to enable the encryption, decryption, and distribution of private transactions for Quorum.

Последняя версия: 22.1.3

Дата: 1 июн. 2022 г.