haan6

@snu-sf

Pinned Repositories

vscoq
Visual Studio Code extension for Coq
Language:OCaml348 14 37472
gluesql
GlueSQL is quite sticky. It attaches to anywhere.
Language:Rust2.7k 36 517218
fm-for-online-recommendation
Factorization machine and its variations for recommendation systems
Language:Jupyter Notebook7 1 02
haan6.github.io
A personal website
Language:HTML0 1 00
iris-tutorial
Language:Coq0 0 00
patagonia
A LaTeX Beamer theme
Language:TeX0 1 00
refinement-tutorial
Tutorial for refinement based verification
Language:Coq0 0 00
ssreflect-tutorial
An Ssreflect Tutorial (https://inria.hal.science/inria-00407778/document)
00
rv6
Language:C127 6 25513

haan6's Repositories

haan6/fm-for-online-recommendation
Factorization machine and its variations for recommendation systems
Language:Jupyter Notebook7 1 02
haan6/haan6.github.io
A personal website
Language:HTML0 1 00
haan6/iris-tutorial
Language:Coq0 0 00
haan6/patagonia
A LaTeX Beamer theme
Language:TeX0 1 00
haan6/refinement-tutorial
Tutorial for refinement based verification
Language:Coq0 0 00
haan6/ssreflect-tutorial
An Ssreflect Tutorial (https://inria.hal.science/inria-00407778/document)
00