zz0x's repositories

martin-lof

papers of Per Martin Löf

Language:TeXStargazers:1Issues:0Issues:0

100-go-mistakes

📖 100 Go Mistakes and How to Avoid Them

Language:GoLicense:NOASSERTIONStargazers:0Issues:0Issues:0

365-days-get-xuanwulab-job

Get a job from Xuanwu Lab in 365 days

License:MITStargazers:0Issues:0Issues:0

AlgoXY

Book of Elementary Functional Algorithms and Data structures

Language:TeXStargazers:0Issues:0Issues:0

AmericaOpposeAmerica

《美国反对美国》是王沪宁先生在上世纪80年代末赴美观察写作的。我们知道在那个年代**对西方特别是美国的追捧有多高,所以突然看到一个学者在80年代就有如此清楚的认识,十分钦佩。由于网上只有效果很差的PDF扫描版,所以我想利用OCR技术和肉眼(人体OCR)来转成现代化的文本格式。目前已经全部完成。

Stargazers:0Issues:1Issues:0

anki

Anki for desktop computers

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

category-theory-resources

Resources for learning Category Theory for an enthusiast

Stargazers:0Issues:0Issues:0

CPP

Lecture notes, projects and other materials for Course 'CS205 C/C++ Program Design' at Southern University of Science and Technology.

Language:C++Stargazers:0Issues:0Issues:0

dino-rush

Running dinosaur platformer game

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

dired-hacks

Collection of useful dired additions

Language:Emacs LispStargazers:0Issues:2Issues:0

firefox-vertical-tabs

Vertical tabs for Firefox, inspired by Edge.

Language:CSSLicense:GPL-3.0Stargazers:0Issues:0Issues:0

gfwlist2privoxy

将 gfwlist.txt(Adblock Plus 规则)转换为 privoxy.action

Language:ShellStargazers:0Issues:1Issues:0

gfwlist2privoxy-1

Generate action file for privoxy from gfwlist, inspired by clowwindy's gfwlist and modified from it.

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

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.

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0
Stargazers:0Issues:1Issues:0

history-of-lisp-parens

a history of Lisp's most notorious artifact, parentheses

Stargazers:0Issues:0Issues:0

objed

Navigate and edit text objects with Emacs. Development on pause.

Language:Emacs LispLicense:GPL-3.0Stargazers:0Issues:0Issues:0

openage

Free (as in freedom) open source clone of the Age of Empires II engine :rocket:

Language:C++License:NOASSERTIONStargazers:0Issues:2Issues:0

pyxel

A retro game engine for Python

Language:C++License:MITStargazers:0Issues:1Issues:0

selenized

Solarized redesigned: fine-tuned color palette for programmers with focus on readability.

Language:Emacs LispStargazers:0Issues:0Issues:0

slides

Slides from talks that I give

Language:HaskellStargazers:0Issues:2Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

Static-Program-Analysis-Book

Getting started with static program analysis. 静态程序分析入门教程。

License:CC-BY-SA-4.0Stargazers:0Issues:0Issues:0

talk-transcripts

Transcripts of Clojure-related talks

License:NOASSERTIONStargazers:0Issues:2Issues:0

the-book-of-secret-knowledge

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

License:GPL-3.0Stargazers:0Issues:1Issues:0

unplugged

Open book about math and computer science.

Language:TeXStargazers:0Issues:0Issues:0

wio

This is the development/preview site for www.irchelp.org

Language:CSSLicense:NOASSERTIONStargazers:0Issues:2Issues:0

wren

The Wren Programming Language

Language:CLicense:NOASSERTIONStargazers:0Issues:2Issues:0

YubiKey-Guide

Guide to using YubiKey as a SmartCard for GPG and SSH

License:MITStargazers:0Issues:2Issues:0

ZeroNet

ZeroNet - Decentralized websites using Bitcoin crypto and BitTorrent network

Language:PythonLicense:GPL-2.0Stargazers:0Issues:2Issues:0