minhyuk/rose
A compiler infrastructure to build source-to-source program transformation and analysis tools.
Public GitHub Catalog
Discovered Sep 28, 2026
minhyuk / klee
KLEE Symbolic Virtual Machine
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#12720212GitHub System ID
minhyukOrganization / User
PublicVisibility
ActiveCatalog Status
More from minhyuk
minhyuk/llvm
Mirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
minhyuk/TadpoleForDBTools
Tadpole for DB Tools is Unified infrastructure tool, various environment based interface for managing CUBRID, MySQL, Oracle, SQLite, MSSQL, PostgreSQL and MongoDB databases. It enables you to handle typical DB over the World Wide Web
minhyuk/MiniFramework
Proof of concept for Convey pattern for small software design & usable libraries adapt for Convey pattern