Li Junchen

dot. dot is a conservative, declarative bootstrap runner for personal development environments and dotfiles across Linux, macOS, and Windows

ThemePrism. Rust

vibecraft. A Minecraft-like game built with MoonBit and WebGL, generated and iterated with Codex

caliby. High-Performance Embeddable Vector Database with Document Storage, Hybrid Search, and Filtering

n2o5. embedded build graph runner

typechecker-zoo. A menagerie of cute implementations of modern typechecking algorithms

text_dedup. High-Performance Text Deduplication Toolkit

Tuzi. A terminal text editor written in MoonBit

dotenv-mbt. Yet another dotenv implement in MoonBit.

triton. Development repository for the Triton language and compiler

c.mbt. FFI Binding to C language

TAPL-in-MoonBit. MoonBit Port of Implementations for Pierce's Types and Programming Languages

too-many-cps. OCaml

moonbit-compiler. OCaml

rust. Empowering everyone to build reliable and efficient software.

rustc-dev-guide. A guide to how rustc works and how to contribute to it.

lunik. A MoonBit toolchain multiplexer and version manager

moonbit-wasm4-esp32. MoonBit WASM-4 on the ESP32 series microcontroller

Hackberry-Pi_Zero. A handheld Linux terminal using Raspberry pi Zero 2W as Core with 4" 720X720 TFT display

moon. The build system and package manager for MoonBit

language-util. Various utility crates that might be useful when implementing a programming language.

millet. A language server for Standard ML.

min-caml. moved from https://sourceforge.net/p/min-caml/code/

matklad.github.io. My coding related blog

n2. n2 ("into"), a ninja compatible build system

ref_ptr. An implementation of intrusive smart pointer with weak reference support

TAPL. Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured development containers based on devfiles

language-garden. A garden of small programming language implementations 🪴

zed. Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

BidirectionalTypechecking. Implementation of "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism"

bidir-type-infer. Implementing the type system described in the paper "Complete and Easy Bidirectional Type Inference" in Rust

rust-langdev. Language development libraries for Rust

moniker. Automagical variable binding library for Rust

pattern-matching-in-rust. Pattern matching and exhaustiveness checking algorithms implemented in Rust

wavesurfer.js. Audio waveform player

elaboration-zoo. Minimal implementations for dependent type checking and elaboration

The-Art-of-Linear-Algebra. Graphic notes on Gilbert Strang's "Linear Algebra for Everyone"

nanobind. nanobind: tiny and efficient C++/Python bindings

typst. A markup-based typesetting system that is powerful and easy to learn.

HVM2. A massively parallel, optimal functional runtime in Rust

Essentials-of-Compilation. A book about compiling Racket and Python to x86-64 assembly

silkstore. SIngle Level Key-value Store

quickjs. Public repository of the QuickJS Javascript Engine.

Expresso. A simple expressions language with polymorphic extensible row types.

fby19. Type inference from scratch - Material for my talk at F(by)19

whisper. Robust Speech Recognition via Large-Scale Weak Supervision

langcc. langcc: A Next-Generation Compiler Compiler

judge0. Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.

mlc-en. Python

notes. reading...

DaoFP. The Dao of Functional Programming

chibicc. A small C compiler

CSCD70. CSCD70 Compiler Optimization

ragel. Ragel State Machine Compiler -- MOVED TO colm-suite

re2c. Lexer generator for C, C++, D, Go, Haskell, Java, JS, OCaml, Python, Rust, Swift, V and Zig.

cppinsights. C++ Insights - See your source code with the eyes of a compiler

lotus. Source code for Lotus: Scalable Multi-Partition Transactions on Single-Threaded Partitioned Databases

Polaroid. A lightweight screenshot tool for GIF capturing.

Programmer-look-at-China. 介绍中国各二线以上城市的互联网环境以及生活成本

LeetCodeTestData.

PythonExtensionPatterns. Examples of safe coding practice for Python C extensions.

WantWords. An open-source online reverse dictionary.

Cxx_HOPL4_zh. Chinese translation of Bjarne Stroustrup's HOPL4 paper

