Workshop

工房
loading…

工房

the workshop

things i built while i should have been sleeping: fan tools for comifuro, a language-learning player, a compiler IR, a thesis, a paper. all of it public.

projects
10
github stars
125★
since
2022
github.com/hockyyyes, that's me. the profile README says so.
Mikira sitting cross-legged in a desk chair surrounded by floating green holo screens

art: DewiSarasMukti

★ featured build
STAGEABCDEIN

CF23 Map

a fast, offline-ready booth map for Comifuro 23. search circles, fandoms or booth codes, star your favourites, get a walking route. made in a week. slept zero of it.

358Kviews on the launch post

Comifuro 23 · 31 oct – 1 nov 2026 · ICE BSD

  • search circles, fandoms, booth codes
  • favourites
  • walking routes
  • works offline
  • sabtu + minggu
open cf.mikira.id

no live preview: the map sends X-Frame-Options: DENY, so it won't sit inside another site's window. fair. here's a drawing instead.

the bench作業台

everything else. live sites, open code, two papers.

art: Yamocado

Temu CF23

since 2026

every hololive and HOLOSTARS meet & greet, panel, fandom meetup and stage show at CF23 in one timetable. filter by oshi, catch the clashes before they catch you, post your plan to X.

  • fan tool
  • hololive
  • schedule
temu.mikira.id

Miteiru

since 2022

119119 stars on GitHub

an open-source video player for learning japanese, mandarin, cantonese and vietnamese from real subtitles. furigana, pinyin, jyutping, a dictionary on hover, anki export. no account, no paywall.

  • electron
  • typescript
  • language learning
miteiru.hocky.idcode

Tesseracts in a Box

since 2026

55 stars on GitHub

how many unit 4-cubes fit in a slightly-less-than-3 box? 26 and 27 fit at side 2.942809, and the live page reruns the search in your browser. yes, this is what i do for fun.

  • math
  • c++
  • cuda
  • javascript
packing.mikira.idcode

Brrr

since 2026

11 stars on GitHub

a bot-readable, reasoned, reproducible compiler IR. an agent specialises one kernel until it's stupidly fast, and Z3 checks every shape claim on the way. compiler go brrr.

  • c++
  • compilers
  • z3
  • mlir
code

PeerToCP

since 2022

my bachelor's thesis (universitas indonesia, 2022): a collaborative code editor with a shared shell, built three ways and benchmarked. peer-to-peer CRDT over WebRTC won for small rooms.

  • webrtc
  • crdt
  • thesis
codepaper

Miteiru, the paper

since 2026

twelve design decisions traced back to the commits that made them, why cantonese deserves its own mode, and 32 months of coding without AI assistants vs 12 months with them.

  • paper
  • latex
  • language learning
codepaper

SyncScope

since 2026

drop in a graph-sync-solver log and see where an Ascend kernel's cube and vector cores wait on each other: the hot loop, the paired handoffs, the biggest gap. niche. very satisfying. runs in your browser.

  • typescript
  • compilers
  • visualizer
code

Input Method Manager

since 2026

a tiny windows app that finds the keyboard layouts settings won't let you delete, and deletes them. born from one stubborn IME that refused to leave.

  • python
  • windows
  • small tool
code

Close All Discard

since 2026

a sublime text command that closes every tab and says no to every save prompt, even the 'file was deleted, save anyway?' one. for people with 200 tabs open. (me.)

  • python
  • sublime text
  • small tool
code

public work only. stars counted october 2026.