OlingCat

Just a little cat.

Hakurei ShrineGensokyo

Pinned Repositories

PLFA-zh
《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版
Language:Haskell209 9 4622
SF-zh
《软件基础》中译版 Software Foundations Chinese Translation
Language:HTML924 53 3269
tour
【已弃用】新版移至 website 代码仓库
Language:Go1.5k 50 398223
Idris-dev
用作文档目的，翻译方式见 Issue #10
Language:Haskell41 5 253
fp-lean-zh
Lean 函数式编程
Language:JavaScript26 1 1710
tp-lean-zh
Lean 定理证明
Language:JavaScript11 4 45
functor-fantasy
《函子风云录》：一个轻小说接力写作企划
35 7 07
Go-zh.old
The Go programming language (Chinese Translation)
Language:Go1 2 00
MyConfig
MyConfigList
Language:Shell2 2 00
olingcat.github.io.old
oling.cat
Language:HTML2 2 01

OlingCat's Repositories

OlingCat/functor-fantasy
《函子风云录》：一个轻小说接力写作企划
35 7 07
OlingCat/olingcat.github.io.old
oling.cat
Language:HTML2 2 01
OlingCat/Oling.Cat
Language:Haskell1 2 0
OlingCat/vscode-translators-toolbox
Some handy translators' utilities for VSCode.
Language:TypeScript1 2 11
OlingCat/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell1 0
OlingCat/algs4notes
Algorithm Learning Notes.
2 0
OlingCat/ArchWSL
Install ArchLinux as a WSL Instance and Launch it (for Windows 10 FCU 64bit or later)
Language:Shell2 0
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.
Language:Ruby2 0
OlingCat/CopyTranslator
Foreign language reading and translation assistant based on copy and translate.
Language:TypeScript1 0
OlingCat/drracket
DrRacket, IDE for Racket
Language:Racket2 0
OlingCat/git-trans
A translation toolbox for projects using git.
1 0
OlingCat/graphql
GraphQL is a query language and execution engine tied to any backend service.
Language:Shell2 0
OlingCat/hubot
A customizable life embetterment robot.
Language:JavaScript2 0
OlingCat/Idris-dev
A Dependently Typed Functional Programming Language
Language:Haskell2 0
OlingCat/intellij-community
IntelliJ IDEA Community Edition
Language:Java2 0
OlingCat/language-server-protocol
Defines a common protocol for language servers.
2 0
OlingCat/mdbook-i18n-helpers
Translation support for mdbook. The plugins here give you a structured way to maintain a translated book.
Language:Rust0 0
OlingCat/me
2 0
OlingCat/mega-android
MEGA Android Client
Language:Java2 0
OlingCat/moonbit-docs
The docs of MoonBit programming language
Language:JavaScript0 0
OlingCat/olingcat.github.io
Language:HTML2 0
OlingCat/plfa.github.io
Introduction to programming language theory in Agda
Language:Agda1 0
OlingCat/progit2
Pro Git 2nd Edition
Language:CSS1 0
OlingCat/progit2-zh
Language:CSS2 0
OlingCat/rescript-lang.org-chinese-translation
Official documentation website for the ReScript programming language
Language:JavaScript0 0
OlingCat/rust-book-chinese
rust 程序设计语言中文版
Language:Markdown2 0
OlingCat/TPLean-zh
Theorem Proving in Lean 4
Language:JavaScript0 0
OlingCat/trans-box
A toolbox that helps you translate text based on paragraphs.
Language:TypeScript1 0
OlingCat/vscode-ghc-simple
Simple GHC (Haskell) integration for VSCode
Language:TypeScript2 0
OlingCat/vscode-scribble
2 1