Hi there!
I'm toku-sa-n, a computer science student.
(This image is licensed under CC BY-SA 4.0. It is an adoption of Larry the Cow which was originally designed by Ethan Dunham and Matteo Pescarin (https://wiki.gentoo.org/wiki/Project:Artwork/Artwork#Larry_the_Cow) licensed under CC BY-SA 2.5.)
Skills
These are the skills that either I have tried or I'm using daily and not something that I can say I've understood a bit.
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
andNumOfPages
.
Haskell Projects
- Gimlight: A roguelike game.
- blob-tileset-generator: A tool to generate a blob tileset from a 1x5 tileset.
- Playing with syb: An explanation about a Haskell library
syb
. - HIndent (as a collaborator): Haskell source code formatter
TypeScript Projects
- Programmer Dvorak trainer: A typing practice tool for Programmer Dvorak layout
Coq Projects
- Coqfmt: Coq code formatter (written in OCaml).
Krita plugins
- Git Docker: A docker for viewing previous editions of currently editing file.
- Blob tileset viewer: A docker for converting a 1x5 tileset to a blob tileset and viewing it.
- Lock all layers: An extension to lock all leaf layers.
- Layer finder: An extension to find layers that colorize a part of or the full selection.
Other contributions
Translation into Japanese
Other accounts
My environment
- OS: Gentoo Linux
- Desktop environment: i3wm
- Terminal: rxvt-unicode
- Shell: Zsh
- Editor: VSCode with Vim key-mapping
- Tab size: 4 spaces
- Keyboard layout: Programmer Dvorak (en), Kana Input (ja)