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/bidi
bidirectional type checking algorithms for higher-ranked polymorphism
kwanghoon/maejiri
LF type checker written in Haskell
kwanghoon/JavaAnalysis
A Type and Effect System for Activation Flow of Components in Android-like Programs
kwanghoon/NNS-FE
에디터를 제외한 나머지 프론트엔드
kwanghoon/NNS-Train
GPUServer
kwanghoon/NNS_back
kwanghoon/tapl
{TAPL Book] Types and programming languages: type checkers
kwanghoon/TheoremProver
A Haskell implementation of a tactical theorem prover (Ref. L.C. Paulson's ML for the Working Programmer)
kwanghoon/aeff
An interactive interpreter for asynchronous algebraic effects
kwanghoon/AutoVAS
AutoVAS is an automated vulnerability analysis system with a deep learning approach.
kwanghoon/delimcont
kwanghoon/dist-prog-book
kwanghoon/ElementaryTypeInference
ECOOP 2022 Elementary Type Inference
kwanghoon/Erc20FunctionalVerifier
An Erc20 Functional Verifier
kwanghoon/example
kwanghoon/haskell-mooc
Haskell MOOC University of Helsinki
kwanghoon/jmbyun.github.io
A personal academic website built on top of a Google Sheet document that is super easy to maintain.
kwanghoon/kiteco-public
Primary Kite repo — private bits replaced with XXXXXXX
kwanghoon/LearningHaskell_Exercises
Haskell exercises corresponding to the youtube tutorials series Learning Haskell
kwanghoon/links
Links: Linking Theory to Practice for the Web
kwanghoon/linksrpc
kwanghoon/miso
:ramen: A tasty Haskell front-end framework
kwanghoon/NNS-Code-Converter
에디터에서 만든 그래프를 파이썬코드로 변환
kwanghoon/service-apply
우아한테크코스 지원부터 최종 합격까지 모든 과정을 관리한다.
kwanghoon/smartfuzz
Fuzzing SmartThings Apps
kwanghoon/todomvc
kwanghoon/TypingFormalization
kwanghoon/VeriSmart-public
a safety verifier for Solidity smart contracts
kwanghoon/workshop-streaming-game
A multiplayer game using Astra Streaming, FastAPI, React and Websockets
kwanghoon/workshop-vuejs