Formal Verification

krypto-keys

tz.co.asoft : krypto-keys-iosarm64

A platform agnostic implementation of security keys

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

Дата:

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

Дата:

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

Дата:

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

Дата:

persist-keyvalue-inmemory

tz.co.asoft : persist-keyvalue-inmemory-js

Platform agnostic contracts for persisting key-value pairs in memory

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

Дата:

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

Дата:

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

Дата:

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

Дата:

IDVKey SDK

com.kloudtek.idvkey.sdk : idvkey-sdk

IDVKey Software Development Kit

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

Дата:

safeAPIKeyStore.client

com.github.vatbub : safeAPIKeyStore.client

A (somewhat) secure approach to storing api keys in open source projects

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

Дата:

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

Дата:

KeyboardView-Copy

com.licheedev : keyboardview-copy

Android KeyboardView Copy and Modified

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

Дата:

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

Дата:

snakeyaml-anno

cd.connect.third_party : snakeyaml-anno

This is the snakeyaml-anno library by github.com/beosign/snakeyaml-anno - released so we can use it on Maven Central. It otherwise has no changes.

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

Дата:

cc.renken:keylock

cc.renken : keylock

A simple key based locking library.

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

Дата:

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

Дата:

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

Дата:

pax-keycloak-undertow

org.ops4j.pax.keycloak : pax-keycloak-undertow

Maven parent POM for all OPS4J Maven projects.

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

Дата:

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

Дата:

Semantic Turkey CORE Services

it.uniroma2.art.semanticturkey : st-core-services

The set of core services bundled with the default Semantic Turkey XPI

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

Дата:

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

Дата:

RsaApiKeyValidator

io.toxicity : rsa-api-key-validator-watchosarm64

RSA API Key validator for Mobile Clients

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

Дата:

key management notification feature

org.wso2.km.ext.wso2is : wso2is.key.manager.notification.feature

WSO2 is an open source application development software company focused on providing service-oriented architecture solutions for professional developers.

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

Дата:

Spring Security SAML Keys Rollover

com.paddypowerbetfair : spring-security-saml-keys-rollover

An extension of Spring Security SAML Library 1.0.x to add support for keys rollover

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

Дата:

KeyMG Model

org.keymg : keymg-model

KeyMG Model contains the model

Последняя версия: 1.0.CR1

Дата:

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

Дата:

mediawikixml

net.seeseekey : mediawikixml

Library for reading data from MediaWiki dump xml files.

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

Дата:

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

Дата:

Key/Value API

com.ethlo.keyvalue : keyvalue-api

Generic Key/Value Store API

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

Дата:

jIconFont Keyrune

com.kloenlansfiel.jiconfont : keyrune

jIconFont (https://github.com/jIconFont/jiconfont) implementation of Keyrune (https://github.com/andrewgioia/Keyrune)

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

Дата:

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

Дата:

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

Дата:

chaos-monkey-dependencies

de.codecentric : chaos-monkey-dependencies

Dependencies of Chaos Monkey for Spring Boot

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

Дата:

Bento Common API

io.github.key-del-jeeinho : bento-common-api

Component that collects the global public interfaces in the Bento library.

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

Дата:

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

Дата:

TwelveMonkeys ImageIO PDF plugin

com.twelvemonkeys.imageio : twelvemonkeys-imageio-pdf

ImageIO plugin for Adobe Portable Document Format (PDF).

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

Дата:

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

Дата:

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

Дата:

st-rdf-serializing-exporter

it.uniroma2.art.semanticturkey : st-rdf-serializing-exporter

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

Дата:

keyboard-js

org.webjars.npm : keyboard-js

WebJar for keyboard-js

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

Дата:

Последняя версия: 3.0.0-M3

Дата:

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

Дата:

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

Дата:

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

Дата:

KeyMG Parent

org.keymg : keymg-parent

The Codehaus is a collaborative environment for building open source projects with a strong emphasis on modern languages, focussed on quality components that meet real world needs.

Последняя версия: 1.0.CR1

Дата:

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

Дата:

Kaval

io.monkeypatch.kaval : kaval-reflect-common

A POJO validation DSL in Kotlin

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

Дата:

Последняя версия: 0.3.0-M1

Дата: