Pinned Repositories
PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
tour
【已弃用】新版移至 website 代码仓库
Idris-dev
用作文档目的，翻译方式见 Issue #10
fp-lean-zh
Lean 函数式编程
tp-lean-zh
Lean 定理证明
functor-fantasy
《函子风云录》：一个轻小说接力写作企划
Go-zh.old
The Go programming language (Chinese Translation)
MyConfig
MyConfigList
olingcat.github.io.old
oling.cat
OlingCat's Repositories
OlingCat/MyConfig
MyConfigList
OlingCat/Go-zh.old
The Go programming language (Chinese Translation)
OlingCat/Satori
Project Satori
OlingCat/Bella
OlingCat/BrainHoles
OlingCat/Go-Blog-zh
Go Blog server code and content
OlingCat/Go-Talks-zh
Go talks
OlingCat/Go-Tools-zh
Go Tools
OlingCat/go-zh.github.io
OlingCat/godoctrans
Godoc translate files
OlingCat/GoSublime
A Golang plugin collection for the text editor SublimeText 2 providing code completion and other IDE-like features.
OlingCat/NPWG_zh
Network programming with Go 中文翻译版本
OlingCat/oh-my-zsh
A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.
OlingCat/pacaur
An AUR helper that minimizes user interaction
OlingCat/Ripple
OlingCat/RoadMaps
OlingCat/scribble-zh
OlingCat/SFCT.old
Software Foundation Chinese Translation
OlingCat/snote
AT&T Assembly Learning Note.
OlingCat/tour
The Go Tour (Chinese version)
OlingCat/vscode-racket
Racket support for Visual Studio Code with better inteliSense
OlingCat/Whisper
OlingCat/www.dartlang.org
Documentation for the Dart language and tools