Build a Jekyll blog in minutes, without touching the command line.

🥢像老乡鸡🐔那样做饭。主要部分于2024年完工，非老乡鸡官方仓库。文字来自《老乡鸡菜品溯源报告》，并做归纳、编辑与整理。CookLikeHOC.

Bash script to combine split APKs (android app bundles) into a single decompiled APK on macOS

A programming language for Path of Exile crafting recipes.

Abstract binding trees (abstract syntax trees plus binders), as a library in Agda

An experiment towards a UI programming model inspired by algebraic effects.

Flowistry is an IDE plugin for Rust that helps you focus on relevant code.

Robust multi-prompt delimited control and effect handlers in C/C++

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

A graphical interactive proof assistant designed for education

A massively parallel, optimal functional runtime in Rust

Resources for Math Accessibility

A simple interpreter featuring a tracing JIT

system monitor

an optimizing curry compiler

try if I can write a book here

This is the playbook for "code-with" customer or partner engagements

Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

A collection of awesome CRDT resources

DAI: Demanded Abstract Interpretation

An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!

Lambda normalization and conversion checking benchmarks for various implementations

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

mold: A Modern Linker 🦠

A port of Coq to Javascript -- Run Coq in your Browser

match command-line arguments to their help text

Engines, queries, and data for dynamic Datalog computation

Materials for OPLSS 2021