supercooldave

Smiling cowboy hacking the codec.

Sweden

Pinned Repositories

women-in-programming-languages-research
Women in Programming Languages and Software Engineering Research
162 9 266
Distributed-Datatypes
Distributed Datatypes Encore Library
Language:TeX0 1 00
encore
The Encore compiler.
Language:C++0 1 00
encore-lang.github.io
Webpage for encore
Language:Ruby0 1 00
mysqldump-to-csv
A quickly-hacked-together Python script to turn mysqldump files to CSV files. Optimized for Wikipedia database dumps.
Language:Python0 2 00
ruse
Ruse programming language.
Language:Coq2 2 01
supercooldave.github.io
My Public Web Page
Language:HTML0 1 00

supercooldave's Repositories

supercooldave/ruse
Ruse programming language.
Language:Coq2 2 01
supercooldave/Distributed-Datatypes
Distributed Datatypes Encore Library
Language:TeX0 1 00
supercooldave/encore
The Encore compiler.
Language:C++0 1 00
supercooldave/encore-lang.github.io
Webpage for encore
Language:Ruby0 1 00
supercooldave/mysqldump-to-csv
A quickly-hacked-together Python script to turn mysqldump files to CSV files. Optimized for Wikipedia database dumps.
Language:Python0 2 00
supercooldave/supercooldave.github.io
My Public Web Page
Language:HTML0 1 00