Giters
Yeji Han (yj-han)

yj-han

Geek Repo

18

followers

9

following

32

stars

Company:@snu-sf

Location:Seoul

Home Page:https://yj-han.github.io/

Github PK Tool:Github PK Tool

Yeji Han's repositories

fm-for-online-recommendation

Factorization machine and its variations for recommendation systems

Language:Jupyter NotebookStargazers:6Issues:1Issues:0

nvmevirt-zns

Language:CStargazers:1Issues:0Issues:0

lox-coq

An interpreter of Lox language in Coq

Language:CoqLicense:MITStargazers:0Issues:0Issues:0

patagonia

A LaTeX Beamer theme

Language:TeXLicense:MITStargazers:0Issues:0Issues:0

refinement-tutorial

Tutorial for refinement based verification

Language:CoqStargazers:0Issues:0Issues:0

yj-han.github.io

Language:CSSLicense:MITStargazers:0Issues:0Issues:0