SPARKNaCl
by rod-chapman
SPARK 2014 re-implementation of the TweetNaCl crypto library
AI summary
Crypto library
Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization.
- stars
- 115
- forks
- 9
- watching
- 16
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Crypto library
A JavaScript implementation of cryptographic primitives inspired by the TweetNaCl library
Cipher library
An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption.
TOTP library
A time-based one-time pad implementation library for two-factor authentication
Formal verification adapter
An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods
Spark DSL
A Clojure-based interface to Apache Spark, enabling efficient data processing and manipulation in cluster computing environments.
Tcl binding
An Ada binding to Tcl/Tk for building cross-platform graphical user interfaces
Defect reduction tool
A software development technology designed to produce ultra-low defect software
Encryption library
A Lua wrapper around a cryptographic library for secure messaging
Code compiler
Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code
Crypto library
An implementation of Apple's CryptoKit API on Linux platforms
Crypto library
A portable and efficient cryptographic library for authenticated encryption and keyed hashing
Crypto library
A .NET cryptography library providing a secure and reliable implementation of encryption algorithms
Spark API client
An unofficial C# library for interacting with Cisco Spark APIs
Encryption library
A Ruby binding to the Networking and Cryptography (NaCl) library for secure data encryption and transmission.
Hash function library
An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions SPARKNaCl.