CoreLang. Code from/to the book S.L.Peyton Jones, D.Lester: Implementing Functional Languages. A Tutorial, 1992

swarm. Resource gathering + programming game

Cameray. A lens editor and simulator for fun.

bytecode. Python module to modify bytecode

giscus. A commenting system powered by GitHub Discussions. :octocat: :speech_balloon: :gem:

awesome-compilers. :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

pikelet. A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

reverse-interview-zh. 技术面试最后反问面试官的话

chinese-copywriting-guidelines. Chinese copywriting guidelines for better written communication／中文文案排版指北

Han. 「漢字標準格式」印刷品般的漢字排版框架 Han.css: the CSS typography framework optimised for Hanzi.

mathlib3. Lean 3's obsolete mathematical components library: please use mathlib4

typeclassopedia-md. Markdown version of the Haskell Typeclassopedia

taichi. Productive, portable, and performant GPU programming in Python.

PL-Compiler-Resource. 程序语言与编译技术相关资料（持续更新中）

lean4. Lean 4 programming language and theorem prover

comments-for-awesome-courses. 名校公开课程评价网

macropy. Macros in Python: quasiquotes, case classes, LINQ and more!

clang-tutor. A collection of out-of-tree Clang plugins for teaching and learning

llvm-tutor. A collection of out-of-tree LLVM passes for teaching and learning

cs-video-courses. List of Computer Science courses with video lectures.

modern-cpp-features. A cheatsheet of modern C++ language and library features.

milewski-ctfp-pdf. Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

interactive_latencies. Jeff Dean's latency numbers plotted over time

wiwinwlh. What I Wish I Knew When Learning Haskell

MIT6.S081.

xv6-riscv. Xv6 for RISC-V

high-performance-go-workshop. Go

awesome-tensor-compilers. A list of awesome compiler projects and papers for tensor computation and deep learning.

vim. Personal Vim Profile

erguotou. You know what I am going to say.

anki. Anki is a smart spaced repetition flashcard program

fp-course. Functional Programming Course

parconc-examples. Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

DPTree-code. Source code for DPTree: Differential Indexing for Persistent Memory

haskell-language-server. Official Haskell IDE support via the language server protocol (LSP)

go. The Go programming language

LeetCodeSolutions. Theoretical solutions for LeetCode problems.

tprPix. a Cross-Platform, 2D Survival Sandbox Game Project. Based on C++17/cmake/OpenGL/SQLite3.

python-patterns. A collection of design patterns/idioms in Python

row-polymorphism. Example row-polymorphism implementations

type-systems. Implementations of various type systems in OCaml.

tips_for_interview. 我的一些面试心得；自学CS历程分享；找工作求职经验分享

z3. The Z3 Theorem Prover

Typpete. Python

vexchords. JavaScript Chord Charts

zjuthesis. Zhejiang University Graduation Thesis LaTeX Template

mypy. Optional static typing for Python

pyright. Static Type Checker for Python

lark. Lark is a parsing toolkit for Python, built with a focus on ergonomics, performance and modularity.

OI-wiki. :star2: Wiki of OI / ICPC for everyone. （某大型游戏线上攻略，内含炫酷算术魔法）

interview_internal_reference. 2025年最新总结，阿里，腾讯，百度，美团，头条等技术面试题目，以及答案，专家出题人分析汇总。

CS-Notes. :books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

awesome-courses. :books: List of awesome university courses for learning Computer Science!

plt. Programming Language Theory λΠ

Awesome-Graph-Neural-Networks. Paper Lists for Graph Neural Networks

awesome-machine-learning-on-source-code. Cool links & research papers related to Machine Learning applied to source code (MLonCode)

wtfpython. What the f*ck Python? 😱

advancedinternalsofcpython36book. advanced book for people looking to start contributing to cpython

AlgoXY. Book of Elementary Functional Algorithms and Data structures

python-internals. Resources for learning about Python internals and CPython source code

cpython. The Python programming language

CPython-Internals-Lecture-Notes. CPython Internals 学习笔记

CPython-Internals. Dive into CPython internals, trying to illustrate every detail of CPython implementation