hyunsukimsokcho

Pinned Repositories

bug-localizer
Language:OCaml00
bugfixer-testbench
Language:Python00
caml-farm
ML playground, especially Ocaml
00
deem
Language:Jupyter Notebook00
graphsage-simple
Simple reference implementation of GraphSAGE.
Language:Python00
hafnium-verification
Language:Coq00
helpdesk
Language:Emacs Lisp00
is893-2020-fall
Language:Shell00
markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
Language:CSS00
sparrow
Language:OCaml1 3 02

hyunsukimsokcho's Repositories

hyunsukimsokcho/bug-localizer
Language:OCaml00
hyunsukimsokcho/bugfixer-testbench
Language:Python00
hyunsukimsokcho/caml-farm
ML playground, especially Ocaml
00
hyunsukimsokcho/deem
Language:Jupyter Notebook00
hyunsukimsokcho/graphsage-simple
Simple reference implementation of GraphSAGE.
Language:Python00
hyunsukimsokcho/hafnium-verification
Language:Coq00
hyunsukimsokcho/helpdesk
Language:Emacs Lisp00
hyunsukimsokcho/is893-2020-fall
Language:Shell00
hyunsukimsokcho/markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
Language:CSS00
hyunsukimsokcho/miniCS
Critical section minimisation in concurrent programming
Language:TeX00
hyunsukimsokcho/kaist-cp.github.io
Language:Ruby
hyunsukimsokcho/lang-c
Lightweight C parser for Rust
Language:Rust
hyunsukimsokcho/libdai
Language:C++
hyunsukimsokcho/llvmutils
Language:OCaml
hyunsukimsokcho/prosyslab.github.io
Language:JavaScript
hyunsukimsokcho/souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.