Formal Verification

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

jodconverter-online

io.github.keyintegrity : jodconverter-online

Module required in order to process online conversions (LibreOffice Online) for the Java OpenDocument Converter (JODConverter) project.

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

Дата:

sdkopenkeyboard

com.srpago.openkeyboard : sdkopenkeyboard

Open keyboard library of Sr. Pago.

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

Lignin Core

com.github.tddmonkey : lignin-core

A set of Project Reactor Kotlin extensions

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

Дата:

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

Дата:

Swift Socket Server

org.codemonkey.swiftsocketserver : swift-socket-server

A socket server-client that simplifies communication and running a simulation

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

Дата:

Alluxio Key Value - Hadoop Utilities

org.alluxio : alluxio-keyvalue-hadoop

Hadoop utilities in Alluxio Key Value Store modules

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

Дата:

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

Дата:

jodconverter-spring-boot-starter

io.github.keyintegrity : jodconverter-spring-boot-starter

Spring Boot integration module of the Java OpenDocument Converter (JODConverter) project.

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

Дата:

zio-aws-keyspaces

dev.zio : zio-aws-keyspaces_2.13

Low-level AWS wrapper for ZIO

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

Дата:

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

Дата:

appirater-android

com.keysolutions : appirater-android

Android version of iOS appirater

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

Дата:

dazzleconf-ext-snakeyaml

space.arim.dazzleconf : dazzleconf-ext-snakeyaml

Boilerplate-free, type-safe configuration solution.

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

Дата:

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

Дата:

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

Дата:

st-pmki-connector

it.uniroma2.art.semanticturkey : st-pmki-connector

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)

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

Дата:

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

Дата:

chaos-monkey-web-reactive-app

de.codecentric : chaos-monkey-web-reactive-app

Chaos Monkey for Spring Boot reactive web app

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

Дата:

Последняя версия: 1.3.1+10-84868c21

Дата:

share

io.github.wankey.mithril : share

a rx stream library provider ability to share text、image、web to popular social media in China

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

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

mobile-key-aabloy

net.iris : mobile-key-aabloy

iRiS Guest Mobile Key AssaAbloy implementation

Последняя версия: 5.7.0.rc11

Дата:

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

Дата:

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

Дата:

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

Дата:

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

Дата:

wechat-sdk

com.github.okeyj : wechat.sdk

WeChat Software Development Kit,Note:This artifact is abandoned,Please use com.github.okeyj:wechat-sdk:1.0.0

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

Дата:

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

Дата:

Keycloak : Migrate : Module

dk.grinn.keycloak : keycloak-migrate-module

Keycloak migrate Jboss module assembly of the spi and core parts.

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

Дата:

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

Дата:

jMonkeyEngine

org.jmonkeyengine : jme3-ios

jMonkeyEngine is a 3-D game engine for adventurous Java developers

Последняя версия: 3.5.2-stable

Дата:

krypto-keys

tz.co.asoft : krypto-keys-iosarm32

A platform agnostic implementation of security keys

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

Дата:

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

Дата:

LBFGS

com.github.thssmonkey : LBFGS

Limited-memory BFGS (L-BFGS) is an optimization algorithm in the family of quasi-Newton methods that approximates the Broyden–Fletcher–Goldfarb–Shanno (BFGS) algorithm using a limited amount of computer memory. It is a popular algorithm for parameter estimation in machine learning. The algorithm's target problem is to minimize f(x) over unconstrained values of the real-vector x where f is a differentiable scalar function.

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

Дата:

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

Дата:

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

Дата:

RsaApiKeyValidator

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

RSA API Key validator for Mobile Clients

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

Дата: