Hacker News new | ask | show | jobs
by andolanra 4473 days ago
Haskell also has the analogous HaLVM: https://github.com/GaloisInc/HaLVM