Formal Verification

st-dataset-catalog-connectors

it.uniroma2.art.semanticturkey : st-dataset-catalog-connectors

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:

jMonkeyEngine

org.jmonkeyengine : jme3-bullet-native

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

Last Version: 3.3.2-stable

Release Date:

Last Version: 1.0.6

Release Date:

Last Version: 18.0.2

Release Date:

Last Version: 0.3.0

Release Date:

Last Version: 0.6

Release Date:

Last Version: 3.7.0

Release Date:

Kaval

io.monkeypatch.kaval : kaval-arrow-jvm

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date:

okhttp-system-keystore

com.charleskorn.okhttp.systemkeystore : okhttp-system-keystore

Automatically use trusted certificates from the operating system keystore (Keychain on macOS, Certificate Store on Windows) with OkHttp

Last Version: 1.0.0

Release Date:

keystore-manager

com.github.mideo : keystore-manager_2.12

A keystore manager backed by Java KeyStore on file system as default storage

Last Version: 0.0.3

Release Date:

Last Version: 1.0.1

Release Date:

Last Version: 0.1.0

Release Date:

monkeylearn-java

com.monkeylearn : monkeylearn-java

Official Java client for the MonkeyLearn API.

Last Version: 0.1.5

Release Date:

Last Version: 0.11.5

Release Date:

dropwizard-api-key-bundle

com.pivotfreight.oss : dropwizard-api-key-bundle

Dropwizard bundle that allows your application to support API keys.

Last Version: 0.9.2

Release Date:

keyspaces

aws.sdk.kotlin : keyspaces-jvm

AWS SDK codegen tasks

Last Version: 0.16.4-beta

Release Date:

key-vault

com.jpmorgan.quorum : key-vault

Tessera is a stateless Java system that is used to enable the encryption, decryption, and distribution of private transactions for Quorum.

Last Version: 0.11.0.30092019161842

Release Date:

Last Version: 1.0.0-rc2

Release Date:

Last Version: 0.0.3

Release Date:

javadoc2xls-tool

io.github.ikeyat.tools.javadoc2xls : javadoc2xls-tool

A tool to generate Excel spread sheet from Javadoc of JUnit source code.

Last Version: 1.0.5.RELEASE

Release Date:

MonkeyTail

com.sksamuel.monkeytail : monkeytail-core

Multiplatform Parse not Validate

Last Version: 1.0.2

Release Date:

Last Version: 0.3.0

Release Date:

PicketBox Keystore

org.picketbox : picketbox-keystore

PicketBox Keystore contains the integration code to use drools

Last Version: 2012aug21

Release Date:

Last Version: 2.0.1

Release Date:

businesskey-example-eclipselink

org.zalando.spring : businesskey-example-eclipselink

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

Last Version: 0.9.0

Release Date:

mobile-key-kaba

net.iris : mobile-key-none

iRiS Guest No Mobile Key implementation

Last Version: 5.7.0.rc11

Release Date:

communication-tck-key-value

jakarta.nosql.tck.communication : communication-tck-key-value

Create the specification in Jakarta EE to help Jakarta EE developers create enterprise-grade applications using Java® and NoSQL technologies. It helps them create scalable applications while maintaining low coupling with the underlying NoSQL technology.

Last Version: 1.0.0-b4

Release Date:

Kaval

io.monkeypatch.kaval : kaval-kotest-jvm

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date:

fixture-monkey

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

The easiest way to generate controllable arbitrary test objects

Last Version: 0.4.0-2826386-2

Release Date:

Keycloak Radius Server

com.github.vzakharchenko : keycloak-plugins

Extension for keycloak for working as Radius Server

Last Version: 1.4.6

Release Date:

Last Version: 1.0.5

Release Date:

Groovy Duration Extensions

com.github.tddmonkey : rx-sns

Groovy extensions for converting Numbers to a Duration

Last Version: 0.0.1

Release Date:

School Keycloak Rooms

it.vige : school-keycloak-rooms

School Keycloak Rooms Configuration

Last Version: 1.4.0

Release Date:

hawtio-example-springboot-keycloak

io.hawt.examples : hawtio-example-springboot-keycloak

hawtio :: Sample Spring Boot 2.x process with Keycloak authentication

Last Version: 2.15.0

Release Date:

iovation LaunchKey SDK Example Parent Module

com.iovation.launchkey : sdk-examples-parent

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

Last Version: 4.8.0

Release Date:

keyboardview

io.github.hijamoya : keyboardview

Since KeyboardView was deprecated in API level 29. Google recommends to copy the file to your project. This library just do the thing for you

Last Version: 0.0.2

Release Date:

Web3 Monitoring Event Streamer

io.keyko.monitoring : web3-event-streamer

Kafka stream processors that enrich data generated with web3-monitoring agent

Last Version: 0.2.9

Release Date:

null

us.eharning.atomun : atomun-keygen

Uploads all artifacts belonging to configuration ':archives'

Last Version: 0.0.1

Release Date: