Joonhyup Lee's repositories
reanalyze-ropas
ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU
c_interpreter
An interpreter for a subset of C. Written while studying the purple Dragon Book.
exception-test
Test out exception analysis
Interpreter-zoo
Collection of interpreters
modular-analysis
A framework for separate & modular program analysis
CSAPP
CS:APP self study
data-structures-in-c
Data structures implemented in the all-mighty C programming language
inventing-monads
모나드 발명하기 세미나 자료
lambda-interpreter
Yet another untyped λ-calculus interpreter, performing normal-order reduction.
pm2019-1
A practice repository for the lecture of the programming methodology
quantum_sim
Quantum simulations
reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
rescript-compiler
The compiler for ReScript.
Scheduler
A simple scheduler for afasa
simple-analyzer
A static analyzer for a simple imperative language. Built upon the abstract interpretation framework.
skeleton-parser
A skeleton for a parser in Menhir.
syntax
ReScript's syntax as a standalone repo.
TeX
TeX code that I have written