Formal Verification

Microsoft Azure client library for KeyVault Keys

com.azure : azure-keyvault-keys

This module contains client library for Microsoft Azure KeyVault Keys.

Последняя версия: 4.0.0-preview.4

Дата:

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

Дата:

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

Дата:

st-graph-store-http-loader

it.uniroma2.art.semanticturkey : st-graph-store-http-loader

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

Дата:

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

Дата:

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

Дата:

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

Дата:

Spring Cloud Config Server Sample

io.github.srempfer : spring-cloud-config-azure-keyvault-multiple-keyvaults-sample

Spring Cloud Config Server application to demonstrate the usage of the Azure KeyVault features

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

Дата:

st-loaders

it.uniroma2.art.semanticturkey : st-loaders

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

Дата:

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

Дата:

Twelvemonkeys

com.github.lafa.twelvemonkeyspurejava : twelvemonkeys

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

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

Дата:

com.twelvemonkeys.imageio-psd

org.lucee : com.twelvemonkeys.imageio-psd

OSGi Version of com.twelvemonkeys.imageio-psd

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

Дата:

JDK Keycloak Admin

be.jidoka : jdk-keycloak-admin

A library to administer Keycloak from your application

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

Дата:

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

Дата:

spring-addons-keycloak-jdk11

com.c4-soft.springaddons : spring-addons-keycloak-jdk11

Set of tools I find useful to work with Spring (mostly spring-security for OpenID)

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

Дата:

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

Дата:

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

Дата:

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

Дата:

I2

city.smartb.i2 : i2-spring-boot-starter-auth-keycloak

Identity and Authentication functions

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

Дата:

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

Дата:

d2v-sankey

io.data2viz.d2v : d2v-sankey-jvm

Data2viz d2v-sankey library

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

Дата:

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

Дата:

d2v-sankey

io.data2viz.d2v : d2v-sankey-js

Data2viz d2v-sankey library

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

Дата:

com.twelvemonkeys.imageio-icns

org.lucee : com.twelvemonkeys.imageio-icns

OSGi Version of com.twelvemonkeys.imageio-icns

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

Дата:

jcloud openstack-keystone api

org.jclouds.labs : openstack-keystone

jclouds components to access an implementation of OpenStack Keystone

Последняя версия: 1.5.0-beta.1

Дата:

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

Дата:

st-rdf-transformers

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

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

Дата:

JEntityTest

org.testmonkeys : jentitytest

Entity Comparison Framework

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

Дата:

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

Дата:

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

Дата:

st-uri-generators

it.uniroma2.art.semanticturkey : st-uri-generators

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

Дата:

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

Дата:

jMonkeyEngine

org.jmonkeyengine : jme3-bullet-native-android

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Последняя версия: 3.3.2-stable

Дата:

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

Дата:

st-coda-uri-generator

it.uniroma2.art.semanticturkey : st-coda-uri-generator

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

Дата:

st-predefined-repository-impl-configurer

it.uniroma2.art.semanticturkey : st-predefined-repository-impl-configurer

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

Дата:

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

Дата:

chaos-monkey-docs

de.codecentric : chaos-monkey-docs

Documentation of Chaos Monkey for Spring Boot

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

Дата:

keymanagement

de.adorsys.keymanagement : keystore-management

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

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

Дата:

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

Дата:

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

Дата:

businesskey-example-hibernate

org.zalando.spring : businesskey-example-hibernate

Parent pom.xml that can be used by STUPS Maven projects

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

Дата:

Keypress

org.webjars.bower : Keypress

WebJar for Keypress

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

Дата:

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

Дата:

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

Дата:

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

Дата: