Discover @LimitEpsilon Open Source projects

Joonhyup Lee (@LimitEpsilon)

LimitEpsilon

Stars
19
Global Rank 661,842 (Top 23 %)
Followers 9
Following 26
Registered over 5 years ago
Most used languages

OCaml
36.4 %

TeX
18.2 %

Scheme
9.1 %

C++
9.1 %

C
9.1 %

Coq 9.1 %

Lean 9.1 %

reanalyze-ropas

ReScript static analysis tool, from https://github.com/rescript-association/reanalyze and extended upon by ROPAS@SNU

scheme_interpreter

c_interpreter

An interpreter for a subset of C. Written while studying the purple Dragon Book.

having-an-effect

Implementation of Oleg Kiselyov's "Having an Effect" (https://okmij.org/ftp/Computation/having-effect.html) using OCaml algebraic effects.

eopl

Interpreter-zoo

Collection of interpreters

exception-test

Test out exception analysis

exception-doc

IMP.lean

IMP parser in Lean 4

modular-analysis

A framework for separate & modular program analysis

snt

ROPAS Weekly Show&Tell