keyvalue
id133577358
namelibsparkcrypto
full_nameComponolit/libsparkcrypto
html_urlhttps://github.com/Componolit/libsparkcrypto
descriptionA cryptographic library in SPARK 2014
created_atMay 15, 2018, 9:53 p.m.
updated_atAug. 12, 2024, 10:50 a.m.
pushed_atJan. 26, 2021, 9:43 a.m.
size12,791
stargazers_count27
watchers_count9
forks_count3
open_issues0
languageAda
awesome_list

https://github.com/ohenley/awesome-ada