jasmin

Language for high-assurance and high-speed cryptography

250 stars

11 watching

53 forks

Language: Coq

last commit: 11 days ago

Linked from 2 awesome lists

compilercoqlanguage

Backlinks from these awesome lists: