Formal Verification | JarCasting

st-skos-rendering-engine

it.uniroma2.art.semanticturkey : st-skos-rendering-engine

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

swift-server

org.codemonkey.swiftsocketserver : swift-server

A socket server-client that simplifies communication and running a simulation

Last Version: 1.0

Release Date: Aug 21, 2011

Resteasy Skeleton Key AS7 Modules

org.jboss.resteasy : skeleton-key-as7-modules

Resteasy

Last Version: 3.0-beta-1

Release Date: Oct 31, 2012

Keycloak AS7 / JBoss EAP 6 Adapter Distros

org.keycloak : keycloak-as7-eap6-adapter-dist-pom

Last Version: 15.0.2

Release Date: Aug 20, 2021

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_sjs1_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

khs-sherpa-guice

com.keyholesoftware : khs-sherpa-guice

Guice support for Sherpa.

Last Version: 1.3.0

Release Date: Nov 27, 2014

project

io.bunting.keyring : project

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

Last Version: 0.2.0

Release Date: Sep 23, 2015

Keycloak Client Registration Parent

org.keycloak : keycloak-client-registration-parent

Last Version: 1.8.1.Final

Release Date: Feb 4, 2016

Keyple Plugin Stub

org.eclipse.keyple : keyple-java-plugin-stub

Last Version: 1.0.0

Release Date: Dec 17, 2020

Annotation processing for Donkey

io.github.asvanberg : donkey-apt

Adds compile time checks and code generation to make working with Donkey faster and more enjoyable.

Last Version: 1.4.0

Release Date: Jan 31, 2022

keywords-Await

com.thoughtworks.dsl : keywords-await_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

Keycloak Examples - Kerberos Credential Delegation

org.keycloak : examples-kerberos

Kerberos Credential Delegation Example

Last Version: 18.0.2

Release Date: Jun 24, 2022

TwelveMonkeys :: ImageIO :: TGA plugin

com.github.lafa.twelvemonkeyspurejava.imageio : imageio-tga

ImageIO plugin for Truevision TGA Image Format (TGA)

Last Version: 1.0

Release Date: May 13, 2017

Che Multiuser :: Keycloak Integration Parent

org.eclipse.che.multiuser : che-multiuser-keycloak

Provides default project configuration for Che projects

Last Version: 7.28.2

Release Date: Apr 7, 2021

angular-virtual-keyboard

org.webjars.bower : angular-virtual-keyboard

WebJar for angular-virtual-keyboard

Last Version: 0.4.3

Release Date: May 22, 2016

Lowkey Vault - App

com.github.nagyesta.lowkey-vault : lowkey-vault-app

Assembled application of Lowkey Vault.

Last Version: 1.8.0

Release Date: Jun 22, 2022

keywords-Get

com.thoughtworks.dsl : keywords-get_sjs0.6_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

modularLanguages

com.github.keyboardDrummer : modularlanguages_sjs1_2.13

Last Version: 0.1.9

Release Date: Feb 27, 2021

lagom-javadsl-google-pubsub-broker

com.elegantmonkeys : lagom-javadsl-google-pubsub-broker_2.12

Last Version: 1.0.0-RC1

Release Date: Apr 25, 2018

KeycloakUserSecretAdapter

de.adorsys.keycloak : keycloak-user-secret-adapter

Keycloak User Secret Adapter

Last Version: 1.0.7

Release Date: Sep 18, 2019

ArchUnit: Hexagonal

io.github.whiskeysierra : archunit-hexagonal

Hexagonal Architecture rules for ArchUnit

Last Version: 0.3.0

Release Date: May 17, 2022

Keycloak Quarkus Parent

org.keycloak : keycloak-quarkus-parent

Last Version: 18.0.2

Release Date: Jun 24, 2022

Keycloak SAML Adapter Example POST Binding and Assertion Encryption

org.keycloak : saml-post-encryption

Last Version: 15.0.2

Release Date: Aug 20, 2021

MonkeyTail

com.sksamuel.monkeytail : monkeytail-core-jvm

Multiplatform Parse not Validate

Last Version: 1.0.2

Release Date: Feb 19, 2022

RsaApiKeyValidator

io.toxicity : rsa-api-key-validator-watchosx64

RSA API Key validator for Mobile Clients

Last Version: 2.0.3

Release Date: Jun 5, 2022

QtJambi VirtualKeyboard native components for Linux x64

