{"owner":"hacl-star","github":"https://github.com/hacl-star","claimed":false,"inventory":[],"indexed":[{"repo":"hacl-star/hacl-star","github":"https://github.com/hacl-star/hacl-star","description":"HACL*, a formally verified cryptographic library written in F*","language":"F*","stars":1835,"topics":["cryptography","verified-primitives","high-performance","security","formal-methods","formal-verification","inria","hacl","everest","verification"],"license":"Apache-2.0","category":"security-tools"}],"how_to_buy":"GET /r/hacl-star/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}