soonhokong/drio-osx
DO NOT FORK - It's only for triggering OSX build
Developer Profile
soonhokong
Discovered public repositories for soonhokong in the GitHub catalog.
soonhokong/drio
Public repository.
soonhokong/travis_test
Public repository.
soonhokong/emacs.d
.emacs.d
soonhokong/benchmark
Benchmarks
soonhokong/paper
Repository for dReal-related papers
soonhokong/dreal
Working copy of the dReal repo. I use this repo for performing experiments and storing work-in-progress
soonhokong/tai
Test and Infer
soonhokong/dReal-osx
DO NOT FORK - It's only for triggering OSX build
soonhokong/fp-test
FP Test
soonhokong/highlight.js
Javascript syntax highlighter
soonhokong/reveal.js
The HTML Presentation Framework
soonhokong/cdash
Public repository.
soonhokong/lean-windows
DO NOT FORK - It's only for triggering Windows build
soonhokong/mxe
MXE (M cross environment)
soonhokong/lean-osx
DO NOT FORK - It's only for triggering OSX build
soonhokong/lean
Lean Theorem Prover
soonhokong/org-reveal
Exports Org-mode contents to Reveal.js HTML presentation.