was by ChainSafe. Owned by Steven Allen, raulk, Filecoin.
#160 in #filecoin
105KB 2.5K SLoC
System actors for the Filecoin protocol
~7.5MB ~144K SLoC