Higher Order Company: developing a massively parallel language, proof checker, and runtime using interaction nets/combinators
HMV2 (GitHub): an IR, runtime, and interaction combinator evaluator which allegedly “achieves near-ideal speedups as a function of available cores.”...