hyunsukimsokcho

Pinned Repositories

bug-localizer
Language:OCaml0 0 00
bugfixer-testbench
Language:Python0 0 00
caml-farm
ML playground, especially Ocaml
0 1 00
deem
Language:Jupyter Notebook0 3 00
graphsage-simple
Simple reference implementation of GraphSAGE.
Language:Python0 0 00
hafnium-verification
Language:Coq0 0 00
helpdesk
Language:Emacs Lisp0 0 00
is893-2020-fall
Language:Shell0 0 00
markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
Language:CSS0 0 00
sparrow
Language:OCaml1 3 12

hyunsukimsokcho's Repositories

hyunsukimsokcho/bug-localizer
Language:OCaml0 0 00
hyunsukimsokcho/bugfixer-testbench
Language:Python0 0 00
hyunsukimsokcho/caml-farm
ML playground, especially Ocaml
0 1 00
hyunsukimsokcho/deem
Language:Jupyter Notebook0 3 00
hyunsukimsokcho/graphsage-simple
Simple reference implementation of GraphSAGE.
Language:Python0 0 00
hyunsukimsokcho/hafnium-verification
Language:Coq0 0 00
hyunsukimsokcho/helpdesk
Language:Emacs Lisp0 0 00
hyunsukimsokcho/is893-2020-fall
Language:Shell0 0 00
hyunsukimsokcho/markdown-cv
a simple template to write your CV in a readable markdown file and use CSS to publish/print it.
Language:CSS0 0 00
hyunsukimsokcho/miniCS
Critical section minimisation in concurrent programming
Language:TeX0 2 20
hyunsukimsokcho/kaist-cp.github.io
Language:Ruby0 0
hyunsukimsokcho/lang-c
Lightweight C parser for Rust
Language:Rust0 0
hyunsukimsokcho/libdai
Language:C++0 0
hyunsukimsokcho/llvmutils
Language:OCaml0 0
hyunsukimsokcho/prosyslab.github.io
Language:JavaScript0 0
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.