2 results found Sort:

hacl-star
hacl-star hacl-star
170
1.6k
apache-2.0
78
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,791 commits to main branch, last one 13 days ago
RohitAwate
Everest RohitAwate
110
825
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 6 years ago