Pinned Repositories
cpp-static-analyzer
A Simple CPP Static Analysis Framework
fla
formal language and automata
ics-pa
introduction-to-algorithms
A website for learners of 《Introduction to Algorithms》
NJU-RV32I
Nanjing University FPAG Lab - A Computer System with CPU Supporting RV32I Instruction Set and External Device I/O
njucs
pa_nju
Programming Assignment of NJU ICS -- An i386 CPU and A Linux-like Operating System
sicp
Structure and Interpretation of Computer Programs
sicp-lectures
lecture slides and in-class demos of sicp
static-analysis
静态分析基础教程
JacyCui's Repositories
JacyCui/static-analysis
静态分析基础教程
JacyCui/sicp-lectures
lecture slides and in-class demos of sicp
JacyCui/cpp-static-analyzer
A Simple CPP Static Analysis Framework
JacyCui/fla
formal language and automata
JacyCui/introduction-to-algorithms
A website for learners of 《Introduction to Algorithms》
JacyCui/njucs
JacyCui/sicp
Structure and Interpretation of Computer Programs
JacyCui/ics-pa
JacyCui/SF-PLF
Software Foundations - Volumn 2 : Programming Language Foundations
JacyCui/bearBlog
熊桑的博客
JacyCui/cmm-compiler
a compiler for cmm language
JacyCui/cs-math
Discrete Mathematics and Probability Theory （离散数学与概率论），网站暂时不可访问
JacyCui/java-benchmarks
JacyCui/SF-LF
Software Foundations - Volumn 1 : Logical Foundations (With Solution)
JacyCui/sicp-lab00
starter file of sicp-lab00, mainly about the environment test and usage of autograder ok
JacyCui/sicp-proj04
project 04 for sicp, a scheme interpreter
JacyCui/sicp-lab14
lab14 for sicp, the final review
JacyCui/generative-ai-for-beginners
18 Lessons, Get Started Building with Generative AI 🔗 https://microsoft.github.io/generative-ai-for-beginners/
JacyCui/hardware-bugbase
JacyCui/jacycui.github.io
My Academic Homepage
JacyCui/lf-demo
Quick demonstration of lambdaF
JacyCui/neovim-config
JacyCui/sicp-hw07
homework 07 for sicp, mainly focus on scheme lists
JacyCui/sicp-hw08
homework 08 of sicp, mainly focused on more about scheme
JacyCui/sicp-hw09
homework 09 for sicp, mainly focused on sql
JacyCui/sicp-lab11
lab11 for sicp, mainly focused on interpreters
JacyCui/sicp-lab12
lab 12 for sicp, mainly focused on SQL
JacyCui/sicp-lab13
lab 13 for sicp, mainly focused on sql
JacyCui/Tai-e
An easy-to-learn/use static analysis framework for Java
JacyCui/verilog
a verilog beginner tutorial