kyeongmincho
Follow
Stars
TensorRight: Automated Verification of Tensor Graph Rewrites
HazardFlow: Modular Hardware Design of Pipelined Circuits with Hazards IMPORTANT: DON'T FORK!
📚 A program for answering quizzes ✅ on Korean history exams.
Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)
HP++: A Hazard Pointers Extension for Better Applicability
ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
Collection of publicly available IPTV channels from all over the world
A library for composable fine-grained concurrency.
A port of Coq to Javascript -- Run Coq in your Browser
An adaptation of the Zenburn color scheme for the OS X Terminal app
A Rust crate for providing helpful methods in online judging.
An higher contrast version of the popular Zenburn theme for Emacs
A community-driven Emacs Lisp style guide
Emacs Python Development Environment
The entrance repository of Markdown presentation ecosystem
Iconic font aggregator, collection, & patcher. 3,600+ icons, 50+ patched fonts: Hack, Source Code Pro, more. Glyph collections: Font Awesome, Material Design Icons, Octicons, & more
👶🏻 신입 개발자 전공 지식 & 기술 면접 백과사전 📖
Code for "Yoav Zuriel, Michal Friedman, Gali Sheffi, Nachshon Cohen, and Erez Petrank. Efficient Lock-Free Durable Sets, OOPSLA 2019" (https://dl.acm.org/doi/10.1145/3360554)
Demonstration of various hardware effects.