Yeji Han's repositories
fm-for-online-recommendation
Factorization machine and its variations for recommendation systems
lox-coq
An interpreter of Lox language in Coq
Language:CoqMIT000
patagonia
A LaTeX Beamer theme
Language:TeXMIT000
refinement-tutorial
Tutorial for refinement based verification
Language:Coq000
Language:CSSMIT000