thoka/radiorec
A small python script which records internet radio streams. (No streamripper required)
Developer Profile
thoka
Discovered public repositories for thoka in the GitHub catalog.
thoka/wiki-core
Core code for the wiki app, must be combined with a theme
thoka/check_JS
a javascript checker for pyjs
thoka/pygwt-facebook
(automatic) translation of gwt-facebook to python
thoka/java2python
stratego/java-front source files, changed to produce python output. Includes a package to do transformation on ATerms using python.
thoka/pyaterm
ATerm parser in python