대한민국 법령을 Git 저장소로 관리합니다. 각 법령은 Markdown 파일이고, 각 개정은 실제 공포일자를 가진 Git commit입니다.

The seL4 microkernel

Agentic review of Linux Kernel code changes

Bitcoin Core integration/staging tree

A security-focused library OS supporting kernel- and user-mode execution

Algorithm powering the For You feed on X

Confirm your kubectl

Patch Android vbmeta image and disable verification flags inside

Jeff Geerling's SBC review data - Raspberry Pi, Radxa, Orange Pi, etc.

Function graph tracer for C/C++/Rust/Python

Korea Investment & Securities Open API Github

술 좋아하는 스꾸딩 사람들이 필요해서 만든 프로젝트

hardcoded scripts for qemu and Raspberry Pi OS Lite (64-bit)

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

JDK main-line development https://openjdk.org/projects/jdk

Chrome extension for safer trading

A SEC EDGAR MCP (Model Context Protocol) Server

mise-en-place JetBrain's IntelliJ platform supports

my blog

A secure and user-friendly web app for managing Linux servers with Artifical Intelligence via SSH—right from your browser.

Control Google Chrome from the command line

Script Commands let you tailor Raycast to your needs. Think of them as little productivity boosts throughout your day.

A model context protocol server to work with JetBrains IDEs: IntelliJ, PyCharm, WebStorm, etc. Also, works with Android Studio

Model Context Protocol Servers