SPARKNaCl
Crypto library
Re-implementation of the TweetNaCl crypto library in Ada with static type safety and performance optimization.
SPARK 2014 re-implementation of the TweetNaCl crypto library
114 stars
16 watching
8 forks
Language: Ada
last commit: about 1 year ago
Linked from 1 awesome list
ohenley/awesome-adaRelated projects:
| Repository | Description | Stars |
|---|---|---|
 dchest/tweetnacl-js | A JavaScript implementation of cryptographic primitives inspired by the TweetNaCl library | 1,782 |
 jhumphry/ascon_spark | An implementation of the Ascon AEAD algorithm in Ada 2012 / SPARK 2014 for cryptographic encryption and decryption. | 3 |
 jklmnn/stotp | A time-based one-time pad implementation library for two-factor authentication | 8 |
 tofgarion/spark-by-example | An adaptation of ACSL by Example for SPARK 2014 to verify Ada programs with formal methods | 152 |
 sorenmacbeth/flambo | A Clojure-based interface to Apache Spark, enabling efficient data processing and manipulation in cluster computing environments. | 606 |
 simonjwright/tcladashell | An Ada binding to Tcl/Tk for building cross-platform graphical user interfaces | 9 |
 adacore/spark2014 | A software development technology designed to produce ultra-low defect software | 248 |
 philanc/luatweetnacl | A Lua wrapper around a cryptographic library for secure messaging | 17 |
 rocher/ob-ada-spark | Supports Ada and SPARK programming languages in Emacs org-babel for compiling, running, and formal verification of code | 8 |
 apple/swift-crypto | An implementation of Apple's CryptoKit API on Linux platforms for cross-platform use in Swift applications. | 1,469 |
 jedisct1/zig-charm | A portable and efficient cryptographic library for authenticated encryption and keyed hashing | 76 |
 sdrapkin/securitydriven.inferno | A .NET cryptography library providing a secure and reliable implementation of encryption algorithms | 569 |
 darrenparkinson/sparkdotnet | An unofficial C# library for interacting with Cisco Spark APIs | 12 |
 rubycrypto/rbnacl | A Ruby binding to the Networking and Cryptography (NaCl) library for secure data encryption and transmission. | 984 |
| jhumphry/spark_siphash | An Ada implementation of the SipHash keyed hash function for cryptographic protection against denial-of-service attacks. | 5 |