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

kwanghoon.github.io

Personal website

Lecture_EOPL_Exercise

Exercises for EOPL in Haskell

Lecture_IntroToCompiler

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

chatbot-ui

An open source ChatGPT UI.

cyberbit

cyberbit-exercises

ElixirST

Session Types in Elixir

FunctionPointer

Fuzzle

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

GenSmsPdu

HasChor

Functional choreographic programming in Haskell

humidity-monitoring-pot

A MakeCode project

iotacalculus

iso15118

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

langchain

⚡ Building applications with LLMs through composability ⚡

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

RISE-V2G

The only fully-featured reference implementation of the Vehicle-2-Grid communication interface ISO 15118

sbparser

station-simulator

udlbook

Understanding Deep Learning - Simon J.D. Prince

vul-dbgen

Generate vulnerability database