Pinned Repositories
bidi
bidirectional type checking algorithms for higher-ranked polymorphism
CapstoneDesign
DesignPatternExamples
Lecture_EOPL
EOPL in Haskell
Lecture_Haskell_Mooc
Lecture_SAV
Haskell implementation of program analyses on the WHILE language
maejiri
LF type checker written in Haskell
MySmallBasic
An Open-source Software for SmallBasic Interpreter and Debugger written in Java
polyrpc
PolyRPC, A multi-tier functional programming language
yapb
YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
kwanghoon's Repositories
kwanghoon/AndroidAppTester
kwanghoon/Polyglot
kwanghoon/sf
Software Foundations (a translation)
kwanghoon/fpstudy
kwanghoon/developer-badge-2018-pcb
kwanghoon/dippl
The Design and Implementation of Probabilistic Programming Languages
kwanghoon/emulBLE
kwanghoon/http_client_server
kwanghoon/hw-rails-intro
kwanghoon/hw-ruby-intro
Ruby Introduction Assignment for Agile Development using Ruby on Rails
kwanghoon/hw-sinatra-saas-hangperson
kwanghoon/infer
A static analyzer for Java, C and Objective-C
kwanghoon/java-logic
constructive logic framework in java
kwanghoon/MessagePassingInJava
CML style concurrent programming in Java
kwanghoon/NANS_Project_for_Android
kwanghoon/peregrine
A Highly Extensible, FOSS Cross-platform Desktop Launcher
kwanghoon/phd-thesis-supplemental
kwanghoon/piVC
The Pi verifying compiler.
kwanghoon/pwa
Programming With Arrows
kwanghoon/rpccalculi
Implementation of A Theory of RPC Calculi
kwanghoon/RPCCalculus
kwanghoon/rpcexample
RPC Example in Haskell
kwanghoon/RPCExample_Java
kwanghoon/session-ocaml
An implementation of binary session types in OCaml
kwanghoon/SmartThings_AutomaticCodeReviewEvaluationTool
Automatic code review analyzer
kwanghoon/sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
kwanghoon/syparse
LALR grammar based Solidity parser.
kwanghoon/tal
An implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
kwanghoon/TESTGIT
kwanghoon/unipy