Giters
Erika Tse (erupmi)

erupmi

Geek Repo

22

followers

42

following

20

stars

Company:UNSW

Location:Sydney, Australia

Home Page:erupmi.github.io

Github PK Tool:Github PK Tool

Erika Tse's repositories

tyinfer

A HM based type inference written in Haskell

Language:HaskellLicense:MITStargazers:3Issues:0Issues:0

cbpv-standardization-proof

The Standardization proof on Call by Value and Call by Push Value Lambda-Calculus

Language:CoqStargazers:2Issues:0Issues:0

CVE-2018-4416-exploit

CVE exploitation for WebKit jsc CVE-2018-4416

Language:JavaScriptStargazers:1Issues:0Issues:0

router.erl

A simple network router in erlang

Language:ErlangLicense:MITStargazers:1Issues:0Issues:0

.emacs.d

電子手帳

Language:Emacs LispLicense:MITStargazers:0Issues:0Issues:0

aam-ml

Abstracting abstract machine in OCaml

Language:OCamlStargazers:0Issues:0Issues:0

agda-symbol-helper-mode

Find the typing method of unicode symbols in Agda mode

Language:Emacs LispLicense:MITStargazers:0Issues:0Issues:0

painTex

Some of my plain Tex templates

Stargazers:0Issues:0Issues:0