Hiroyuki Katsura

osmium. A toy operating system written in Rust on RISC V(rv32im)

ctf_writeups. My CTF solver scripts (mainly pwn)

libc-pwn. libc 2.* docker images with pwntools/peda/pwndbg/etc.

nageru. Simple CLI tool to post a file/dir/msg to your slack channel

riscv-toolchain-docker. Dockerfile for building 32-bit version of Risc-V toolchain

driver. C

hflmc2. ReTHFL: νHFL(Z) (aka higher-order CHC) solver based on refinement types

blog_os. https://os.phil-opp.com/

bf-jit. Rust

esolang. my esolang programs

sig-hakatashi. Ruby

9-tiles. Vue

MoraClock. 朝ブラウザ弄ってるときに、電車に遅れない用。ねむいので

osmium-docker. Dockerfile

kernel. JavaScript

libguestfs. library and tools for accessing and modifying virtual machine disk images. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us.