vbcpascal

RasPi-Laser-Engraving

An easy laser engraving using Raspberry Pi.

Forgessa

Build Static Single Assignment (SSA) form, and perform optimizations on SSA.

CoqBrainsMono

Fonts with ligatures for specific languages, based on JetbrainsMono

depkit

DepKit: A Typed Language for Advanced Package Management

dot-files

The configuration of Powershell, zsh, vim, tmux and so on

ICFP23

InferenceTreeWriter

jscoq

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

lanyon

A content-first, sliding sidebar theme for Jekyll.

LaTeX-Template

TeXonf: A structual, untrustworthy and unstable (xe)latex project template

RNDLex

A regular expression matching tool according to the compilation related content.

Libel

A user mode protocol stack.

Python-Scheme-Interpreter

ILSchPy: A Scheme Interpreter with GUI in Python. (With a brainf**k interpreter as gift ^_^)

SICP-Solutions

codes of SICP and test/homework of the class

vbcpascal.github.io

My home page

vscode-snippets

Snippets used in VSCode

xkcd-plz

A Chrome/Edge extension to show a random xkcd page and explain it!