Formal Verification | JarCasting

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

keyboard

com.capacitorjs : keyboard

Capacitor Android keyboard plugin native library

Last Version: 1.2.3

Release Date: Jun 17, 2022

Keystone Java bindings

com.github.zhkl0228 : keystone

Keystone assembler framework: Core (Arm, Arm64, Hexagon, Mips, PowerPC, Sparc, SystemZ & X86) + bindings

Last Version: 0.9.7

Release Date: Mar 2, 2022

Simple Java Mail

org.codemonkey.simplejavamail : simple-java-mail

A light weight wrapper for the JavaMail SMTP API

Last Version: 3.1.1

Release Date: May 11, 2016

Keyple Distributed Local Java API

org.eclipse.keyple : keyple-distributed-local-java-api

API dedicated to distributed local services development

Last Version: 2.0.0

Release Date: Oct 6, 2021

Secret Store - Commons

org.keycloak.secretstore : secret-store-common

Useful code for the Secret Store in general.

Last Version: 1.0.15.Final

Release Date: Apr 18, 2016

keypool

io.chrisdavenport : keypool_2.11

Last Version: 0.2.0-M2

Release Date: Jun 18, 2019

WildFly Swarm: Keycloak Runtime

org.wildfly.swarm : wildfly-swarm-keycloak-runtime

Last Version: 1.0.0.Alpha5

Release Date: Oct 26, 2015

vkey

org.webjars.npm : vkey

WebJar for vkey

Last Version: 0.0.3

Release Date: Aug 9, 2016

jodconverter-core

io.github.keyintegrity : jodconverter-core

Java OpenDocument Converter (JODConverter) converts office documents using LibreOffice or Apache OpenOffice.

Last Version: 4.2.3-alpha.1

Release Date: Mar 6, 2019

RESTEasy Security: Skeleton Key Identity Provider

org.jboss.resteasy : skeleton-key-idp

Last Version: 4.0.0.Beta4

Release Date: Jun 28, 2018

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs1_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

key-mini-toolkit

com.webank : key-mini-toolkit

WeBank java crypto core

Last Version: 1.0.4

Release Date: Dec 9, 2021

google-maps-utility-library-v3-keydragzoom

org.webjars.bower : google-maps-utility-library-v3-keydragzoom

WebJar for google-maps-utility-library-v3-keydragzoom

Last Version: 2.0.9

Release Date: Dec 30, 2016

dswork-mvc

com.github.skeychen : dswork-mvc

dswork-framework

Last Version: 10.3.5

Release Date: Apr 29, 2022

keywords-Continue

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

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

iron-a11y-keys-behavior

org.webjars.bower : github-com-PolymerElements-iron-a11y-keys-behavior

WebJar for iron-a11y-keys-behavior

Last Version: 2.1.1

Release Date: May 6, 2018

datatables.net-keytable-bs4

org.webjars.npm : datatables.net-keytable-bs4

WebJar for datatables.net-keytable-bs4

Last Version: 2.6.4

Release Date: Nov 1, 2021

Keyple Distributed Network

org.eclipse.keyple : keyple-java-distributed-network

Last Version: 1.0.0

Release Date: Dec 17, 2020

TwelveMonkeys :: ImageIO :: ICO plugin

com.twelvemonkeys.imageio : imageio-ico

ImageIO plugin for Windows Icon (ICO) and Cursor (CUR) format.

Last Version: 3.0.2

Release Date: Jan 3, 2015

afirma-keystores-filters

es.gob.afirma : afirma-keystores-filters

Modulo para construccion de filtros de certificados

Last Version: 1.7.2

Release Date: Dec 21, 2021

env-keystore

com.heroku.sdk : env-keystore

Creates KeyStore and TrustStore from environment variables

Last Version: 1.1.6

Release Date: Jul 15, 2020

hashicorp-key-vault

net.consensys.quorum.tessera : hashicorp-key-vault

Tessera is a stateless Java system that is used to enable the encryption, decryption, and distribution of private transactions for Quorum.

Last Version: 22.1.3

Release Date: Jun 1, 2022

Keycloak Model Java Annotations and Processor

org.keycloak : keycloak-model-build-processor

Last Version: 18.0.2

Release Date: Jun 24, 2022

JGraph X

com.github.monkeysintown : jgraphx

JGraphX Swing Component - Java Graph Visualization Library This is a binary & source redistribution of the original, unmodified JGraphX library originating from: "https://github.com/jgraph/jgraphx/archive/v3.3.1.1.tar.gz". The purpose of this redistribution is to make the library available to other Maven projects.

Last Version: 3.3.1.1

Release Date: Jul 28, 2015

Keycloak Feature Pack: Server Dependencies

org.keycloak : keycloak-server-feature-pack-dependencies

Last Version: 18.0.2

Release Date: Jun 24, 2022

datatables.net-keytable

org.webjars.bowergithub.datatables : dist-datatables-keytable

WebJar for datatables.net-keytable

Last Version: 2.6.4

Release Date: Nov 16, 2021

Key Connect XRP (Rippled) API

app.keyconnect : keyconnect-rippled-api

API Spec and Client for XRP (Rippled) Server

Last Version: 1.0.0

Release Date: Dec 29, 2020

SnakeYAML

pl.droidsonroids.yaml : snakeyaml

YAML 1.1 parser and emitter for Java, fork of https://bitbucket.org/asomov/snakeyaml with FIELD bean access suitable for Android

Last Version: 1.18.2

Release Date: Nov 22, 2016

keywords-Continue

com.thoughtworks.dsl : keywords-continue_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

key

com.syntaxphoenix.syntaxapi : key

A Java Library to make some things easier and provide helpful tools

Last Version: 2.0.12

Release Date: Feb 16, 2022

cloud-altemistafwk key vault CONF

cloud.altemista.fwk.azure : cloud-altemistafwk-core-azure-key-vault-conf

Last Version: 3.1.0.RELEASE

Release Date: Mar 26, 2020

org-netbeans-libs-snakeyaml_engine

org.netbeans.api : org-netbeans-libs-snakeyaml_engine

Apache NetBeans is an integrated development environment, tooling platform, and application framework.

Last Version: RELEASE140

Release Date: Jun 1, 2022

d3-sankey

org.webjars.npm : d3-sankey

WebJar for d3-sankey

Last Version: 0.9.1

Release Date: May 27, 2021

org-netbeans-modules-keyring-impl

org.netbeans.modules : org-netbeans-modules-keyring-impl

Apache NetBeans is an integrated development environment, tooling platform, and application framework.

Last Version: RELEASE140

Release Date: Jun 1, 2022