Pinned Repositories
bignum
some bignum classes of find primes with C
clk_gen
editor
an-editor
fdndlp
mtcc
编译器-常量折叠
online-comments
online comments from douyu and bilibili
raspberrypi-scripts
some usful scripts
script-lisp
lisp like script
socket5_v4
user-->socket5_local-->socket5_remote-->web
svg2ttf
svg to ttf
0x00-pl's Repositories
0x00-pl/svg2ttf
svg to ttf
0x00-pl/socket5_v4
user-->socket5_local-->socket5_remote-->web
0x00-pl/SFCT
Software Foundation Chinese Translation
0x00-pl/udp-tunnel
simple udp tunnel with jsonrpc
0x00-pl/upload_package_download_example
0x00-pl/you-get
A YouTube/Youku/Niconico video downloader written in Python 3
0x00-pl/0x00-pl.github.io
hello web
0x00-pl/adruino-gemini
simple scheme implementation on adruino
0x00-pl/cha
A minimum implementation of Java SE 7
0x00-pl/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
0x00-pl/dfa_re
a dfa regex
0x00-pl/foliage
An experimal implementation of the LEAF programming language.
0x00-pl/fparser
0x00-pl/from-zero
各种从零开始
0x00-pl/gc-mark-compact
simple gc
0x00-pl/hello-css
hello css from day 4
0x00-pl/hello-ocaml
0x00-pl/hello-todos
hello todos
0x00-pl/hello_coq
hello Coq world
0x00-pl/hello_racket
hello racket world
0x00-pl/helloworld
Hello World Program
0x00-pl/Hi.PL
0x00-pl/lisp--
lisp-- 一个可以跑sicp解释器的lisp--。
0x00-pl/pandora
what do you want ?
0x00-pl/rabbit_house
0x00-pl/SFCT_web
web page
0x00-pl/socket5
socket5 about and network about.
0x00-pl/update_deep
update object in deep
0x00-pl/vinyl-named
:minidisc: Give vinyl files arbitrary names.
0x00-pl/webrtc
A fork of git+https://chromium.googlesource.com/external/webrtc with patches to handle screen-captured content more efficiently and predictably