Pinned Repositories
PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
blog
Go 官方博客翻译
go
Go 语言文档中文翻译
tour
【已弃用】新版移至 website 代码仓库
Idris-dev
用作文档目的，翻译方式见 Issue #10
functor-fantasy
《函子风云录》：一个轻小说接力写作企划
Go-zh.old
The Go programming language (Chinese Translation)
MyConfig
MyConfigList
olingcat.github.io.old
oling.cat
OlingCat's Repositories
OlingCat/functor-fantasy
《函子风云录》：一个轻小说接力写作企划
OlingCat/olingcat.github.io.old
oling.cat
OlingCat/Oling.Cat
OlingCat/vscode-translators-toolbox
Some handy translators' utilities for VSCode.
OlingCat/agda
Agda is a dependently typed programming language / interactive theorem prover.
OlingCat/algs4notes
Algorithm Learning Notes.
OlingCat/ArchWSL
Install ArchLinux as a WSL Instance and Launch it (for Windows 10 FCU 64bit or later)
OlingCat/asciidoctor
:gem: A fast, open source text processor and publishing toolchain, written in Ruby, for converting AsciiDoc content to HTML 5, DocBook 5, and other formats.
OlingCat/CopyTranslator
Foreign language reading and translation assistant based on copy and translate.
OlingCat/drracket
DrRacket, IDE for Racket
OlingCat/git-trans
A translation toolbox for projects using git.
OlingCat/graphql
GraphQL is a query language and execution engine tied to any backend service.
OlingCat/hubot
A customizable life embetterment robot.
OlingCat/Idris-dev
A Dependently Typed Functional Programming Language
OlingCat/intellij-community
IntelliJ IDEA Community Edition
OlingCat/language-server-protocol
Defines a common protocol for language servers.
OlingCat/mdbook-i18n-helpers
Translation support for mdbook. The plugins here give you a structured way to maintain a translated book.
OlingCat/me
OlingCat/mega-android
MEGA Android Client
OlingCat/moonbit-docs
The docs of MoonBit programming language
OlingCat/olingcat.github.io
OlingCat/plfa.github.io
Introduction to programming language theory in Agda
OlingCat/progit2
Pro Git 2nd Edition
OlingCat/progit2-zh
OlingCat/rescript-lang.org-chinese-translation
Official documentation website for the ReScript programming language
OlingCat/rust-book-chinese
rust 程序设计语言 中文版
OlingCat/TPLean-zh
Theorem Proving in Lean 4
OlingCat/trans-box
A toolbox that helps you translate text based on paragraphs.
OlingCat/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
OlingCat/vscode-scribble