qi-zhan Goto Github PK

ccf-deadlines

⏰ Collaboratively track deadlines of conferences recommended by CCF (Website, Python Cli, Wechat Applet) / If you find it useful, please star this project, thanks~

cis194_haskell_homework_test

clang-plugin-template

compiler-principle

2022 Spring ZJU Compiler Principle Project

cs-self-learning

计算机自学指南

cs242-f19-assignments

curryst

Typst Package to typeset inference rule

flashfill

My implementation of paper "Automating String Processing in Spreadsheets using Input-Output Examples".

group_theory_python

interesting-rust-codes

interpreter-tlc

An interpreter for the typed lambda calculus including algebraic data types, recursive types, polymorphic types, and existential types.

jrm

A very simple jvm written in rust which can only run "Hello World".

js-slide-template

lambdar

lambda, really

llvm-ir

A Python library for parsing and analyzing existing LLVM IR.

pog

PDF Outline Generator

ps3

patch presence test via symbolic signatures

qi-zhan

qi-zhan.github.io

react

aka, ps4

rlox

lox implementation in rust with tests.

rust-edu

scc

Simple C Compiler aims to compile itself

sysr

emulate hardware(CPU, IO, Memory) and implement software(OS, Compiler) in rust

tai-e

An easy-to-learn/use static analysis framework for Java

tipy

unionfinddecoder

QISE 2022 Project UnionFindDecoder for Rotated Surface Code

vscode-count

A vscode extension for counting line of code.

vscode-vim-config

watchyourself