Formal Verification

Microsoft Azure client library for KeyVault Keys

com.azure : azure-keyvault-keys

This module contains client library for Microsoft Azure KeyVault Keys.

Last Version: 4.0.0-preview.4

Release Date:

Last Version: 1.0.5

Release Date:

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)

Last Version: 11.1

Release Date:

Last Version: 1.0

Release Date:

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

Last Version: 0.9.0

Release Date:

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)

Last Version: 11.1

Release Date:

Twelvemonkeys

com.github.lafa.twelvemonkeyspurejava : twelvemonkeys

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

Last Version: 1.0.1

Release Date:

com.twelvemonkeys.imageio-psd

org.lucee : com.twelvemonkeys.imageio-psd

OSGi Version of com.twelvemonkeys.imageio-psd

Last Version: 3.8.2

Release Date:

JDK Keycloak Admin

be.jidoka : jdk-keycloak-admin

A library to administer Keycloak from your application

Last Version: 1.2.0

Release Date:

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)

Last Version: 4.1.5

Release Date:

I2

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

Identity and Authentication functions

Last Version: 0.8.3

Release Date:

d2v-sankey

io.data2viz.d2v : d2v-sankey-jvm

Data2viz d2v-sankey library

Last Version: 0.9.1

Release Date:

d2v-sankey

io.data2viz.d2v : d2v-sankey-js

Data2viz d2v-sankey library

Last Version: 0.9.1

Release Date:

com.twelvemonkeys.imageio-icns

org.lucee : com.twelvemonkeys.imageio-icns

OSGi Version of com.twelvemonkeys.imageio-icns

Last Version: 3.8.2

Release Date:

jcloud openstack-keystone api

org.jclouds.labs : openstack-keystone

jclouds components to access an implementation of OpenStack Keystone

Last Version: 1.5.0-beta.1

Release Date:

Last Version: 2.2.0

Release Date:

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)

Last Version: 11.1

Release Date:

JEntityTest

org.testmonkeys : jentitytest

Entity Comparison Framework

Last Version: 1.0.6

Release Date:

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)

Last Version: 11.1

Release Date:

Last Version: 1.0.0

Release Date:

jMonkeyEngine

org.jmonkeyengine : jme3-bullet-native-android

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

Last Version: 3.3.2-stable

Release Date:

Last Version: 0.1.139

Release Date:

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)

Last Version: 11.1

Release Date:

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)

Last Version: 11.1

Release Date:

chaos-monkey-docs

de.codecentric : chaos-monkey-docs

Documentation of Chaos Monkey for Spring Boot

Last Version: 2.5.1

Release Date:

keymanagement

de.adorsys.keymanagement : keystore-management

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:

Last Version: 2.5.0

Release Date:

businesskey-example-hibernate

org.zalando.spring : businesskey-example-hibernate

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

Last Version: 0.9.0

Release Date:

Keypress

org.webjars.bower : Keypress

WebJar for Keypress

Last Version: 2.1.3

Release Date:

Last Version: 3.0.0

Release Date: