Formal Verification | JarCasting

keywords-Map

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

Last Version: 1.3.1+10-84868c21

Release Date: Jun 11, 2019

@types/prosemirror-keymap

org.webjars.npm : types__prosemirror-keymap

WebJar for @types/prosemirror-keymap

Last Version: 1.0.4

Release Date: Jul 19, 2021

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-js

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Keyframe

net.vectorpublish : Keyframe

A Swing/AWT based DTP.

Last Version: 0.9.27

Release Date: Aug 3, 2017

jodconverter-local

io.github.keyintegrity : jodconverter-local

Module required in order to process local conversions for the Java OpenDocument Converter (JODConverter) project.

Last Version: 4.2.3-alpha.1

Release Date: Mar 6, 2019

keycloak4s-auth-core

com.fullfacing : keycloak4s-auth-core_2.13

Last Version: 3.1.1

Release Date: Sep 13, 2021

ReceiveMessage

com.yang-bo.dsl.keywords.akka.actor : receivemessage_sjs1_2.12

Last Version: 1.0.1+3-c334a586

Release Date: May 30, 2020

LSPProtocol

com.github.keyboardDrummer : lspprotocol_sjs0.6_2.13

Last Version: 0.1.6

Release Date: Apr 2, 2020

DKPro Keyphrases - Decompounding

de.tudarmstadt.ukp.dkpro.keyphrases : de.tudarmstadt.ukp.dkpro.keyphrases.decompounding-asl

Parent POM for DKPro projects. This provides some basic configuration for several Maven plugins as well as useful build profiles.

Last Version: 1.5.0

Release Date: Jun 27, 2014

user-secret-adapter-embedded

de.adorsys.keycloak : user-secret-adapter-embedded

Keycloak User Secret Adapter

Last Version: 1.0.7

Release Date: Sep 18, 2019

keywords-Map

com.thoughtworks.dsl : keywords-map_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

is-es2016-keyword

org.webjars.npm : is-es2016-keyword

WebJar for is-es2016-keyword

Last Version: 1.0.0

Release Date: Apr 19, 2021

decamelize-keys

org.webjars.npm : decamelize-keys

WebJar for decamelize-keys

Last Version: 1.1.0

Release Date: Nov 12, 2018

lagom-scaladsl-google-pubsub-client

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

Last Version: 1.0.0-RC1

Release Date: Apr 25, 2018

Modello Database Keywords Library

org.apache.archiva.redback.components.modello : modello-db-keywords

Modello extensions used by Archiva and Continuum.

Last Version: 1.0

Release Date: May 9, 2013

com.liferay.keyword.apio.api

com.liferay : com.liferay.keyword.apio.api

Liferay Keyword Apio API

Last Version: 1.0.4

Release Date: Nov 29, 2018

keywords-Continue

com.thoughtworks.dsl : keywords-continue_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

keygen-script

org.infrastructurebuilder.bootstrap : keygen-script

Root POM set for IB projects

Last Version: 0.0.3

Release Date: Aug 18, 2021

keywords-Yield

com.thoughtworks.dsl : keywords-yield_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

DKPro Keyphrases - Coreferences

de.tudarmstadt.ukp.dkpro.keyphrases : de.tudarmstadt.ukp.dkpro.keyphrases.coreference-gpl

Coreferences for Keyphrase Extraction

Last Version: 1.5.0

Release Date: Jun 27, 2014

keywords-WithFilter

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

Last Version: 1.3.1+10-84868c21

Release Date: Jun 11, 2019

plugin-monkey

wang.harlon.plugin : monkey

Monkey plugin library for TinyUI project build.

Last Version: 0.0.1

Release Date: Mar 18, 2022

keyboardevent-key-polyfill

org.webjars.npm : keyboardevent-key-polyfill

WebJar for keyboardevent-key-polyfill

Last Version: 1.1.0

Release Date: Mar 29, 2018

Meets Core

com.theagilemonkeys.meets : meets-core

A native SDK designed to ease communication between java environments and Magento stores

Last Version: 0.2.0

Release Date: Jul 3, 2014

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

it.uniroma2.art.semanticturkey : st-font

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

object-keys

org.webjars.bowergithub.ljharb : object-keys

WebJar for object-keys

Last Version: 1.0.11

Release Date: Jun 7, 2018

keyboard

com.splendo.kaluga : keyboard-js

Collection of Kotlin Flow based libraries

Last Version: 0.4.0

Release Date: May 11, 2022

snakeyaml

com.walterjwhite.infrastructure.dependencies : snakeyaml

dependencies

Last Version: 0.0.15

Release Date: Dec 18, 2017

dswork-java

com.github.skeychen : dswork-java

dswork-framework

Last Version: 10.2.1

Release Date: Jul 6, 2021

st-trivial-inference-sail

it.uniroma2.art.semanticturkey : st-trivial-inference-sail

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

Yoti Key common sdk. Provides read, write, reset use case and encryption services

com.yoti.mobile.android.keys : key-sdk-common

Last Version: 1.3.0-RC

Release Date: Aug 10, 2019

akeyless-auth-api

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

Swagger Java

Last Version: 1.0.7

Release Date: Jul 17, 2019

keycloakapi

de.klg71.keycloakmigration : keycloakapi

Keycloak configuration as migration files

Last Version: 0.2.38

Release Date: Apr 16, 2022

Keycloak Authentication Model Based

org.keycloak : keycloak-authentication-model

Last Version: 1.0-beta-3

Release Date: Jun 18, 2014

keyboard

com.splendo.kaluga : keyboard-androidlib

Collection of Kotlin Flow based libraries

Last Version: 0.4.0

Release Date: May 11, 2022

keyboard

com.splendo.kaluga : keyboard-androidlib-debug

Collection of Kotlin Flow based libraries

Last Version: 0.4.0

Release Date: May 11, 2022

Nevermined Contracts

io.keyko.nevermined : contracts

Nevermined Data Platform Smart Contracts in Solidity

Last Version: 1.3.4

Release Date: Jan 30, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

distributed-keyrotation-mongo

de.adorsys.keymanagement : distributed-keyrotation-mongo

Fluent-API to generate encryption keys and keystores. Query-like syntax to read and manipulate keys in keystore.

Last Version: 0.0.6

Release Date: Nov 5, 2019

TwelveMonkeys :: Servlet

com.github.lafa.twelvemonkeyspurejava.servlet : servlet

Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/

Last Version: 1.0.1

Release Date: Jul 6, 2017