P4_16 reference compiler

Guide to p4lang repositories and some other public info about P4

Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

A model of the WebAssembly language in Redex

K Framework Tools 7.0

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices,…

Lightning fast nonogram solver. Check out the web version at

WebAssembly (Wasm) interpreter.

🚀 A fast WebAssembly interpreter and the most universal WASM runtime

CLI and Rust libraries for low-level manipulation of WebAssembly modules

XLS: Accelerated HW Synthesis

ECMAScript Specification (ECMA-262) Metalanguage

ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)

KAIST CS420: Compiler Design (2023 Spring)

2019 딥러닝-비전처리 홀로서기 특강에 사용된 Lecture Note 및 Code Repository입니다.

2019 KAIST 딥러닝 홀로서기 세미나용 저장소입니다.