KeY | JarCasting

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

st-regex-search-strategy

it.uniroma2.art.semanticturkey : st-regex-search-strategy

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

st-sparql-rdf-transformer

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

Last Version: 11.1

Release Date: Jun 23, 2022

st-trivial-inference-sail

it.uniroma2.art.semanticturkey : st-trivial-inference-sail

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

did_keyboard_visibility

kz.btsd : did_keyboard_visibility

Last Version: 1.1.8

Release Date: Mar 5, 2020

keyboard_visibility_release

kz.btsd : keyboard_visibility_release

Last Version: 1.1.7

Release Date: Feb 27, 2020

matemonkey4j-async

me.sniggle : matemonkey4j-async

A implementation to easily call the matemonkey api and find the Mate of your choice

Last Version: 0.0.1

Release Date: Nov 1, 2015

diffie-hellman

be.atbash.keys : diffie-hellman

Atbash Key Server parent

Last Version: 0.5

Release Date: Jan 9, 2019

lkengine-db

cn.linkey : lkengine-db

独立的存储引擎jar

Last Version: 1.1.1

Release Date: Feb 24, 2021

springboot2-cache-keys-endpoint

cn.patterncat : springboot2-cache-keys-endpoint

Last Version: 0.0.1

Release Date: Mar 14, 2019

Ontimize Boot (Starter keycloak module)

com.ontimize.boot : ontimize-boot-starter-keycloak

Last Version: 3.8.1

Release Date: Nov 19, 2021

keystores

com.palantir.remoting3 : keystores

Palantir open source project

Last Version: 3.18.0

Release Date: Aug 20, 2021

org.ow2.xlcloud:openstack-keystone-sdk

org.ow2.xlcloud : openstack-keystone-sdk

XLcloud aims to define and demonstrate the principles of HPC as a Service (High Performance Computing) for all those applications that involve highly intensive calculations. XLcloud is designed as a collaborative tool that enables users to work together on highly sophisticated software in the Cloud, thus sidestepping the need for individuals to have to purchase expensive software on their own. XLcloud combines the expertise of companies and academics that are innovative in the field of high performance computer architectures and flow visualization HD/3D and video. While many Internet-based applications are now available on the Cloud, high-performance applications still face a number of technological obstacles before they are cloud ready. For example, high performance applications often need large capacity processing, lots of storage and huge network bandwidth, needs that are difficult to meet in today’s Cloud. In developing HPC as a Service (HaaS), XLcloud has identified the following high performance applications involving research and industrial innovation: * Research environments such as universities or technical institutes where high performance computing is a requirement, * Online game applications, * Online streaming video in real time, * Search engines in real time, * Online three-dimensional imaging for medical use.

Last Version: 1.0.0

Release Date: May 12, 2014

cryptoapi

io.apikey : model

Framework for working with CryptoAPI

Last Version: 0.4.15

Release Date: Mar 22, 2022

Cacophony SpringBoot Autoconfigure

io.github.key-del-jeeinho : cacophony-spring-boot-autoconfigure

This project is a autoconfigure module that helps you use the cacopony library easily in a spring boot environment.

Last Version: 1.0.9-RELEASE

Release Date: Nov 11, 2021

GWT Keycloak Library

org.realityforge.gwt.keycloak : gwt-keycloak

Last Version: 0.12

Release Date: Jul 27, 2021

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-iosarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-iossimulatorarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-iosx64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-js

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-jvm

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-macosarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-macosx64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-tvosarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-tvossimulatorarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-tvosx64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

keygen-script

org.infrastructurebuilder.bootstrap : keygen-script

Root POM set for IB projects

Last Version: 0.0.3

Release Date: Aug 18, 2021

keywords-Await

com.thoughtworks.dsl : keywords-await_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

keywords-Await

com.thoughtworks.dsl : keywords-await_sjs1_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

keywords-Catch

com.thoughtworks.dsl : keywords-catch_3

Last Version: 2.0.0-M1

Release Date: Nov 26, 2021

keywords-Continue

com.thoughtworks.dsl : keywords-continue_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

keywords-Continue

com.thoughtworks.dsl : keywords-continue_sjs1_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

keywords-ForEach

com.thoughtworks.dsl : keywords-foreach_3

Last Version: 2.0.0-M2+128-447d383d

Release Date: Dec 15, 2021

keywords-ForEach

com.thoughtworks.dsl : keywords-foreach_sjs1_3

Last Version: 2.0.0-M2+128-447d383d

Release Date: Dec 15, 2021

keywords-In

com.thoughtworks.dsl : keywords-in_3

Last Version: 2.0.0-M2+128-447d383d

Release Date: Dec 15, 2021

keywords-In

com.thoughtworks.dsl : keywords-in_sjs1_3

Last Version: 2.0.0-M2+128-447d383d

Release Date: Dec 15, 2021

keywords-Map

com.thoughtworks.dsl : keywords-map_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

keywords-Map

com.thoughtworks.dsl : keywords-map_sjs1_3

Last Version: 2.0.0-M2+120-17f12b61

Release Date: Dec 14, 2021

keywords-Monadic

com.thoughtworks.dsl : keywords-monadic_sjs1_3

Last Version: 2.0.0-M2+312-1e07fbeb

Release Date: May 21, 2022

org.sdase.commons:sda-commons-server-key-mgmt

org.sdase.commons : sda-commons-server-key-mgmt

A libraries to bootstrap services easily that follow the patterns and specifications promoted by the SDA SE

Last Version: 2.52.0

Release Date: Jun 21, 2022