Pony's ORCA GC is supposed to be the faster than Erlang's BEAM/HiPE and Azul C4. Ideally, it would be extracted from that language and examples given how to integrate it with the likes of LLVM (it's not compatible OOTB with LLVM's API because of different synchronization primitives).