web analytics

Edit

UID: libtk

Crate name:

Tk (Tool Control Language Toolkit)

Kind:
alire-lib

alire-lib

Category:

Dependencies:

gnat=>=11.2.1

Info updated on:
2022-11-06T01:00:00+01:00
Summary:

Verified SPARK 2014 re-implementation of TweetNaCl cryptographic library

Author:

by Rod Chapman

Website:

github.com/rod-chapman/SPARKNaCl

Ada Packages names:

github.com/rod-chapman/SPARKNaCl

License:

SPDX: BSD-3-Clause

Tags:

sparkcryptographysecuritynaclcurve25519ed25519tweetnacl

File downloads:

crates.zip

crates.dmg

Details:

EEC GDPR compliant