Formal Verification

Последняя версия: 2.0.0-M2+138-793998de

Дата:

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)

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

Дата:

jMonkeyEngine

org.jmonkeyengine : jme3-bullet-native

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

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

Kaval

io.monkeypatch.kaval : kaval-arrow-jvm

A POJO validation DSL in Kotlin

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

Дата:

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

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

Дата:

keystore-manager

com.github.mideo : keystore-manager_2.12

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

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

Дата:

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

Дата:

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

Дата:

monkeylearn-java

com.monkeylearn : monkeylearn-java

Official Java client for the MonkeyLearn API.

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

dropwizard-api-key-bundle

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

Dropwizard bundle that allows your application to support API keys.

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

Дата:

keyspaces

aws.sdk.kotlin : keyspaces-jvm

AWS SDK codegen tasks

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

Дата:

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.

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

Дата:

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

Дата:

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

Дата:

javadoc2xls-tool

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

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

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

Дата:

MonkeyTail

com.sksamuel.monkeytail : monkeytail-core

Multiplatform Parse not Validate

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

Дата:

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

Дата:

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

Дата:

PicketBox Keystore

org.picketbox : picketbox-keystore

PicketBox Keystore contains the integration code to use drools

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

Дата:

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

Дата:

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

Дата:

businesskey-example-eclipselink

org.zalando.spring : businesskey-example-eclipselink

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

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

Дата:

mobile-key-kaba

net.iris : mobile-key-none

iRiS Guest No Mobile Key implementation

Последняя версия: 5.7.0.rc11

Дата:

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.

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

Дата:

Kaval

io.monkeypatch.kaval : kaval-kotest-jvm

A POJO validation DSL in Kotlin

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

Дата:

fixture-monkey

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

The easiest way to generate controllable arbitrary test objects

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

Дата:

Keycloak Radius Server

com.github.vzakharchenko : keycloak-plugins

Extension for keycloak for working as Radius Server

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

Дата:

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

Дата:

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

Дата:

Groovy Duration Extensions

com.github.tddmonkey : rx-sns

Groovy extensions for converting Numbers to a Duration

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

Дата:

School Keycloak Rooms

it.vige : school-keycloak-rooms

School Keycloak Rooms Configuration

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

Дата:

hawtio-example-springboot-keycloak

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

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

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

Дата:

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

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

Дата:

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

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

Дата:

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

Дата:

Web3 Monitoring Event Streamer

io.keyko.monitoring : web3-event-streamer

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

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

Дата:

null

us.eharning.atomun : atomun-keygen

Uploads all artifacts belonging to configuration ':archives'

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

Дата: