i-zhen

USACO-training

Complete solutions with codes of USACO training

Railgun

A fast, lightweight kernel of Online Judge system

PPrinter

A Haskell library that supports deriving of pretty printing functions on data types

Reactor-C

A Small-C, subset of C, compiler powered by Java and ASM 4.2

500lines

500 Lines or Less

AlgoSolution

Solutions for Problems of Algorithm Contests and Online Judges

ChezScheme

Chez Scheme

Childhood_Teenager

for backup

Bilibili-Go-Backup

Bilibili-Go-Backup

dot-vimrc-emacs

VIM config files, based on Maple's; Basic Emacs config for Haskell

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

i-zhen.github.io

Hexo blog

MS-DOS

The original sources of MS-DOS 1.25 and 2.0, for reference purposes

nanopass-framework-scheme

The new nanopass framework; an embedded DSL for writing compilers in Scheme

p423-compiler

A Scheme to x86-64 compiler in Scheme

PG-Coursework

plt

A path to Programming Language Theory enlightenment

portfolio

Prism

A interpreter for an ML-like first-order functional programming language, powered by Scala

pysonar2

a type inferencer and indexer for Python

resume

CV

rust_thebook_projects

Smart-Intermediate-Representation

A brand-new multi-scenarios smart contract compiler framework

SwiftGuide

这份指南汇集了Swift语言主流学习资源，并以开发者的视角整理编排。

tech

Times

Times•λ , the entrance of project lambda and the world

yin

the Yin programming language

yscheme

a compiler from a subset of Scheme into X64

yscheme-1

a compiler from Scheme into X64

zy812

zy812 web, earliest ancestor of online education