プログラムの正しさの検証・証明に興味があります。サンダルが好きです。開発者向けチャットツール http://bit.ly/asakusasat つくってます。
Joined July 2011
·
JSX: alternative Javascript
MIZUNO Hiroki
·
0 responses
·
jsx, javascript
Achievements
191 Karma
682 Total ProTip Views
Lab
Have at least one original repo where C# is the dominant language
Komodo Dragon 3
Have at least three original repos where Java is the dominant language
Velociraptor
Have at least one original repo where Perl is the dominant language
Raven
Have at least one original repo where some form of shell script is the dominant language
Platypus 3
Have at least three original repo where scala is the dominant language
Platypus
Have at least one original repo where scala is the dominant language
Philanthropist
Truly improve developer quality of life by sharing at least 50 individual open source projects
Komodo Dragon
Have at least one original repo where Java is the dominant language
Walrus
The walrus is no stranger to variety. Use at least 4 different languages throughout all your repos
Altruist
Increase developer well-being by sharing at least 20 open source projects
Forked
Have a project valued enough to be forked by someone else
Charity
Fork and commit to someone's open source project in need
Python 3
Have at least three original repos where Python is the dominant language
Python
Would you expect anything less? Have at least one original repo where Python is the dominant language
Mongoose 3
Have at least three original repos where Ruby is the dominant language
Mongoose
Have at least one original repo where Ruby is the dominant language
T-Rex 3
Have at least three original repos where C is the dominant language
T-Rex
Have at least one original repo where C is the dominant language