Lee-Janggun

Lee-Janggun's Stars

• kaist-cp/cs492-uarch

  301

• logsem/clutch

  Probabilistic separation logics for verifying higher-order probabilistic programs.

  Language:Coq133

• kaist-cp/circ

  CIRC: Concurrent Immediate Reference Counting

  Language:Rust312

• DeepSpec/InteractionTrees

  A Library for Representing Recursive and Impure Programs in Coq

  Language:Coq20151

• ssimplexity/CS492_spring2024

  KAIST. CS492 Algorithms for NP-hard Problems. Spring 2024.

  18

• mekty2012/CS470_SymbolicIntegration

  Language:Jupyter Notebook2

• seungguini/youcos

  :rocket: A simple Python package for scraping YouTube videos and comments!

  Language:Python41

• software-students-fall2021/project-setup-potluck

  project-setup-potluck created by GitHub Classroom

  Language:JavaScript42

• kaist-cp/smr-verification

  Modular Verification of Safe Memory Reclamation in Concurrent Separation Logic (OOPSLA 2023)

  Language:Coq3

• hongseok-yang/graduatePL23

  192

• kaist-cp/hp-plus

  HP++: A Hazard Pointers Extension for Better Applicability

  Language:Rust41

• seungguini/vintage_turntable

  A 3D record player simulator web application with Spotify integration

  Language:TypeScript4

• kaist-cp/cs431

  Language:Rust1.4k135

• kaist-cp/kecc-public

  KECC: KAIST Educational C Compiler. IMPORTANT: DON'T FORK!

  Language:Rust1098

• mekty2012/Extending-Vader

  KAIST 2021 Spring, CS372 Natural Language with Python Final project.

  Language:Python1

• seungguini/youtube-tab-switch

  YouTube Tab Switch is a chrome extension that controls the playback of YouTube videos, providing users with background music that adapts to their unique working environment.

  Language:JavaScript1

• mekty2012/CS423_Group4

  This repository is sourceforge for group project in CS423, probprog in KAIST.

  Language:Clojure1