jaehyun1ee

jaehyun1ee's Stars

• WasmEdge/WasmEdge

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

  Language:C++8.7k971.5k778

• wasm3/wasm3

  🚀 A fast WebAssembly interpreter and the most universal WASM runtime

  Language:C7.4k125345469

• wasmi-labs/wasmi

  WebAssembly (Wasm) interpreter.

  Language:Rust1.6k49291292

• bytecodealliance/wasm-tools

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

  Language:Rust1.4k29358251

• google/xls

  XLS: Accelerated HW Synthesis

  Language:C++1.2k671.4k182

• p4lang/p4c

  P4_16 reference compiler

  Language:C++686671.7k446

• heartcored98/Standalone-DeepLearning

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

  Language:Jupyter Notebook6481812198

• jafingerhut/p4-guide

  Guide to p4lang repositories and some other public info about P4

  Language:P45414173156

• runtimeverification/k

  K Framework Tools 7.0

  Language:Python457391.2k150

• kaist-cp/cs420

  KAIST CS420: Compiler Design (2023 Spring)

  4292752829

• es-meta/esmeta

  ECMAScript Specification (ECMA-262) Metalanguage

  Language:Scala213108815

• p4lang/p4-spec

  Language:TeX1776768480

• kaist-cp/shakeflow

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

  Language:Rust52311

• prosyslab-classroom/cs424-program-reasoning

  Language:Python472918722

• tsionyx/nonogrid

  Lightning fast nonogram solver. Check out the web version at

  Language:Rust28022

• sola-st/wasm-r3

  Record-Reduce-Replay for Realistic and Standalone WebAssembly Benchmarks

  Language:Jupyter Notebook26414

• atgeller/WASM-Redex

  A model of the WebAssembly language in Redex

  Language:Racket22462

• jaehyun1ee/standalone-ddl

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

  Language:Jupyter Notebook12004

• hongseok-yang/graduatePL24

  8401

• p51lee/CS520-notes

  Language:TeX1100