Formal Verification | JarCasting

crypto-key-secp256k1

com.syntifi.crypto : crypto-key-secp256k1

Crypto libraries for working with Public and Private Keys cryptography.

Last Version: 0.3.1

Release Date: Jun 1, 2022

ReceiveMessage

com.yang-bo.dsl.keywords.akka.actor : receivemessage_sjs1_2.13

Last Version: 1.0.1+3-c334a586

Release Date: May 30, 2020

lodash._keyprefix

org.webjars.npm : lodash._keyprefix

WebJar for lodash._keyprefix

Last Version: 2.0.0

Release Date: Mar 5, 2018

keyczar-repack

org.zalando.stups : keyczar-repack

Parent pom.xml that can be used by STUPS Maven projects

Last Version: 0.71g-090613-1

Release Date: Nov 16, 2015

lagom-javadsl-google-pubsub-client

com.elegantmonkeys : lagom-javadsl-google-pubsub-client_2.12

Last Version: 1.0.0-RC1

Release Date: Apr 25, 2018

keypool

org.typelevel : keypool_3.0.0-M3

Last Version: 0.4.0

Release Date: Mar 29, 2021

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-tvosarm64

Kotlin Multiplatform Extensions

Last Version: 0.1.139

Release Date: Mar 16, 2022

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

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

dswork-flow

com.github.skeychen : dswork-flow

dswork-framework

Last Version: 10.2.1

Release Date: Jul 6, 2021

safekeyboard

com.zarinpal : safekeyboard

ZarinPal Official safekeyboard SDK

Last Version: 0.5.4

Release Date: May 23, 2022

krypto-keys

tz.co.asoft : krypto-keys-js

A platform agnostic implementation of security keys

Last Version: 0.0.50

Release Date: Jun 2, 2021

keycloak4s-auth-core

com.fullfacing : keycloak4s-auth-core_2.12

Last Version: 3.1.1

Release Date: Sep 13, 2021

key-value-store

com.arakelian : key-value-store

null

Last Version: 2.7.0

Release Date: Oct 15, 2020

keywords-Map

com.thoughtworks.dsl : keywords-map_sjs1_2.12

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keyring

io.bunting.keyring : keyring

Sonatype helps open source projects to set up Maven repositories on https://oss.sonatype.org/

Last Version: 0.2.0

Release Date: Sep 23, 2015

keywords-WithFilter

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

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

spring-boot-util-appkey

com.github.edgar615 : spring-boot-util-appkey

Parent pom providing dependency and plugin management for applications built with Maven

Last Version: 0.2.11

Release Date: Aug 14, 2019

LSPProtocol

com.github.keyboardDrummer : lspprotocol_2.13

Last Version: 0.1.9

Release Date: Feb 27, 2021

keycloak4s-admin

com.fullfacing : keycloak4s-admin_2.12

Last Version: 3.1.1

Release Date: Sep 13, 2021

bouncycastle-adapter

de.adorsys.keymanagement : bouncycastle-adapter

Fluent-API to generate encryption keys and keystores. Query-like syntax to read and manipulate keys in keystore.

Last Version: 0.0.6

Release Date: Nov 5, 2019

hu.perit.spvitamin:spvitamin-spring-security-keycloak

hu.perit.spvitamin : spvitamin-spring-security-keycloak

A general purpose library to use in a spring based microservice environment.

Last Version: 1.3.13-RELEASE

Release Date: Jun 12, 2022

keystores

com.palantir.remoting3 : keystores

Palantir open source project

Last Version: 3.18.0

Release Date: Aug 20, 2021

diffie-hellman

be.atbash.keys : diffie-hellman

Atbash Key Server parent

Last Version: 0.5

Release Date: Jan 9, 2019

Keycloak Picketlink Realm

org.keycloak : keycloak-picketlink-realm

Last Version: 1.0-beta-3

Release Date: Jun 18, 2014

dswork-ognl

com.github.skeychen : dswork-ognl

dswork-framework

Last Version: 9.1.2

Release Date: Jan 20, 2021

MazarineBlue - FileSytem-keywords module

org.mazarineblue : MazarineBlue-FileSystem-keywords

The FileSystem module allows for filesystem manipulation.

Last Version: 0.1.0

Release Date: Sep 3, 2015

user-secret-auth-provider

de.adorsys.keycloak : user-secret-auth-provider

Keycloak User Secret Adapter

Last Version: 1.0.7

Release Date: Sep 18, 2019

keycloak4s-admin

com.fullfacing : keycloak4s-admin_2.13

Last Version: 3.1.1

Release Date: Sep 13, 2021

Keycloak Sendinblue Extension

de.intension : keycloak-sendinblue-extension

Email provider for sending mails via Sendinblue API

Last Version: KC-12.0.4-1.0.1

Release Date: Apr 6, 2021

Virgil KeyKnox Java/Android SDK

com.virgilsecurity : keyknox

Virgil Security provides an SDK which allows you to communicate with Virgil Keyknox Service. Virgil Keyknox Service allows users to store their sensitive data (such as Private Key) encrypted (with end-to-end encryption) for using and sharing it between different devices.

Last Version: 0.2.1

Release Date: Jul 11, 2019

Messa Library

io.github.key-del-jeeinho : messa-lib

light version of bento-iplease

Last Version: 2.1.0-RELEASE

Release Date: May 27, 2022

Kaval

io.monkeypatch.kaval : kaval-core-js

A POJO validation DSL in Kotlin

Last Version: 0.5.1

Release Date: Jun 25, 2020

orx-keyframer

org.openrndr.extra : orx-keyframer

Last Version: 0.4.0-rc.8

Release Date: Mar 16, 2022

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs1_2.13

Last Version: 2.0.0-M0+1-b691cde8

Release Date: Nov 25, 2021

keydown

org.webjars.npm : keydown

WebJar for keydown

Last Version: 0.0.3

Release Date: Aug 9, 2016

dmsg

io.github.balddonkey2333 : dmsg

dmsg lib

Last Version: 1.0.3

Release Date: Dec 29, 2021

PUI9 Keycloak support

es.prodevelop : es.prodevelop.pui9.keycloak.bo

Keycloak support for autentication

Last Version: 1.17.0

Release Date: Jun 23, 2022

ReceiveMessage

com.yang-bo.dsl.keywords.akka.actor : receivemessage_sjs0.6_2.12

Last Version: 1.0.1+3-c334a586

Release Date: May 30, 2020

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