thoka/radiorec
A small python script which records internet radio streams. (No streamripper required)
Public GitHub Catalog
Discovered Sep 24, 2026
thoka / java2python
stratego/java-front source files, changed to produce python output. Includes a package to do transformation on ATerms using python.
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#706840GitHub System ID
thokaOrganization / User
PublicVisibility
ActiveCatalog Status
More from thoka
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