Formal Verification | JarCasting

Aquifer

io.github.typemonkey : aquifer

A Java library that generates GUIs for terminal-based applications

Last Version: 1.0.0

Release Date: May 10, 2022

Keycloak JS Adapter NPM Distribution

org.keycloak : keycloak-js-adapter-npm-dist

Last Version: 18.0.2

Release Date: Jun 24, 2022

it.uniroma2.art.semanticturkey : st-custom-service-backends

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

Last Version: 11.1

Release Date: Jun 23, 2022

org.wso2.carbon.identity.api.server.keystore.management

org.wso2.carbon.identity.server.api : org.wso2.carbon.identity.api.server.keystore.management

Last Version: 1.1.3

Release Date: Feb 17, 2022

launchkey-super-pom

com.launchkey.pom : super-pom

LaunchKey OSS Super POM

Last Version: 1.0.0

Release Date: Apr 28, 2015

st-rdf-lifters

it.uniroma2.art.semanticturkey : st-rdf-lifters

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

Last Version: 11.1

Release Date: Jun 23, 2022

MiksiloLspServer

com.github.keyboardDrummer : miksilolspserver_2.12

Last Version: 1.0

Release Date: Oct 22, 2018

Bigwig Public Key SASL Mechanism

io.bigwig : public-key-sasl-mechanism

A SASL provider for the RabbitMQ Java library using public key authentication

Last Version: 1.0.1

Release Date: Aug 14, 2013

sample-key-extractor

com.expedia.www : sample-key-extractor

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

Last Version: 2.0.0

Release Date: Oct 5, 2020

Keycloak : Migrate : Gkcadm

dk.grinn.keycloak : keycloak-migrate-gkcadm

Keycloak migrate command line entries.

Last Version: 15.0.0.1

Release Date: Sep 8, 2021

EAR example

org.keycloak.example.demo : customer-portal-example-ear

EAR contains customer and product portals.

Last Version: 15.0.2

Release Date: Aug 20, 2021

Keyple Plugin CNA Bluebird Specific NFC Java Lib

org.calypsonet.keyple : keyple-plugin-cna-bluebird-specific-nfc-java-lib

Keyple addon to manage Bluebird Specific NFC readers

Last Version: 2.0.0-rc1

Release Date: Sep 1, 2021

keywords-Each

com.thoughtworks.dsl : keywords-each_sjs1_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Key-Value - MySQL implementation

com.ethlo.keyvalue : keyvalue-mysql

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

Last Version: 1.1.2

Release Date: Aug 7, 2020

crashlog-hockey

com.icapps.crashreporter : crashlog-hockey

iCapps crash reporter library for hockey

Last Version: 3.0.0

Release Date: Feb 9, 2021

Keycloak Export And Import

org.keycloak : keycloak-export-import

Last Version: 1.0-beta-1-20150523

Release Date: May 23, 2014

dropwizard-jose-jwt-keygen-tool

com.sigpwned : dropwizard-jose-jwt-keygen-tool

dropwizard-jose is an extension for Dropwizard 3.0+ that adds JOSE (JavaScript Object Signing and Encryption) features to the framework, including JWT creation, signing, and verification.

Last Version: 4.0.4

Release Date: Jun 24, 2022

WildFly Swarm: Keycloak Server Test

org.wildfly.swarm : keycloak-server-test

Last Version: 1.0.1.Final

Release Date: Jun 17, 2016

parent

org.mydotey.cascadedkeymap : parent

cascaded key map

Last Version: 1.0.0

Release Date: Jul 23, 2018

Spring MVC Example Application

com.launchkey.sdk : launchkey-examples-spring-mvc

Example application for using the Platform SDK in a Spring MVC application

Last Version: 2.1.0

Release Date: Apr 26, 2016

KotlinAndroidBle

net.akaish.kab : ikey-kab

KotlinAndroidBle - helper library for running android ble related operations in coroutine context

Last Version: 0.9.8

Release Date: Feb 17, 2022

tkey-sso-client-starter-rest

com.cdk8s.tkey : tkey-sso-client-starter-rest

Last Version: 1.0.7

Release Date: Nov 10, 2020

Keycloak Federation

org.keycloak : keycloak-federation-parent

Last Version: 18.0.2

Release Date: Jun 24, 2022

Camunda Platform 7 - engine plugins - identity - keycloak - root

org.camunda.bpm.extension : camunda-platform-7-keycloak-root

A Camunda 7 Identity Provider Plugin for Keycloak

Last Version: 7.17.0

Release Date: May 20, 2022

datatables.net-keytable-bs

org.webjars.bowergithub.datatables : dist-datatables-keytable-bootstrap

