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)

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

Дата: 23 июн. 2022 г.

swift-server

org.codemonkey.swiftsocketserver : swift-server

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

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

Дата: 21 авг. 2011 г.

Resteasy Skeleton Key AS7 Modules

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

Resteasy

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

Дата: 31 окт. 2012 г.

Keycloak AS7 / JBoss EAP 6 Adapter Distros

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

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

Дата: 20 авг. 2021 г.

keywords-NoneSafe

com.thoughtworks.dsl : keywords-nonesafe_sjs1_2.11

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

Дата: 25 нояб. 2021 г.

khs-sherpa-guice

com.keyholesoftware : khs-sherpa-guice

Guice support for Sherpa.

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

Дата: 27 нояб. 2014 г.

project

io.bunting.keyring : project

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

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

Дата: 23 сент. 2015 г.

Keycloak Client Registration Parent

org.keycloak : keycloak-client-registration-parent

Последняя версия: 1.8.1.Final

Дата: 4 февр. 2016 г.

Keyple Plugin Stub

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

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

Дата: 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.

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

Дата: 31 янв. 2022 г.

keywords-Await

com.thoughtworks.dsl : keywords-await_2.11

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

Дата: 25 нояб. 2021 г.

Keycloak Examples - Kerberos Credential Delegation

org.keycloak : examples-kerberos

Kerberos Credential Delegation Example

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

Дата: 24 июн. 2022 г.

TwelveMonkeys :: ImageIO :: TGA plugin

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

ImageIO plugin for Truevision TGA Image Format (TGA)

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

Дата: 13 мая 2017 г.

Che Multiuser :: Keycloak Integration Parent

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

Provides default project configuration for Che projects

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

Дата: 7 апр. 2021 г.

angular-virtual-keyboard

org.webjars.bower : angular-virtual-keyboard

WebJar for angular-virtual-keyboard

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

Дата: 22 мая 2016 г.

Lowkey Vault - App

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

Assembled application of Lowkey Vault.

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

Дата: 22 июн. 2022 г.

keywords-Get

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

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

Дата: 25 нояб. 2021 г.

modularLanguages

com.github.keyboardDrummer : modularlanguages_sjs1_2.13

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

Дата: 27 февр. 2021 г.

lagom-javadsl-google-pubsub-broker

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

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

Дата: 25 апр. 2018 г.

KeycloakUserSecretAdapter

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

Keycloak User Secret Adapter

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

Дата: 18 сент. 2019 г.

ArchUnit: Hexagonal

io.github.whiskeysierra : archunit-hexagonal

Hexagonal Architecture rules for ArchUnit

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

Дата: 17 мая 2022 г.

Keycloak Quarkus Parent

org.keycloak : keycloak-quarkus-parent

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

Дата: 24 июн. 2022 г.

Keycloak SAML Adapter Example POST Binding and Assertion Encryption

org.keycloak : saml-post-encryption

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

Дата: 20 авг. 2021 г.

MonkeyTail

com.sksamuel.monkeytail : monkeytail-core-jvm

Multiplatform Parse not Validate

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

Дата: 19 февр. 2022 г.

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

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

Дата: 5 июн. 2022 г.

QtJambi VirtualKeyboard native components for Linux x64

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

Native components for Linux x64

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

Дата: 30 апр. 2022 г.

KeyMG API

org.keymg : keymg

KeyMG API contains the api to use on the model

Последняя версия: 1.0.CR1

Дата: 27 июл. 2011 г.

animation-keyframes

org.webjars.bowergithub.valdrinkoshi : animation-keyframes

WebJar for animation-keyframes

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

Дата: 3 февр. 2018 г.

MonkeyTail

com.sksamuel.monkeytail : monkeytail-core-js

Multiplatform Parse not Validate

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

Дата: 19 февр. 2022 г.

keylock

cn.sayjava : keylock

Key lock project for spring boot

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

Дата: 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).

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

Дата: 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.

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

Дата: 20 апр. 2022 г.

bikey

com.jerolba : bikey

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

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

Дата: 5 мая 2019 г.

KumuluzEE Security Keycloak

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

KumuluzEE Security extension for the Keycloak authentication server

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

Дата: 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)

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

Дата: 23 июн. 2022 г.

Switchboard

io.github.whiskeysierra : switchboard

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

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

Дата: 23 янв. 2020 г.

keywords-Break

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

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

Дата: 28 авг. 2018 г.

key encode/decode utilities

com.codingzero.utilities : ddd-utilities-key

Domain-driven design practice handy utilities

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

Дата: 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)

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

Дата: 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.

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

Дата: 13 янв. 2022 г.

qlack2-util-twelvemonkeys

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

QLACK project

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

Дата: 18 июн. 2020 г.

Kaval

io.monkeypatch.kaval : kaval-arrow-metadata

A POJO validation DSL in Kotlin

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

Дата: 25 июн. 2020 г.

TwelveMonkeys ImageIO Thumbs.db plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-thumbsdb

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

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

Дата: 20 мая 2010 г.

Releng - Server - Keycloak - All

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

Dirigible Parent

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

Дата: 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.

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

Дата: 16 окт. 2020 г.

lagom-scaladsl-google-pubsub-broker

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

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

Дата: 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.

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

Дата: 15 июл. 2020 г.