@ccd0
github

ccd0

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    1,166
  • Global Rank 26,374 (Top 1.0 %)
  • Followers 62
  • Registered almost 11 years ago
  • Most used languages
    CoffeeScript
         25.0 %
    Coq     25.0 %
    Python
         12.5 %
    Shell
         12.5 %
    PHP
         12.5 %
    JavaScript
         12.5 %

Top repositories

1

4chan-x

Adds various features to anonymous imageboards.
CoffeeScript
978
star
2

imageboards.json

List of imageboards in JSON format.
153
star
3

containerchan

PHP
20
star
4

mpv-cutting-scripts

Some simple scripts for cutting video using mpv keybinds.
Shell
4
star
5

4chan-x-mayhem

CoffeeScript
2
star
6

toyreals0

Implementing constructive real numbers, as a self-education project.
Coq
2
star
7

4chan-x-proxy

Tool for making 4chan X work in browsers that don't support userscripts.
Python
2
star
8

superpermutations

Coq
1
star
9

transparency-remover

Userscript that reveals the colors in the transparent regions of PNG images.
JavaScript
1
star