Skip to content
View jihoo12's full-sized avatar
1 follower · 0 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Sharkx3Achievement: YOLOAchievement: Quickdraw

Organizations

@gloaming-dusk @jihoolang

Block or report jihoo12

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
jihoo12/README.md
jihoo — kernels, compilers and things that draw pixels

website  ·  repositories  ·  stars

I like the layers most people never look at: boot code, schedulers, type checkers, assemblers, compositors. Most of what I build starts as "how does this actually work?" and ends as a small, from-scratch implementation, usually in Rust.


shady: An experimental 3D Wayland compositor built on wlroots. kaguyaos: x86-64 OS: SMP, preemption, NVMe + FAT16, xHCI, IPv4 + DNS. kamo2: A cubical, dependently typed functional language. jihoo: An easy programming language with three profiles.


A year of contributions drawn as stacked ridgelines, one per week end of transmission

Every image here is redrawn daily from live GitHub data by scripts/generate.py, no dependencies, no third-party services.

Pinned Loading

  1. jihoolang/jihoo jihoolang/jihoo Public

    An easy programming language with three profiles

    Rust

  2. kaguyaos kaguyaos Public

    kaguyaOS currently boots into userspace on an SMP system, runs a preemptive scheduler, mounts a FAT16 filesystem from NVMe, handles USB keyboard input through xHCI, and provides IRQ-driven IPv4 net…

    Rust

  3. gloaming-dusk/shady gloaming-dusk/shady Public

    Shady is a small experimental 3D Wayland compositor built on wlroots 0.20.2 and inspired by TinyWL.

    C 1

  4. Horn Horn Public

    A small Rust checker for explicit derivation certificates in many-sorted, first-order Horn theories. The caller supplies the theory and exact goals; the certificate supplies rule applications and r…

    Rust

  5. trendmcp trendmcp Public

    An MCP server that reads Hacker News, arXiv and GitHub Trending and hands the results to your AI assistant. No API keys required, and every tool returns token-efficient Markdown.

    TypeScript