kwanghoon

yapb

YAPB: Yet Another Parser Builder (A Programmable LALR(1) Parser Builder in Haskell)

Lecture_SAV

Haskell implementation of program analyses on the WHILE language

Lecture_IntroToCompiler

kwanghoon.github.io

Personal website

Lecture_EOPL_Exercise

Exercises for EOPL in Haskell

oss_git_example

starter-kit-smartapp-nodejs

sudoku

auto_LiRPA

auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

c11parser

cyberbit

cyberbit-exercises

FunctionPointer

Fuzzle

Fuzzle: Making a Puzzle for Fuzzers (ASE'22)

GenSmsPdu

HasChor

Functional choreographic programming in Haskell

haskell-tree-sitter

Haskell bindings for tree-sitter

iotacalculus

iso15118

Implementation of the ISO 15118 Communication Protocol (-2, -20, -8)

langchain

⚡ Building applications with LLMs through composability ⚡

Lecture_EOPL

EOPL in Haskell

maeve-csms

MaEVe is an experimental EV Charge Station Management System (CSMS)

ml4se

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

NNV

PaperSorter

Sends alerts to a Slack channel for potentially interesting new articles selected from RSS feeds.

redebug

ReDeBug Source Code.

sbparser

udlbook

Understanding Deep Learning - Simon J.D. Prince

vuddy

VUDDY: A Scalable and Accurate Vulnerable Code Clone Detector (S&P'17)

vul-dbgen

Generate vulnerability database