zz0x's repositories
martin-lof
papers of Per Martin Löf
100-go-mistakes
📖 100 Go Mistakes and How to Avoid Them
365-days-get-xuanwulab-job
Get a job from Xuanwu Lab in 365 days
AlgoXY
Book of Elementary Functional Algorithms and Data structures
AmericaOpposeAmerica
《美国反对美国》是王沪宁先生在上世纪80年代末赴美观察写作的。我们知道在那个年代**对西方特别是美国的追捧有多高,所以突然看到一个学者在80年代就有如此清楚的认识,十分钦佩。由于网上只有效果很差的PDF扫描版,所以我想利用OCR技术和肉眼(人体OCR)来转成现代化的文本格式。目前已经全部完成。
category-theory-resources
Resources for learning Category Theory for an enthusiast
CPP
Lecture notes, projects and other materials for Course 'CS205 C/C++ Program Design' at Southern University of Science and Technology.
dired-hacks
Collection of useful dired additions
firefox-vertical-tabs
Vertical tabs for Firefox, inspired by Edge.
gfwlist2privoxy
将 gfwlist.txt(Adblock Plus 规则)转换为 privoxy.action
gfwlist2privoxy-1
Generate action file for privoxy from gfwlist, inspired by clowwindy's gfwlist and modified from it.
goldendict
A feature-rich dictionary lookup program, supporting multiple dictionary formats (StarDict/Babylon/Lingvo/Dictd) and online dictionaries, featuring perfect article rendering with the complete markup, illustrations and other content retained, and allowing you to type in words without any accents or correct case.
history-of-lisp-parens
a history of Lisp's most notorious artifact, parentheses
objed
Navigate and edit text objects with Emacs. Development on pause.
selenized
Solarized redesigned: fine-tuned color palette for programmers with focus on readability.
Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
talk-transcripts
Transcripts of Clojure-related talks
the-book-of-secret-knowledge
A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.
unplugged
Open book about math and computer science.
YubiKey-Guide
Guide to using YubiKey as a SmartCard for GPG and SSH