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.

Last Version: 20180813

Release Date: Jan 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)

Last Version: 11.1

Release Date: Jun 23, 2022

css-color-keywords

org.webjars.npm : css-color-keywords

WebJar for css-color-keywords

Last Version: 1.0.0

Release Date: May 31, 2018

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-jvm

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

RESTEasy Security: Skeleton Key AS7 Integration

org.jboss.resteasy : skeleton-key-as7

Last Version: 4.0.0.Beta4

Release Date: Jun 28, 2018

lkengine-db

cn.linkey : lkengine-db

独立的存储引擎jar

Last Version: 1.1.1

Release Date: Feb 24, 2021

keywords-Catch

com.thoughtworks.dsl : keywords-catch_3

Last Version: 2.0.0-M1

Release Date: Nov 26, 2021

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

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

Last Version: 6.6.0-RC4

Release Date: Jun 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.

Last Version: 0.1.8

Release Date: Mar 15, 2017

keywords-ForEach

com.thoughtworks.dsl : keywords-foreach_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-FlatMap

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

Last Version: 1.3.1+10-84868c21

Release Date: Jun 11, 2019

svgxuse

org.webjars.bowergithub.keyamoon : svgxuse

WebJar for svgxuse

Last Version: 1.2.6

Release Date: May 25, 2019

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs1_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

languageServer

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

Last Version: 0.1.6

Release Date: Apr 2, 2020

keywords-ForEach

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

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-In

com.thoughtworks.dsl : keywords-in_3

Last Version: 2.0.0-M2+128-447d383d

Release Date: Dec 15, 2021

env-keystore

com.github.jkutner : env-keystore

Creates KeyStore and TrustStore from environment variables

Last Version: 0.1.3

Release Date: Jul 12, 2017

restmodel

co.privacyone.keychain : restmodel

Keychain Restful Model code

Last Version: 1.5.5

Release Date: Apr 16, 2020

keywords-Yield

com.thoughtworks.dsl : keywords-yield_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-FlatMap

com.thoughtworks.dsl : keywords-flatmap_sjs1_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keywords-WithFilter

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

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

tools-keygen

com.jd.blockchain : tools-keygen

jdchain

Last Version: 1.1.10.RELEASE

Release Date: Jun 22, 2020

serialization - modules - snakeyaml - providers - guice

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

serialization

Last Version: 0.1.0

Release Date: Dec 17, 2019

cool-jconon-keycloak

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

Archetype for push artifact to Maven repository

Last Version: 4.13.4

Release Date: Jun 17, 2022

keywords-Yield

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

Last Version: 1.3.1+10-84868c21

Release Date: Jun 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.

Last Version: 1.0.1

Release Date: Jul 6, 2017

keywords-Using

com.thoughtworks.dsl : keywords-using_2.11

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

vertigo-keycloak-connector

io.vertigo : vertigo-keycloak-connector

Vertigo is a simple java project starter

Last Version: 3.3.0

Release Date: Feb 3, 2022

dsl-keywords-akka-actor

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

Last Version: 0.0.0+116-c5c66abe

Release Date: Jun 12, 2019

Keycloak : Migrate : Ear

dk.grinn.keycloak : keycloak-migrate-ear

Keycloak migrate EAR assembly of the spi and core parts.

Last Version: 15.0.0.1

Release Date: Sep 8, 2021

protobuf

co.privacyone.keychain : protobuf

Keychain protobuf definitions

Last Version: 1.5.5

Release Date: Apr 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.

Last Version: 0.2.44

Release Date: Aug 11, 2021