Formal Verification | JarCasting

st-skosxl-rendering-engine

it.uniroma2.art.semanticturkey : st-skosxl-rendering-engine

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

dsl-keywords-akka-actor-NextMessage

com.yang-bo.dsl.domains.akka.actor : dsl-keywords-akka-actor-nextmessage_sjs0.6_2.12

Last Version: 0.0.0+116-82935c24

Release Date: Jun 11, 2019

keyboardwatcher

com.gitee.archermind-ti : keyboardwatcher

Last Version: 1.0.0

Release Date: May 25, 2021

CVC4-TurnKey (Permissive)

io.github.tudo-aqua : cvc4-turnkey-permissive

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

Last Version: 1.8

Release Date: Oct 22, 2020

st-dataset-metadata-exporters

it.uniroma2.art.semanticturkey : st-dataset-metadata-exporters

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

rest-back

pro.mickey : rest-back

Parameter verification

Last Version: 1.0.0

Release Date: Sep 22, 2017

Quarkus - Keycloak Admin Client

io.quarkus : quarkus-keycloak-admin-client-parent

Build parent to bring in required dependencies

Last Version: 2.10.0.Final

Release Date: Jun 15, 2022

Secret Store - Examples - Server

org.keycloak.secretstore : secret-store-examples-server

Assembles a Wildfly server to be used with the examples

Last Version: 1.0.15.Final

Release Date: Apr 18, 2016

actor

com.yang-bo.dsl.keywords.akka : actor_sjs0.6_2.11

Last Version: 0.1.1+13-1804a156

Release Date: Jun 23, 2019

IDVKey SDK JSF example

com.kloudtek.idvkey.sdk : idvkey-sdk-example-jsf

IDVKey Software Development Kit

Last Version: 0.90

Release Date: Mar 12, 2016

com.twelvemonkeys.imageio-jpeg

org.lucee : com.twelvemonkeys.imageio-jpeg

OSGi Version of com.twelvemonkeys.imageio-jpeg

Last Version: 3.8.2

Release Date: Mar 25, 2022

JAX-RS Database Service Using OAuth Bearer Tokens

org.keycloak.example.demo : database-service

Last Version: 15.0.2

Release Date: Aug 20, 2021

LaunchKey Examples Parent Module

com.launchkey.sdk : launchkey-examples-parent

Root module for all modules related to the iovation LaunchKey SDK for Java

Last Version: 4.0.0

Release Date: Feb 8, 2017

Key Connect

app.keyconnect : keyconnect

Simplifying blockchain access

Last Version: 1.0.0

Release Date: Dec 29, 2020

Keystore Maven Mojo

org.wooddog.mavenplugins : keystore

Installs an un-trusted server certificate in a local key store

Last Version: 1.0

Release Date: Sep 4, 2009

JS Console

org.keycloak.example.demo : js-console

Last Version: 18.0.2

Release Date: Jun 24, 2022

st-ontolex-lemon-rendering-engine

it.uniroma2.art.semanticturkey : st-ontolex-lemon-rendering-engine

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

Adapters Distribution Parent

org.keycloak : keycloak-adapters-distribution-parent

Last Version: 18.0.2

Release Date: Jun 24, 2022

Simple PEM KeyStore

io.r2 : simple-pem-keystore

A java keystore implementation to use PEM files directly.

Last Version: 0.3

Release Date: May 15, 2020

fixture-monkey

com.navercorp.fixturemonkey.snapshot : fixture-monkey-autoparams

The easiest way to generate controllable arbitrary test objects

Last Version: 0.4.0-2826386-2

Release Date: Apr 13, 2022

com.tngtech.keycloakmock:mock-junit5

com.tngtech.keycloakmock : mock-junit5

JUnit5 helper for keycloak-mock

Last Version: 0.12.0

Release Date: May 20, 2022

POJO Unit Test Utility

com.github.publickey : pojo-test-utils

Collection of unit test utility classes to improve code coverage for POJO (Plain Old Java Object) classes

Last Version: 1.0.0

Release Date: May 10, 2017

keywords-NullSafe

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

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Key/Value parent project

com.ethlo.keyvalue : parent

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

Last Version: 0.9.1

