SPARK crypto library for constrained embedded systems
Primary LanguageAdaApache License 2.0Apache-2.0