2 results found Sort:

hacl-star
hacl-star hacl-star
161
1.6k
apache-2.0
77
HACL*, a formally verified cryptographic library written in F*
hacl inria everest security cryptography verification formal-methods high-performance formal-verification verified-primitives
Created 2016-06-23
18,654 commits to main branch, last one 23 days ago
RohitAwate
Everest RohitAwate
109
822
apache-2.0
40
A beautiful, cross-platform REST client.
java javafx summit everest desktop-app native-apps rest-client cross-platform
Created 2018-01-18
190 commits to master branch, last one 5 years ago