A functional programming language with imperative features. "Norem" stands for "Not Really Monadic".

RSA2048

A modern functional programming language with effect system.

The Asteria Programming Language

Cornerstone of the MOST efficient std::thread on Windows for mingw-w64

文言文編程語言 A programming language for the ancient Chinese.

豫言

程序员在家做饭方法指南。Programmer's guide about how to cook at home (Chinese).

入墨答Rumbda, the Chinese expression of lambda calculus

Course materials in junior year

NSCSCC 信息整合

[WIP] Web OS.

The Compiler-oriented programming language

高效率 QQ 机器人支持库

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Seminar 2016

C++ client for making HTTP/REST requests