LimitEpsilon
Department of Electrical and Computer Engineering@SNU
Seoul National UniversitySeoul, Republic of Korea
Pinned Repositories
c_interpreter
An interpreter for a subset of C. Written while studying the purple Dragon Book.
eopl
EOPL solutions
exception-doc
exception-test
Test out exception analysis
having-an-effect
Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.
IMP.lean
IMP parser in Lean 4
Interpreter-zoo
Collection of interpreters
reanalyze-ropas
ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU
scheme_interpreter
snt
ROPAS Weekly Show&Tell
LimitEpsilon's Repositories
LimitEpsilon/reanalyze-ropas
ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU
LimitEpsilon/c_interpreter
An interpreter for a subset of C. Written while studying the purple Dragon Book.
LimitEpsilon/having-an-effect
Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.
LimitEpsilon/scheme_interpreter
LimitEpsilon/eopl
EOPL solutions
LimitEpsilon/exception-doc
LimitEpsilon/exception-test
Test out exception analysis
LimitEpsilon/IMP.lean
IMP parser in Lean 4
LimitEpsilon/Interpreter-zoo
Collection of interpreters
LimitEpsilon/modular-analysis
A framework for separate & modular program analysis
LimitEpsilon/snt
ROPAS Weekly Show&Tell
LimitEpsilon/CSAPP
CS:APP self study
LimitEpsilon/data-structures-in-c
Data structures implemented in the all-mighty C programming language
LimitEpsilon/inventing-monads
모나드 발명하기 세미나 자료
LimitEpsilon/lambda-interpreter
Yet another untyped λ-calculus interpreter, performing normal-order reduction.
LimitEpsilon/manim
Tinkering with manim (personal projects are in "mine")
LimitEpsilon/pm2019-1
A practice repository for the lecture of the programming methodology
LimitEpsilon/quantum_sim
Quantum simulations
LimitEpsilon/reanalyze
Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.
LimitEpsilon/rescript-compiler
The compiler for ReScript.
LimitEpsilon/Scheduler
A simple scheduler for afasa
LimitEpsilon/sflib
LimitEpsilon/simple-analyzer
A static analyzer for a simple imperative language. Built upon the abstract interpretation framework.
LimitEpsilon/skeleton-parser
A skeleton for a parser in Menhir.
LimitEpsilon/stappl
LimitEpsilon/syntax
ReScript's syntax as a standalone repo.
LimitEpsilon/TeX
TeX code that I have written
LimitEpsilon/verilyzer
Proposal for a simple static analyzer for Verilog