Skip to content
View metaphorics's full-sized avatar
💭
Deep Working...
💭
Deep Working...
61 followers · 111 following
  • Seoul

Achievements

Achievement: Pair Extraordinairex3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Public Sponsor

Achievements

Achievement: Pair Extraordinairex3Achievement: StarstruckAchievement: QuickdrawAchievement: YOLOAchievement: Public Sponsor

Highlights

  • Pro

Block or report metaphorics

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
metaphorics/README.md

metaphorics

Systems programmer in Seoul. I build tooling for coding agents and write established systems in Rust and Modern C++.

Usually; Rust, TypeScript, Python, Go, modern C++.

Public works

Agent tooling

Rust overhauls

  • bitcoin-rs: Bitcoin full node with Core-compatible JSON-RPC. 110 Merges.
  • bamTiScript: clean-room TypeScript 7 compiler and JavaScript runtime. tsc-compatible CLI, JIT and AOT execution, Lean 4 models of the type system.
  • oxvim: the Neovim core in Rust with Lua plugins intact. 1,400+ tests and MessagePack-RPC replay against the upstream binary.
  • xv6-rust: xv6 for RISC-V and x86-64 with a QEMU acceptance harness.
  • Smaller: inkferro (Ink), fasterapi (FastAPI), sicp-rust (SICP)

Elsewhere

Pinned Loading

  1. can1357/oh-my-pi can1357/oh-my-pi Public

    ⌥ Coding agent with the IDE wired in

    TypeScript 30.4k 3.1k

  2. OutlineDriven/outline-driven-development OutlineDriven/outline-driven-development Public

    Outline-Driven Development - opinionated methodology between vibes and specs. AST tooling + context engineering + loop engineering on your hands. Plugins for Claude / Codex / Gemini / Cursor.

    Python 52 9

  3. OutlineDriven/odin-reflector OutlineDriven/odin-reflector Public

    Codex CLI meta-reflection layer for Outline-Driven Development. Add-on for the Claude plugin.

    TypeScript 9 1

  4. fasterapi fasterapi Public

    A drop-in faster replacement of fastapi, in Rust.

    Python

  5. gosuda/pi-oxidized gosuda/pi-oxidized Public

    The shitty coding agent is oxidized; but with typescript plugins plug-in compatibility.

    Rust 4

  6. bamTiScript bamTiScript Public

    Pre-release clean-room TypeScript 7.0.2 compiler and JavaScript runtime in Rust, with type checking, a tsc-compatible CLI, JIT/AOT execution, and Lean 4 models.

    Rust 2