Formal Verification

com.github.anandvarkeyphilips : json-java-ordered

A reference implementation of a JSON package in Java. (Ordered version implementation using LinkedHashMap instead of HashMap of https://github.com/stleary/JSON-java) See http://www.JSON.org/ The files in this package implement JSON encoders/decoders in Java. It also includes the capability to convert between JSON and XML, HTTP headers, Cookies, and CDL. This is a reference implementation. There is a large number of JSON packages in Java. Perhaps someday the Java community will standardize on one. Until then, choose carefully.

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

Дата: 22 янв. 2019 г.

st-l10n

it.uniroma2.art.semanticturkey : st-l10n

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 г.

css-color-keywords

org.webjars.npm : css-color-keywords

WebJar for css-color-keywords

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

Дата: 31 мая 2018 г.

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-jvm

Kotlin Multiplatform Extensions

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

Дата: 16 мар. 2022 г.

RESTEasy Security: Skeleton Key AS7 Integration

org.jboss.resteasy : skeleton-key-as7

Последняя версия: 4.0.0.Beta4

Дата: 28 июн. 2018 г.

lkengine-db

cn.linkey : lkengine-db

独立的存储引擎jar

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

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

keywords-Catch

com.thoughtworks.dsl : keywords-catch_3

Последняя версия: 2.0.0-M1

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

cas-server-support-configuration-cloud-azure-keyvault

org.apereo.cas : cas-server-support-configuration-cloud-azure-keyvault

Последняя версия: 6.6.0-RC4

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

siggi-ci-keys-spring-data-jpa

org.siggi-ci : siggi-ci-keys-spring-data-jpa

The Maven-Reactor to build siggi-ci-bricks.

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

Дата: 15 мар. 2017 г.

keywords-ForEach

com.thoughtworks.dsl : keywords-foreach_2.13

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

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

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs1_2.13

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

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

keywords-FlatMap

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

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

Дата: 11 июн. 2019 г.

svgxuse

org.webjars.bowergithub.keyamoon : svgxuse

WebJar for svgxuse

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

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

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs1_2.12

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

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

languageServer

com.github.keyboardDrummer : languageserver_sjs0.6_2.13

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

Дата: 2 апр. 2020 г.

keywords-ForEach

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

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

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

keywords-In

com.thoughtworks.dsl : keywords-in_3

Последняя версия: 2.0.0-M2+128-447d383d

Дата: 15 дек. 2021 г.

env-keystore

com.github.jkutner : env-keystore

Creates KeyStore and TrustStore from environment variables

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

Дата: 12 июл. 2017 г.

restmodel

co.privacyone.keychain : restmodel

Keychain Restful Model code

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

Дата: 16 апр. 2020 г.

keywords-Yield

com.thoughtworks.dsl : keywords-yield_2.11

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

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

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_sjs1_2.12

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

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

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs0.6_2.11

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

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

tools-keygen

com.jd.blockchain : tools-keygen

jdchain

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

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

serialization - modules - snakeyaml - providers - guice

io.github.qsy7.java.modules.serialization.modules.snakeyaml.providers : guice

serialization

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

Дата: 17 дек. 2019 г.

cool-jconon-keycloak

it.cnr.si.cool.jconon : cool-jconon-keycloak

Archetype for push artifact to Maven repository

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

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

keywords-Yield

com.thoughtworks.dsl : keywords-yield_2.13.0-M4

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

Дата: 11 июн. 2019 г.

TwelveMonkeys :: ImageIO :: Batik Plugin

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

ImageIO wrapper for the Batik SVG Toolkit, enabling Scalable Vector Graphics (SVG) support. See the <a href="http://xmlgraphics.apache.org/batik/">Batik Home page</a> for more information.

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

Дата: 6 июл. 2017 г.

keywords-Using

com.thoughtworks.dsl : keywords-using_2.11

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

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

vertigo-keycloak-connector

io.vertigo : vertigo-keycloak-connector

Vertigo is a simple java project starter

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

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

dsl-keywords-akka-actor

com.yang-bo.dsl.domains.akka.actor : dsl-keywords-akka-actor_2.12

Последняя версия: 0.0.0+116-c5c66abe

Дата: 12 июн. 2019 г.

Keycloak : Migrate : Ear

dk.grinn.keycloak : keycloak-migrate-ear

Keycloak migrate EAR assembly of the spi and core parts.

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

Дата: 8 сент. 2021 г.

protobuf

co.privacyone.keychain : protobuf

Keychain protobuf definitions

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

Дата: 16 апр. 2020 г.

autoit

de.openkeyword : autoit

OKW - OpenKeyWord is a framework for keyword-driven testing. OKW is like a glue: it is the link between the test case description and the user activity on GUI. OKW dramatically reduces the cost of creating and maintaining test cases.

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

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