WebJar for datatables.net-keytable-bs

Last Version: 2.5.0

Release Date: Apr 12, 2019

REST Example

org.keycloak : keycloak-examples-providers-rest

Last Version: 18.0.2

Release Date: Jun 24, 2022

Secret Store - Examples - Client Behind Proxy

org.keycloak.secretstore : secret-store-examples-client-behind-proxy

Client service calling the backend, with the tokens being handled by a filter.

Last Version: 1.0.15.Final

Release Date: Apr 18, 2016

persist-keyvalue-inmemory

tz.co.asoft : persist-keyvalue-inmemory-metadata

Platform agnostic contracts for persisting key-value pairs in memory

Last Version: 0.2.10

Release Date: Jan 19, 2021

TextDecorator

com.tuyenmonkey : text-decorator

A library that helps to decorate TextView easily

Last Version: 1.0.0

Release Date: Jan 6, 2017

st-ontoportal-connector

it.uniroma2.art.semanticturkey : st-ontoportal-connector

Semantic Turkey parent project. It contains the three modules about: core business logic, core services and firefox extension (ui and client in general) of the system. Three additional modules provide an implementation for the ontology manager to be bundled with the tool, an applet for graph visualization of ontologies and concept schemes and a test suite to run tests on a java client framework. An ANT build file allows to package the xpi for Firefox installation (read README2BUILD.TXT file for info)

Last Version: 11.1

Release Date: Jun 23, 2022

KeyboardFXDemo

com.dlsc.keyboardfx : keyboardfx-demo

Demos for KeyboardFX

Last Version: 1.1.0

Release Date: Jan 4, 2022

VK Bot Java SDK

com.github.healexxzt : vk-bot-keyboard

SDK for interacting with VK.com API

Last Version: 1.1.2

Release Date: Feb 19, 2020

afirma-keystores-single

es.gob.afirma : afirma-keystores-single

Modulo para el uso de certificados en fichero (.cer/.p7s)

Last Version: 1.7.2

Release Date: Dec 21, 2021

Secret Store - Parent

org.keycloak.secretstore : secret-store-parent

Parent module, where the versions are defined.

Last Version: 1.0.15.Final

Release Date: Apr 18, 2016

Cosmocalendar

com.github.applikeysolutions : cosmocalendar

Customizable calendar on Android

Last Version: 1.0.0

Release Date: Sep 7, 2017

keytool-helper

it.cosenonjaviste : keytool-helper

Keytool utilities for Java applications

Last Version: 1.0.0

Release Date: May 26, 2018

IDVKey Simulator

com.kloudtek.idvkey.sdk : idvkey-sdk-simulator

IDVKey Software Development Kit

Last Version: 0.90

Release Date: Mar 12, 2016

Redback :: Key Management Providers

org.codehaus.plexus.redback : redback-keys-providers

Last Version: 1.0.3

Release Date: Aug 6, 2008

Deep Thought: Keycloak Theme

io.biza : deepthought-keycloak-theme

The Keycloak Theme is a custom look and feel for Keycloak for the Deep Thought application

Last Version: 1.0.2

Release Date: Feb 13, 2020

Z3-TurnKey

tools.aqua : z3-turnkey

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

Last Version: 4.8.17

Release Date: May 6, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-insecure-settings-macosarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

keywords-Each

com.thoughtworks.dsl : keywords-each_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

xml-but-prettier

org.webjars.bowergithub.shockey : xml-but-prettier

WebJar for xml-but-prettier

Last Version: 1.0.1

Release Date: Sep 1, 2018

MkLoader

com.tuyenmonkey : mkloader

Beautiful and smooth custom loading views

Last Version: 1.4.0

Release Date: Aug 1, 2017

SakiMonkey

com.jobhive : saki-monkey

Asynchronous Mandrill Restful API Client for JVM

Last Version: 1.0.0-BETA

Release Date: Dec 18, 2014

react-hotkeys

org.webjars.bower : react-hotkeys

WebJar for react-hotkeys

Last Version: 0.7.1

Release Date: Feb 14, 2016

Test Suite: Keycloak Server

org.wildfly.swarm.testsuite : testsuite-keycloak-server

Last Version: 2018.5.0

Release Date: May 2, 2018

keywords-Put

com.thoughtworks.dsl : keywords-put_sjs1_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

mapping-tck-key-value

jakarta.nosql.tck.mapping : mapping-tck-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.

Last Version: 1.0.0-b4

Release Date: Jun 4, 2022

KeywordTextView

me.imirai : keywordtextview

KeywordTextView for Android.

Last Version: 0.1.2

Release Date: Dec 5, 2016