Giters
Dave Clarke (supercooldave)

supercooldave

Geek Repo

10

followers

5

following

6

stars

Location:Sweden

Github PK Tool:Github PK Tool

Dave Clarke's repositories

ruse

Ruse programming language.

Language:CoqStargazers:2Issues:2Issues:0

Distributed-Datatypes

Distributed Datatypes Encore Library

Language:TeXStargazers:0Issues:1Issues:0

encore

The Encore compiler.

Language:C++License:BSD-3-ClauseStargazers:0Issues:0Issues:0

encore-lang.github.io

Webpage for encore

Language:RubyStargazers:0Issues:0Issues:0

mysqldump-to-csv

A quickly-hacked-together Python script to turn mysqldump files to CSV files. Optimized for Wikipedia database dumps.

Language:PythonLicense:MITStargazers:0Issues:2Issues:0

supercooldave.github.io

My Public Web Page

Language:HTMLStargazers:0Issues:1Issues:0