Hacker News new | ask | show | jobs
by GhosT078 212 days ago
SPARK is a very expressive language for implementing cryptographic applications. It is available for some LLVM targets (e.g. x86-64).