by ChainSafe. Owned by sudo-shashank.
#90 in #filecoin
Used in 2 crates
365KB 7K SLoC
Builtin miner actor for Filecoin
~5.5MB ~99K SLoC