jeehoonkang

jeehoonkang's Stars

• phil-opp/blog_os

  Writing an OS in Rust

  Language:HTML15.8k2844881.1k

• spacejam/sled

  the champagne of beta embedded databases

  Language:Rust8.2k130584383

• crossbeam-rs/crossbeam

  Tools for concurrent programming in Rust

  Language:Rust7.5k81438471

• pytorch/glow

  Compiler for Neural Network hardware accelerators

  Language:C++3.2k155827692

• leanprover/lean3

  Lean Theorem Prover

  Language:C++2.1k1161.1k217

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63283229

• kaist-cp/cs431

  Language:Rust1.4k46941137

• dpc/mioco.pre-0.9

  Scalable, coroutine-based, asynchronous IO handling library for Rust programming language. (aka MIO COroutines).

  Language:Rust457169130

• chaoran/fast-wait-free-queue

  A benchmark framework for concurrent queue implementations

  Language:C28518748

• kaist-cp/cs220

  Language:Rust2694639053

• crossbeam-rs/rfcs

  RFCs for changes to Crossbeam

  148301614

• jongman/algospot

  algospot.com, forum + online judge for Korean programming contestants

  Language:JavaScript141266643

• rust-lang/rust-memory-model

  Collecting examples and information to help design a memory model for Rust.

  Language:Python126333715

• boncheolgu/tflite-rs

  Language:Rust11543254

• jeonghanlee/kakaotalk-env

  KakaoTalk Environment on Debian Linux (카카오톡 데비안 리눅스 환경)

  Language:Shell83898

• crossbeam-rs/crossbeam-epoch

  Epoch-based garbage collection

  Language:Rust8019287

• mahkoh/comm

  Communication primitives

  Language:Rust67131210

• kaist-cp/shakeflow

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

  Language:Rust52311

• kaist-cp/circ

  CIRC: Concurrent Immediate Reference Counting

  Language:Rust46473

• snu-sf/promising-coq

  The Coq development of A Promising Semantics for Relaxed-Memory Concurrency

  Language:Coq331375

• vellvm/vellvm-legacy

  Language:Coq3312131

• kaist-cp/memento

  Memento: A Framework for Detectable Recoverability in Persistent Memory (PLDI 2023)

  Language:Rust15501

• prosyslab/sigpl23-tutorial

  Language:Jupyter Notebook9103

• cmpark0126/wicwiu-rust

  A WICWIU implementation using rust

  Language:Rust4030

• beingryu/first-startlink-live

  Language:JavaScript3200