Yup, that's the main reason we wanted to add them here. You can translate the page to english but it's still a pain to navigate. But yeah, like I said we're planning on moving them here, maybe start on it tonight
Also, It has never been officially addressed, but I would assume that using an everdrive to do runs wouldn't be considered legitimate. Luckily the jp carts are relatively cheap.
We're planning on adding single star lbs soon (like this week hopefully). For right now, the best place to find single stars is here: http://www9.atwiki.jp/mario64singlestar . MarioRuns had a dedicated single star leaderboard for awhile but it has been down for a long time now and the site admin is mia
We were going to essentially mirror these leaderboards here so that you dont have to navigate a japanese site to find them, but otherwise the rules and such would be the same as on atwiki (real time, n64 only, etc)
Abitalive was working on a practice rom, you can download the beta versions here: https://drive.google.com/a/vt.edu/folderview?id=0B1g_ALmgbOzxd0V1M0VydnljWEU&usp=sharing#list . They have pretty much all the essential gameshark codes built in, see here for more details: http://pastebin.com/qUKYy1Bc
For the record, I use this for practice myself and have no issues with it.