Formal Verification | JarCasting

crypto-key-secp256k1

com.syntifi.crypto : crypto-key-secp256k1

Crypto libraries for working with Public and Private Keys cryptography.

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

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

ReceiveMessage

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

Последняя версия: 1.0.1+3-c334a586

Дата: 30 мая 2020 г.

lodash._keyprefix

org.webjars.npm : lodash._keyprefix

WebJar for lodash._keyprefix

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

Дата: 5 мар. 2018 г.

keyczar-repack

org.zalando.stups : keyczar-repack

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

Последняя версия: 0.71g-090613-1

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

lagom-javadsl-google-pubsub-client

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

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

Дата: 25 апр. 2018 г.

keypool

org.typelevel : keypool_3.0.0-M3

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

Дата: 29 мар. 2021 г.

Hyperdrive

org.brightify.hyperdrive : multiplatformx-keyvalue-tvosarm64

Kotlin Multiplatform Extensions

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

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

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

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

matemonkey4j-async

me.sniggle : matemonkey4j-async

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

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

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

dswork-flow

com.github.skeychen : dswork-flow

dswork-framework

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

Дата: 6 июл. 2021 г.

safekeyboard

com.zarinpal : safekeyboard

ZarinPal Official safekeyboard SDK

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

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

krypto-keys

tz.co.asoft : krypto-keys-js

A platform agnostic implementation of security keys

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

Дата: 2 июн. 2021 г.

keycloak4s-auth-core

com.fullfacing : keycloak4s-auth-core_2.12

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

Дата: 13 сент. 2021 г.

key-value-store

com.arakelian : key-value-store

null

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

Дата: 15 окт. 2020 г.

keywords-Map

com.thoughtworks.dsl : keywords-map_sjs1_2.12

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

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

keyring

io.bunting.keyring : keyring

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

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

Дата: 23 сент. 2015 г.

keywords-WithFilter

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

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

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

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

Дата: 14 авг. 2019 г.

LSPProtocol

com.github.keyboardDrummer : lspprotocol_2.13

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

Дата: 27 февр. 2021 г.

keycloak4s-admin

com.fullfacing : keycloak4s-admin_2.12

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

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

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

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

Последняя версия: 1.3.13-RELEASE

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

keystores

com.palantir.remoting3 : keystores

Palantir open source project

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

Дата: 20 авг. 2021 г.

diffie-hellman

be.atbash.keys : diffie-hellman

Atbash Key Server parent

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

Дата: 9 янв. 2019 г.

Keycloak Picketlink Realm

org.keycloak : keycloak-picketlink-realm

Последняя версия: 1.0-beta-3

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

dswork-ognl

com.github.skeychen : dswork-ognl

dswork-framework

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

Дата: 20 янв. 2021 г.

MazarineBlue - FileSytem-keywords module

org.mazarineblue : MazarineBlue-FileSystem-keywords

The FileSystem module allows for filesystem manipulation.

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

Дата: 3 сент. 2015 г.

user-secret-auth-provider

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

Keycloak User Secret Adapter

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

Дата: 18 сент. 2019 г.

keycloak4s-admin

com.fullfacing : keycloak4s-admin_2.13

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

Дата: 13 сент. 2021 г.

Keycloak Sendinblue Extension

de.intension : keycloak-sendinblue-extension

Email provider for sending mails via Sendinblue API

Последняя версия: KC-12.0.4-1.0.1

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

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

Дата: 11 июл. 2019 г.

Messa Library

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

light version of bento-iplease

Последняя версия: 2.1.0-RELEASE

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

Kaval

io.monkeypatch.kaval : kaval-core-js

A POJO validation DSL in Kotlin

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

Дата: 25 июн. 2020 г.

orx-keyframer

org.openrndr.extra : orx-keyframer

Последняя версия: 0.4.0-rc.8

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

keywords-WithFilter

com.thoughtworks.dsl : keywords-withfilter_sjs1_2.13

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

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

keydown

org.webjars.npm : keydown

WebJar for keydown

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

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

dmsg

io.github.balddonkey2333 : dmsg

dmsg lib

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

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

PUI9 Keycloak support

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

Keycloak support for autentication

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

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

ReceiveMessage

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

Последняя версия: 1.0.1+3-c334a586

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

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

Дата: 12 мая 2014 г.