io.qtjambi : qtjambi-virtualkeyboard-native-linux-x64

Native components for Linux x64

Last Version: 6.3.1

Release Date: Apr 30, 2022

KeyMG API

org.keymg : keymg

KeyMG API contains the api to use on the model

Last Version: 1.0.CR1

Release Date: Jul 27, 2011

animation-keyframes

org.webjars.bowergithub.valdrinkoshi : animation-keyframes

WebJar for animation-keyframes

Last Version: 0.4.2

Release Date: Feb 3, 2018

MonkeyTail

com.sksamuel.monkeytail : monkeytail-core-js

Multiplatform Parse not Validate

Last Version: 1.0.2

Release Date: Feb 19, 2022

keylock

cn.sayjava : keylock

Key lock project for spring boot

Last Version: 0.0.1

Release Date: Feb 27, 2021

MessageMedia Signature Key Management SDK

com.messagemedia.sdk : signingkeys

The MessageMedia Signature Key API provides a number of endpoints for managing key used to sign each unique request to ensure security and the requests can't (easily) be spoofed. This is similar to using HMAC in your outbound messaging (rather than HTTP Basic).

Last Version: 1.0.0

Release Date: Jul 6, 2018

LabKey Server Java Client API

org.labkey.api : labkey-client-api

The client-side library for Java developers is a separate JAR from the LabKey Server code base. It can be used by any Java program, including another Java web application.

Last Version: 1.5.0

Release Date: Apr 20, 2022

bikey

com.jerolba : bikey

Bikey: low memory footprint Map and Set implementation on objects with composited keys

Last Version: 0.9.0

Release Date: May 5, 2019

KumuluzEE Security Keycloak

com.kumuluz.ee.security : kumuluzee-security-keycloak

KumuluzEE Security extension for the Keycloak authentication server

Last Version: 1.2.0

Release Date: Jun 5, 2020

st-edoal-stdflat-transformer

it.uniroma2.art.semanticturkey : st-edoal-stdflat-transformer

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

Switchboard

io.github.whiskeysierra : switchboard

An in-process message router that helps to write simple, asynchronous, state-based and collaboration tests.

Last Version: 0.3.0

Release Date: Jan 23, 2020

keywords-Break

com.thoughtworks.dsl : keywords-break_sjs0.6_2.13.0-M4

Last Version: 1.0.0-RC16

Release Date: Aug 28, 2018

key encode/decode utilities

com.codingzero.utilities : ddd-utilities-key

Domain-driven design practice handy utilities

Last Version: 1.0.2

Release Date: May 8, 2022

st-sftp-loader

it.uniroma2.art.semanticturkey : st-sftp-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: Jun 23, 2022

Z3-TurnKey

io.github.tudo-aqua : z3-turnkey

A self-unpacking, standalone Z3 distribution that ships all required native support code and automatically unpacks it at runtime.

Last Version: 4.8.14

Release Date: Jan 13, 2022

qlack2-util-twelvemonkeys

com.eurodyn.qlack2.util : qlack2-util-twelvemonkeys

QLACK project

Last Version: 2.3.18

Release Date: Jun 18, 2020

Kaval

io.monkeypatch.kaval : kaval-arrow-metadata

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date: Jun 25, 2020

TwelveMonkeys ImageIO Thumbs.db plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-thumbsdb

ImageIO plugin for Windows Thumbs DB (Thumbs.db) format.

Last Version: 2.3

Release Date: May 20, 2010

Releng - Server - Keycloak - All

org.eclipse.dirigible : dirigible-server-keycloak-all

Dirigible Parent

Last Version: 6.3.6

Release Date: Jun 24, 2022

Everit OSGi File based KeyStore manager component

org.everit.osgi : org.everit.osgi.keystore.file

A component that supports file based keystore management in OSGi environment.

Last Version: 1.0.0

Release Date: Oct 16, 2020

lagom-scaladsl-google-pubsub-broker

com.elegantmonkeys : lagom-scaladsl-google-pubsub-broker_2.12

Last Version: 1.0.0-RC1

Release Date: Apr 25, 2018

WSO2IS User Info Rest API

org.wso2.km.ext.wso2is : wso2is.key.manager.userinfo.endpoint.feature

WSO2 is an open source application development software company focused on providing service-oriented architecture solutions for professional developers.

Last Version: 1.0.6

Release Date: Jul 15, 2020