Pinned Repositories
hindent
Haskell pretty printer
xhci
A Rust library which is useful to handle xHCI
accessor
A Rust library to access MMIO.
antei
An experimental Operating System written in stable Rust.
blob-tileset-generator
A program to generate a blob tile from 1x5 image.
coqfmt
Coq code formatter
cpio_reader
A Rust library to read the contents of cpio files
dotfiles
osdev_in_stable_rust
ramen
A toy OS written in Rust supporting xHCI.
toku-sa-n's Repositories
toku-sa-n/ramen
A toy OS written in Rust supporting xHCI.
toku-sa-n/coqfmt
Coq code formatter
toku-sa-n/cpio_reader
A Rust library to read the contents of cpio files
toku-sa-n/accessor
A Rust library to access MMIO.
toku-sa-n/dotfiles
toku-sa-n/Krita-pen-pressure-adjuster
Global pen pressure setting adjuster for Krita
toku-sa-n/os_units
A Rust library which provides units used in developing OS.
toku-sa-n/vimrc
My vimrc and its components
toku-sa-n/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
toku-sa-n/dune-coq-ie
toku-sa-n/ebuilds
Ebuilds for my personal purpose
toku-sa-n/gentoo
[MIRROR] Official Gentoo ebuild repository
toku-sa-n/gentoo-haskell
official gentoo haskell overlay
toku-sa-n/gimlight
Roguelike (or even roguelikelike) game written in Haskell.
toku-sa-n/hanazonochateau.net
花園シャトー107号室
toku-sa-n/hindent
Haskell pretty printer
toku-sa-n/Krita-layer-finder
Find a layer that colorizes a part of or the full selection.
toku-sa-n/neovim-hybrid
A dark color scheme for Neovim
toku-sa-n/printing-rule-viewer
The printing rule viewer of Coq's notation
toku-sa-n/set_bits
A Rust library which sets and clears bits on memory.
toku-sa-n/setup-ocaml
GitHub Action for the OCaml programming language
toku-sa-n/test-github-actions
A repository to play with Github Actions
toku-sa-n/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
toku-sa-n/toku-sa-n
toku-sa-n/toku-sa-n.github.io
My website
toku-sa-n/vscode-coqfmt
A VSCode extension for `coqfmt`
toku-sa-n/vscode-gettext
Gettext PO files language support for Visual Studio Code
toku-sa-n/xhci
A Rust library which is useful to handle xHCI
toku-sa-n/Xresources
My .Xresources
toku-sa-n/zshrc
My `.zshrc` file