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)

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

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

keyboard

com.capacitorjs : keyboard

Capacitor Android keyboard plugin native library

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

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

Keystone Java bindings

com.github.zhkl0228 : keystone

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

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

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

Simple Java Mail

org.codemonkey.simplejavamail : simple-java-mail

A light weight wrapper for the JavaMail SMTP API

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

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

Keyple Distributed Local Java API

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

API dedicated to distributed local services development

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

Дата: 6 окт. 2021 г.

Secret Store - Commons

org.keycloak.secretstore : secret-store-common

Useful code for the Secret Store in general.

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

Дата: 18 апр. 2016 г.

keypool

io.chrisdavenport : keypool_2.11

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

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

WildFly Swarm: Keycloak Runtime

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

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

Дата: 26 окт. 2015 г.

vkey

org.webjars.npm : vkey

WebJar for vkey

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

Дата: 9 авг. 2016 г.

jodconverter-core

io.github.keyintegrity : jodconverter-core

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

Последняя версия: 4.2.3-alpha.1

Дата: 6 мар. 2019 г.

RESTEasy Security: Skeleton Key Identity Provider

org.jboss.resteasy : skeleton-key-idp

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

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

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_3

Последняя версия: 2.0.0-M2+312-1e07fbeb

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

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs1_3

Последняя версия: 2.0.0-M2+120-17f12b61

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

key-mini-toolkit

com.webank : key-mini-toolkit

WeBank java crypto core

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

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

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

Дата: 30 дек. 2016 г.

dswork-mvc

com.github.skeychen : dswork-mvc

dswork-framework

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

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

keywords-Continue

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

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

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

iron-a11y-keys-behavior

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

WebJar for iron-a11y-keys-behavior

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

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

datatables.net-keytable-bs4

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

WebJar for datatables.net-keytable-bs4

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

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

Keyple Distributed Network

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

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

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

TwelveMonkeys :: ImageIO :: ICO plugin

com.twelvemonkeys.imageio : imageio-ico

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

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

Дата: 3 янв. 2015 г.

afirma-keystores-filters

es.gob.afirma : afirma-keystores-filters

Modulo para construccion de filtros de certificados

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

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

env-keystore

com.heroku.sdk : env-keystore

Creates KeyStore and TrustStore from environment variables

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

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

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

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

Keycloak Model Java Annotations and Processor

org.keycloak : keycloak-model-build-processor

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

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

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

Дата: 28 июл. 2015 г.

Keycloak Feature Pack: Server Dependencies

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

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

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

datatables.net-keytable

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

WebJar for datatables.net-keytable

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

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

Key Connect XRP (Rippled) API

app.keyconnect : keyconnect-rippled-api

API Spec and Client for XRP (Rippled) Server

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

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

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

Дата: 22 нояб. 2016 г.

keywords-Continue

com.thoughtworks.dsl : keywords-continue_sjs1_2.13

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

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

key

com.syntaxphoenix.syntaxapi : key

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

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

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

cloud-altemistafwk key vault CONF

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

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

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

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

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

d3-sankey

org.webjars.npm : d3-sankey

WebJar for d3-sankey

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

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

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

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