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/yapb
YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)
kwanghoon/Lecture_SAV
Haskell implementation of program analyses on the WHILE language
kwanghoon/Lecture_IntroToCompiler
kwanghoon/kwanghoon.github.io
Personal website
kwanghoon/Lecture_EOPL_Exercise
Exercises for EOPL in Haskell
kwanghoon/oss_git_example
kwanghoon/starter-kit-smartapp-nodejs
kwanghoon/Lecture_EOPL
EOPL in Haskell
kwanghoon/auto_LiRPA
auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
kwanghoon/c11parser
kwanghoon/cyberbit
kwanghoon/cyberbit-exercises
kwanghoon/distapp
kwanghoon/FunctionPointer
kwanghoon/Fuzzle
Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
kwanghoon/GenSmsPdu
kwanghoon/HasChor
Functional choreographic programming in Haskell
kwanghoon/haskell-tree-sitter
Haskell bindings for tree-sitter
kwanghoon/iotacalculus
kwanghoon/iso15118
Implementation of the ISO 15118 Communication Protocol (-2, -20, -8)
kwanghoon/maeve-csms
MaEVe is an experimental EV Charge Station Management System (CSMS)
kwanghoon/ml4se
A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering
kwanghoon/NNV
kwanghoon/PaperSorter
Sends alerts to a Slack channel for potentially interesting new articles selected from RSS feeds.
kwanghoon/PolymorphicRpcCalculus
kwanghoon/redebug
ReDeBug Source Code.
kwanghoon/sbparser
kwanghoon/tree-sitter
An incremental parsing system for programming tools
kwanghoon/vuddy
VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)
kwanghoon/vul-dbgen
Generate vulnerability database