OlingCat

functor-fantasy

《函子风云录》：一个轻小说接力写作企划

olingcat.github.io.old

oling.cat

Oling.Cat

Satori

Project Satori

vscode-translators-toolbox

Some handy translators' utilities for VSCode.

agda

Agda is a dependently typed programming language / interactive theorem prover.

algs4notes

Algorithm Learning Notes.

ArchWSL

Install ArchLinux as a WSL Instance and Launch it (for Windows 10 FCU 64bit or later)

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.

CopyTranslator

Foreign language reading and translation assistant based on copy and translate.

drracket

DrRacket, IDE for Racket

graphql

GraphQL is a query language and execution engine tied to any backend service.

hubot

A customizable life embetterment robot.

Idris-dev

A Dependently Typed Functional Programming Language

intellij-community

IntelliJ IDEA Community Edition

language-server-protocol

Defines a common protocol for language servers.

mdbook-i18n-helpers

Translation support for mdbook. The plugins here give you a structured way to maintain a translated book.

me

mega-android

MEGA Android Client

moonbit-docs

The docs of MoonBit programming language

olingcat.github.io

plfa.github.io

Introduction to programming language theory in Agda

progit2

Pro Git 2nd Edition

progit2-zh

rescript-lang.org-chinese-translation

Official documentation website for the ReScript programming language

rust-book-chinese

rust 程序设计语言 中文版

TPLean-zh

Theorem Proving in Lean 4

vscode-ghc-simple

Simple GHC (Haskell) integration for VSCode

vscode-racket

Racket support for Visual Studio Code with better inteliSense

vscode-scribble