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)

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

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

dsl-keywords-akka-actor-NextMessage

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

Последняя версия: 0.0.0+116-82935c24

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

keyboardwatcher

com.gitee.archermind-ti : keyboardwatcher

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

Дата: 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.

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

Дата: 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)

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

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

rest-back

pro.mickey : rest-back

Parameter verification

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

Дата: 22 сент. 2017 г.

Quarkus - Keycloak Admin Client

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

Build parent to bring in required dependencies

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

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

Secret Store - Examples - Server

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

Assembles a Wildfly server to be used with the examples

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

Дата: 18 апр. 2016 г.

actor

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

Последняя версия: 0.1.1+13-1804a156

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

IDVKey SDK JSF example

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

IDVKey Software Development Kit

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

Дата: 12 мар. 2016 г.

com.twelvemonkeys.imageio-jpeg

org.lucee : com.twelvemonkeys.imageio-jpeg

OSGi Version of com.twelvemonkeys.imageio-jpeg

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

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

JAX-RS Database Service Using OAuth Bearer Tokens

org.keycloak.example.demo : database-service

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

Дата: 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

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

Дата: 8 февр. 2017 г.

Key Connect

app.keyconnect : keyconnect

Simplifying blockchain access

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

Дата: 29 дек. 2020 г.

Keystore Maven Mojo

org.wooddog.mavenplugins : keystore

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

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

Дата: 4 сент. 2009 г.

JS Console

org.keycloak.example.demo : js-console

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

Дата: 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)

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

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

Adapters Distribution Parent

org.keycloak : keycloak-adapters-distribution-parent

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

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

Simple PEM KeyStore

io.r2 : simple-pem-keystore

A java keystore implementation to use PEM files directly.

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

Дата: 15 мая 2020 г.

fixture-monkey

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

The easiest way to generate controllable arbitrary test objects

Последняя версия: 0.4.0-2826386-2

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

com.tngtech.keycloakmock:mock-junit5

com.tngtech.keycloakmock : mock-junit5

JUnit5 helper for keycloak-mock

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

Дата: 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

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

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

keywords-NullSafe

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

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

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

Key/Value parent project

com.ethlo.keyvalue : parent

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

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

Дата: 23 мар. 2018 г.

persist-keyvalue-inmemory

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

Platform agnostic contracts for persisting key-value pairs in memory

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

Дата: 19 янв. 2021 г.

AO PGP Keys Map

com.aoapps : pgp-keys-map

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

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

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

TwelveMonkeys ImageIO PSD plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-psd

ImageIO plugin for Adobe Photoshop Document (PSD).

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

Дата: 20 мая 2010 г.

snowflake

pro.mickey : snowflake

According to twitter snowflake id generator

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

Дата: 21 сент. 2017 г.

pax-keycloak-tomcat

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

Maven parent POM for all OPS4J Maven projects.

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

Дата: 22 мар. 2018 г.

IDVKey Cloud APIs

com.kloudtek.idvkey : idvkey-api

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

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

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

Game Server Services SDK for Java GS2-Key Library

io.gs2 : gs2-java-sdk-key

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

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

Keycloak Misc

org.keycloak : keycloak-misc-parent

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

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

siggi-ci-keys-parent

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

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

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

Дата: 15 мар. 2017 г.

dswork-springboot

com.github.skeychen : dswork-springboot

dswork-framework

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

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

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_2.12

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

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

apiman-plugins-keycloak-jwt-policy

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

This plugin verify bearer token generated from keycloak

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

Дата: 7 нояб. 2019 г.

Apache ServiceMix Kernel :: JAAS Keystore

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

Provides the JAAS Config

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

Дата: 16 сент. 2008 г.

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_3

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

Дата: 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

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

Дата: 3 июл. 2014 г.

Keycloak OSGI Thirdparty

org.keycloak : keycloak-osgi-thirdparty

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

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

Дата: 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)

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

Дата: 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)

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

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

TwelveMonkeys :: ImageIO

com.twelvemonkeys.imageio : imageio

TwelveMonkeys parent POM

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

Дата: 22 февр. 2022 г.

d3-plugins-sankey

org.webjars.bower : d3-plugins-sankey

WebJar for d3-plugins-sankey

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

Дата: 11 июл. 2017 г.

java-keyring

net.smoofyuniverse : java-keyring

Java API to store passwords.

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

Дата: 11 февр. 2021 г.

Donkey parent

io.github.asvanberg : donkey-parent

Common configuration for all Donkey modules

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

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

entando-keycloak-core

org.entando.entando : entando-keycloak-core

Plugin to connect entando apps to keycloak

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

Дата: 15 апр. 2020 г.

keypool

org.typelevel : keypool_3.0.0-RC3

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

Дата: 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)

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

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

keywords-AsynchronousIo

com.thoughtworks.dsl : keywords-asynchronousio_sjs1_2.13

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

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