kwanghoon/safeNFCTaskApp
Public repository.
Developer Profile
kwanghoon
Discovered public repositories for kwanghoon in the GitHub catalog.
kwanghoon/TheoremProver
A Haskell implementation of a tactical theorem prover (Ref. L.C. Paulson's ML for the Working Programmer)
kwanghoon/exceptionRefactoring
An inter-component exception handling library and its applications
kwanghoon/guitar
Public repository.
kwanghoon/DotScheme
Public repository.
kwanghoon/openssd
A mirror of the openssd project
kwanghoon/ytv
Public repository.
kwanghoon/CoIteration
Public repository.
kwanghoon/JavaAnalysis
A Type and Effect System for Activation Flow of Components in Android-like Programs
kwanghoon/SemApp
A Haskell Implementation for Nielson's book, Semantics with Application
kwanghoon/genlrparser
A Programmable LALR(1) Parser Builder in Haskell
kwanghoon/checker
An LF type checker in C
kwanghoon/CoC
Public repository.
kwanghoon/android_pmd
Public repository.
kwanghoon/DSL
Public repository.
kwanghoon/nfc-script
Public repository.
kwanghoon/maejiri
LF type checker written in Haskell