Formal Verification | JarCasting

it.uniroma2.art.semanticturkey : st-spreadsheet-serializing-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)

Last Version: 11.1

Release Date: Jun 23, 2022

Themes Examples

org.keycloak : keycloak-example-themes

Last Version: 18.0.2

Release Date: Jun 24, 2022

XiPKI tools :: tlskeys-example

org.xipki.tools : tlskeys-example

XiPKI tools parent

Last Version: 1.0.6

Release Date: Oct 11, 2021

ConfigKeys

tech.ferus : ConfigKeys

ConfigKeys is a simple wrapper for zml's Configurate, providing a more stream-lined way to access configuration on-the-fly.

Last Version: 5.1.0

Release Date: Oct 6, 2017

Keyple Plugin PCSC Java Lib

org.eclipse.keyple : keyple-plugin-pcsc-java-lib

Keyple add-on to manage PC/SC readers

Last Version: 2.0.0

Release Date: Oct 6, 2021

keywords-NullSafe

com.thoughtworks.dsl : keywords-nullsafe_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keycloak-event-receiver-http

org.fintrace : keycloak-event-receiver-http

Keycloak event receiver for keycloak-event-publisher library. Has multiple implementations such as HTTP or JMS

Last Version: 0.0.1

Release Date: Mar 27, 2018

fixture-monkey

com.navercorp.fixturemonkey : fixture-monkey-kotlin

The easiest way to generate controllable arbitrary test objects

Last Version: 0.3.5

Release Date: Jun 21, 2022

twelvemonkeys-bom

com.github.jinahya : twelvemonkeys-bom

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

Last Version: 3.0.2-alpha-1

Release Date: Feb 2, 2015

Groovy Duration Extensions

com.github.tddmonkey : groovy-extensions-duration

Groovy extensions for converting Numbers to a Duration

Last Version: 0.0.1

Release Date: Feb 22, 2016

keycloakmigration

de.klg71.keycloakmigration : keycloakmigration

Keycloak configuration as migration files

Last Version: 0.2.38

Release Date: Apr 16, 2022

modify-string-res-key-plugin

io.github.brooks0129 : modify-string-res-key-plugin

A library that can dynamically modify the library's string resource key during Android build time.

Last Version: 1.0.2

Release Date: Apr 24, 2022

jMonkeyEngine

org.jmonkeyengine : jme3-jogl

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

Last Version: 3.3.2-stable

Release Date: Feb 10, 2021

Events Parent

org.keycloak : keycloak-events-parent

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

MiniKeyValueStore

com.github.shynixn.minikeyvaluestore : minikeyvaluestore-core

A library to handle a simple key value store..

Last Version: 1.0.0

Release Date: Apr 22, 2021

IceHockey: GameTool usage example

guru.bug.gametool : example-icehockey

Just-for-fun library to quickly create simple games

Last Version: 1.0

Release Date: Feb 10, 2019

keyword search

com.zhixiangli : keyword-search

use a string searching algorithm, Aho–Corasick Automaton

Last Version: 0.0.1

Release Date: Jan 15, 2017

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_sjs0.6_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

st-collaboration-backends

it.uniroma2.art.semanticturkey : st-collaboration-backends

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: Jun 23, 2022

yc.frame.key

com.ycframe : yc.frame.key

com.ycframe develop frame

Last Version: 0.0.1

Release Date: Jun 4, 2018

OPS4J Pax Web WAR Samples - KEYCLOAK authentication

org.ops4j.pax.web.samples : war-keycloak

Pax Web Samples

Last Version: 8.0.4

Release Date: Jun 1, 2022

fx-onscreen-keyboard-samples

org.comtel2000 : fx-onscreen-keyboard-samples

JavaFX on-screen keyboard component with xml layout configuration. Samples

Last Version: 11.0.1

Release Date: Nov 26, 2018

Spring Cloud Config Server Sample

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

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

Last Version: 0.5.0

Release Date: Aug 29, 2020

keycloak4s-admin-monix-bio

com.fullfacing : keycloak4s-admin-monix-bio_2.12

Last Version: 3.1.1

Release Date: Sep 13, 2021

keywords-Yield

com.thoughtworks.dsl : keywords-yield_sjs0.6_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

d2v-sankey

io.data2viz.d2v : d2v-sankey-iosArm64

Data2viz d2v-sankey library

Last Version: 0.9.1

Release Date: Jan 21, 2022

Camel Component :: Snakeyaml

io.thorntail : camel-snakeyaml

Camel SnakeYAML support

Last Version: 2.2.1.Final

Release Date: Oct 30, 2018

tocker-core

com.github.tddmonkey : tocker-core

Tocker is there to help you using Docker in a development environment during automated tests

Last Version: 0.0.22

Release Date: Jul 19, 2019

关键词提取

com.ecfront : keyword-extract

URL关键词提取

Last Version: 1.6

Release Date: Nov 13, 2018

pax-keycloak-jetty

org.ops4j.pax.keycloak : pax-keycloak-jetty

Maven parent POM for all OPS4J Maven projects.

Last Version: 0.2.0

Release Date: Mar 22, 2018

Kaval

io.monkeypatch.kaval : kaval-coroutine-jvm

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date: Jun 25, 2020

st-graph-store-http-deployer

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

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: Jun 23, 2022

Semantic Turkey Builder

it.uniroma2.art.semanticturkey : st-builder

Semantic turkey builder subproject. It creates the karaf archive with the application already deployed.

Last Version: 11.1

Release Date: Jun 23, 2022

Storm-filterkey-bolt

org.keedio : Storm-filterKey-bolt

This bolt operates filtering data from stream of tuples, according a mapped list of crterias

Last Version: 0.0.3

Release Date: May 28, 2015

safeAPIKeyStore.server

com.github.vatbub : safeAPIKeyStore.server

A (somewhat) secure approach to storing api keys in open source projects

Last Version: 1.1

Release Date: Feb 12, 2018

krypto-keys

tz.co.asoft : krypto-keys-watchosarm64

A platform agnostic implementation of security keys

Last Version: 0.0.50

Release Date: Jun 2, 2021

awala-keystore-file

tech.relaycorp : awala-keystore-file

JVM implementation of file-based Private and Public Key Stores for Awala

Last Version: 1.6.3

Release Date: Jun 15, 2022

keywords-Fork

com.thoughtworks.dsl : keywords-fork_sjs0.6_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Keycloak Picketlink

org.keycloak : keycloak-picketlink-parent

Last Version: 1.2.0.Beta1

Release Date: Apr 2, 2015

st-repository-impl-configurers

it.uniroma2.art.semanticturkey : st-repository-impl-configurers

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: Jun 23, 2022