ccd0/toyreals0 ccd0/toyreals0

  • Stars
    star
    2
  • Language Coq
  • License
    BSD Zero Clause L...
  • Created over 3 years ago
  • Updated about 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ccd0/toyreals0
github

ccd0

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Implementing constructive real numbers, as a self-education project.

More 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

4chan-x-proxy

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

superpermutations

Coq
1
star
8

transparency-remover

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