Chocolate_Chip: unless this stribika has another name, i do not recognize him/her. so no, not a tor dev.
Chocolate_Chip: you might enjoy https://gitweb.torproject.org/
a few tor people have set up some of them tor things at github, but in general most tor things aren't there.
(insert rant about non-free proprietary for-profit platforms, if you're into those rants.)