2 ms·
Also https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM (Haskell). Though I think it doesn't handle parallelism.
by mercurial 13y ago
Also https://github.com/GaloisInc/HaLVM https://github.com/GaloisInc/HaLVM (Haskell). Though I think it doesn't handle parallelism.