https://github.com/craigfe/hacl-star-raw-dune

WIP hacl-star bindings using Dune, for MirageOS 4.
https://github.com/craigfe/hacl-star-raw-dune

Last synced: 15 days ago
JSON representation

WIP hacl-star bindings using Dune, for MirageOS 4.

• Host: GitHub
• URL: https://github.com/craigfe/hacl-star-raw-dune
• Owner: craigfe
• Created: 2021-03-11T22:32:06.000Z (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-03-12T14:40:33.000Z (over 3 years ago)
• Last Synced: 2024-10-16T19:41:14.528Z (about 1 month ago)
• Language: C
• Size: 331 KB
• Stars: 1
• Watchers: 3
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project