Chang Liu

NeptuneOS. Neptune OS: A Windows NT personality for the seL4 microkernel

mtgpu-drv. C

REAPERS. REAPERS: A REAsonably PERformant Spin model simulation library

linux. Linux kernel source tree

hx-dos-source. Assembly

linux-gsgpu-archpkg. Shell

doslinux. Run Linux programs on DOS

cygwin-mirror. Replicate last Cygwin repository compatible with old Windows versions

winevdm. 16-bit Windows (Windows 1.x, 2.x, 3.0, 3.1, etc.) on 64-bit Windows

nqes-trapped-ion. Code and data for the paper "Solving excited states for long-range interacting trapped ions with neural networks"

build-your-own-x. 🤓 Build your own (insert technology here)

winkvm. WinKVM: porting Linux KVM to the Microsoft Windows

mathematica-code. Mathematica

ao486. The ao486 is an x86 compatible Verilog core implementing all features of a 486 SX.

stog. AMR Parsing as Sequence-to-Graph Transduction

tetris. An old tetris game I wrote back when I was a freshman.

msc-thesis. TeX

seL4. The seL4 microkernel

ntvdmx64. Run Microsoft Windows NTVDM (DOS) on 64bit Editions

SymmetryBook. This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

ZLUDA. CUDA on Intel GPUs

oscillon-mathematica. Mathematica