Jacy

static-analysis. 静态分析基础教程

fla. formal language and automata

sicp-lectures. lecture slides and in-class demos of sicp

njucs.

introduction-to-algorithms. A website for learners of 《Introduction to Algorithms》

cpp-static-analyzer. A Simple CPP Static Analysis Framework

sicp. Structure and Interpretation of Computer Programs

SF-PLF. Software Foundations - Volumn 2 : Programming Language Foundations

sicp-proj01. project01 for sicp, mainly focus on functions, control and higher-order functions

pa_nju. Programming Assignment of NJU ICS -- An i386 CPU and A Linux-like Operating System

cmm-compiler. a compiler for cmm language

sicp-lab01. starter file of sicp-lab01, mainly about variables, functions and control

ics-pa. C

sicp-lab00. starter file of sicp-lab00, mainly about the environment test and usage of autograder ok

NJU-RV32I. Nanjing University FPAG Lab - A Computer System with CPU Supporting RV32I Instruction Set and External Device I/O

SF-LF. Software Foundations - Volumn 1 : Logical Foundations (With Solution)

bearBlog. 熊桑的博客

sicp-survival. 南京大学《计算机程序的构造与解释》生存手册

sicp-proj04. project 04 for sicp, a scheme interpreter

cs-math. Discrete Mathematics and Probability Theory （离散数学与概率论），网站暂时不可访问

sicp-hw01. starter file of sicp-hw01, mainly about the variables, functions and control

vortex. Verilog