There's also Rustler, which uses rust promises of safety to write NIFs in a safer way than with raw C.

https://github.com/rusterlium/rustler