Awesome Open Source

Programming Languages

Search results for cryptography ada

1 search results found

Sparknacl ⭐ 97

SPARK 2014 re-implementation of the TweetNaCl crypto library

Ada Crypto Library ⭐ 80

The libadacrypt-dev is a crypto library for Ada with a nice API. It is written for the i386 and x86_64 hardware architecture and supports AES, Twofish, 3DES, Serpent SHA-1/256/384/512, DSA, OAEP-RSA, HMAC, CMAC, SIV, OCB, Nonces, Elliptic Curves. etc. It also contains regression tests consisting of over 400 tests. Dependencies: make and gnat-4.9.

Cardano Py ⭐ 18

Python3 lib and cli for operating a Cardano Passive Node and using the API's. (PRE-ALPHA)

A cryptographic framework, proven for correctness in SPARK

Related Searches

Cryptography Cryptocurrency (1,658)

Encryption Cryptography (1,357)

Cryptography Bitcoin (1,044)

Python Cryptography (1,005)

Blockchain Cryptography (974)

C Cryptography (813)

Golang Cryptography (734)

C Plus Plus Cryptography (677)

Security Cryptography (628)

Cryptography Cipher (573)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.