Skip to content
View KimSeogyu's full-sized avatar
21 followers · 19 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLO

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: YOLO

Block or report KimSeogyu

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
KimSeogyu/README.md

Hi, I'm Seokyu Kim 👋

Software engineer focused on backend and distributed systems, working mainly with Go, Rust, and TypeScript.

I'm exploring how formal specifications, types, and ownership can help AI agents build reliable software by making invalid states and operations harder to express.

📌 Projects

  • parangsae — Rust research and execution prototype for systematic trading. Exploring specification-guided agent development, causal data access, and explicit state transitions. Research only; no live trading.
  • undocx — Extract clean, structured Markdown from DOCX for LLM and RAG contexts.
  • nestjs-server-template — NestJS API server template.
  • rs-docx — Rust library for parsing and generating DOCX files, maintained as a fork with added features.
  • grpc-gnostic-openapi-v3-example — Generate OpenAPI v3 specifications from Protobuf using gnostic.

🛠 Tech Stack

  • Languages: Go · Rust · TypeScript · Python
  • Frameworks: Echo · Axum · NestJS · FastAPI
  • Infrastructure: Docker · AWS · PostgreSQL · Redis · Blockchain
  • Protocols: gRPC · REST · JSON-RPC · WebSocket · MQTT

Blog

Pinned Loading

  1. parangsae parangsae Public

    Binance BTCUSDT USD-M mid-frequency quant system in Rust, TLA+-first

    Rust

  2. specification-guided-development specification-guided-development Public

    Specification-guided development for AI agents: TLA+ models, TLC automata, Pele visualization, and generated TypeScript 7 and Rust linters.

    TypeScript

  3. undocx undocx Public

    Extract clean, structured Markdown from DOCX for LLM and RAG contexts.

    Rust 10 1