← All repos

jasmin-lang/jasmin

View on GitHub ↗ ★ 391 Rocq Prover

Language for high-assurance and high-speed cryptography

6 mentions on Hacker News by 6 people: 1 story, 5 comments · first 2023-03-07 · latest 2026-10-09