Skip to content
View toku-sa-n's full-sized avatar
🈳
🈳

Organizations

@rust-osdev

Block or report toku-sa-n

Report abuse

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

Report abuse
toku-sa-n/README.md

Hi there!

I'm Hiroki Tokunaga, a worker in Japan.

Skills

These are the skills that either I have tried or I'm using daily and not something I can say I've understood a bit.

My Skills

My projects

Rust Projects

  • Ramen OS: A hobby OS supporting xHCI, USB storage reading and writing, and UEFI.
  • Antei OS: An experimental OS not using any Nightly Rust features.
  • xhci crate: A Rust library for writing xHCI drivers.
  • cpio_reader crate: A Rust library for reading CPIO files.
  • accessor crate: A Rust library for accessing MMIO.
  • qemu_print crate: A Rust library for printing strings to a console using QEMU's serial port support.
  • os_units crate: A Rust library providing memory size unit types, Bytes and NumOfPages.

Haskell Projects

TypeScript Projects

Coq Projects

  • Coqfmt: Coq code formatter (written in OCaml).

Krita plugins and programs

Other contributions

Translation into Japanese

Other accounts

My environment

  • OS: Gentoo Linux
  • Desktop environment: i3wm
  • Terminal: rxvt-unicode
  • Shell: Zsh
  • Editor: Neovim
  • Tab size: 4 spaces
  • Keyboard layout: Programmer Dvorak (en), Kana Input (ja)

Anurag's GitHub stats

Top Langs

trophy

Pinned Loading

  1. rust-osdev/xhci rust-osdev/xhci Public

    A Rust library which is useful to handle xHCI

    Rust 46 9

  2. cpio_reader cpio_reader Public

    A Rust library to read the contents of cpio files

    Rust 6 2

  3. coqfmt coqfmt Public

    Coq code formatter

    OCaml 24 2

  4. mihaimaruseac/hindent mihaimaruseac/hindent Public

    Haskell pretty printer

    Haskell 574 115