Release Date: Mar 23, 2018

persist-keyvalue-inmemory

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

Platform agnostic contracts for persisting key-value pairs in memory

Last Version: 0.2.10

Release Date: Jan 19, 2021

AO PGP Keys Map

com.aoapps : pgp-keys-map

Additional PGP keys map for dependencies used by AO open-source projects.

Last Version: 1.2.1

Release Date: May 30, 2022

TwelveMonkeys ImageIO PSD plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-psd

ImageIO plugin for Adobe Photoshop Document (PSD).

Last Version: 2.3

Release Date: May 20, 2010

snowflake

pro.mickey : snowflake

According to twitter snowflake id generator

Last Version: 1.0.1

Release Date: Sep 21, 2017

pax-keycloak-tomcat

org.ops4j.pax.keycloak : pax-keycloak-tomcat

Maven parent POM for all OPS4J Maven projects.

Last Version: 0.2.0

Release Date: Mar 22, 2018

IDVKey Cloud APIs

com.kloudtek.idvkey : idvkey-api

Here you'll find specifications and documentation for integration your websites/services with IDVKey

Last Version: 0.9.0

Release Date: May 6, 2018

Game Server Services SDK for Java GS2-Key Library

io.gs2 : gs2-java-sdk-key

Last Version: 2.0.1

Release Date: Aug 3, 2019

Keycloak Misc

org.keycloak : keycloak-misc-parent

Last Version: 18.0.2

Release Date: Jun 24, 2022

siggi-ci-keys-parent

org.siggi-ci : siggi-ci-keys-parent

The Maven-Reactor to build siggi-ci-bricks.

Last Version: 0.1.8

Release Date: Mar 15, 2017

dswork-springboot

com.github.skeychen : dswork-springboot

dswork-framework

Last Version: 10.3.5

Release Date: Apr 29, 2022

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

apiman-plugins-keycloak-jwt-policy

net.baobabservices.dev : apiman-plugins-keycloak-jwt-policy

This plugin verify bearer token generated from keycloak

Last Version: 1.1

Release Date: Nov 7, 2019

Apache ServiceMix Kernel :: JAAS Keystore

org.apache.servicemix.kernel.jaas : org.apache.servicemix.kernel.jaas.keystore

Provides the JAAS Config

Last Version: 1.0.0

Release Date: Sep 16, 2008

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

Meets Magento connector

com.theagilemonkeys.meets : meets-magento-connector

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

Last Version: 0.2.0

Release Date: Jul 3, 2014

Keycloak OSGI Thirdparty

org.keycloak : keycloak-osgi-thirdparty

Keycloak OSGI bundling for 3rd party libs without OSGI headers in manifest

Last Version: 4.0.0.Final

Release Date: Jun 13, 2018

st-rdf-deserializing-lifter

it.uniroma2.art.semanticturkey : st-rdf-deserializing-lifter

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

st-metadata-registry

it.uniroma2.art.semanticturkey : st-metadata-registry

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

TwelveMonkeys :: ImageIO

com.twelvemonkeys.imageio : imageio

TwelveMonkeys parent POM

Last Version: 3.8.2

Release Date: Feb 22, 2022

d3-plugins-sankey

org.webjars.bower : d3-plugins-sankey

WebJar for d3-plugins-sankey

Last Version: 1.1.0

Release Date: Jul 11, 2017

java-keyring

net.smoofyuniverse : java-keyring

Java API to store passwords.

Last Version: 1.2.0

Release Date: Feb 11, 2021

Donkey parent

io.github.asvanberg : donkey-parent

Common configuration for all Donkey modules

Last Version: 1.4.0

Release Date: Jan 31, 2022

entando-keycloak-core

org.entando.entando : entando-keycloak-core

Plugin to connect entando apps to keycloak

Last Version: 6.1.2

Release Date: Apr 15, 2020

keypool

org.typelevel : keypool_3.0.0-RC3

Last Version: 0.4.2

Release Date: Apr 25, 2021

st-dcat-dataset-metadata-exporter

it.uniroma2.art.semanticturkey : st-dcat-dataset-metadata-exporter

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

keywords-AsynchronousIo

com.thoughtworks.dsl : keywords-asynchronousio_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021