toku-sa-n

Worker

@DeNAKanagawa, Japan

Pinned Repositories

hindent
Haskell pretty printer
Language:Haskell561 12 392113
xhci
A Rust library which is useful to handle xHCI
Language:Rust41 4 187
accessor
A Rust library to access MMIO.
Language:Rust1 2 22
antei
An experimental Operating System written in stable Rust.
Language:Rust1 2 110
blob-tileset-generator
A program to generate a blob tile from 1x5 image.
Language:Haskell1 2 00
coqfmt
Coq code formatter
Language:OCaml22 1 212
cpio_reader
A Rust library to read the contents of cpio files
Language:Rust5 2 02
dotfiles
Language:Shell1 2 00
osdev_in_stable_rust
2 3 00
ramen
A toy OS written in Rust supporting xHCI.
Language:Rust40 2 1705

toku-sa-n's Repositories

toku-sa-n/ramen
A toy OS written in Rust supporting xHCI.
Language:Rust40 2 1705
toku-sa-n/coqfmt
Coq code formatter
Language:OCaml22 1 212
toku-sa-n/cpio_reader
A Rust library to read the contents of cpio files
Language:Rust5 2 02
toku-sa-n/accessor
A Rust library to access MMIO.
Language:Rust1 2 22
toku-sa-n/dotfiles
Language:Shell1 2 00
toku-sa-n/Krita-pen-pressure-adjuster
Global pen pressure setting adjuster for Krita
Language:Python1
toku-sa-n/os_units
A Rust library which provides units used in developing OS.
Language:Rust1 2 10
toku-sa-n/vimrc
My vimrc and its components
Language:Vim Snippet1 2 0
toku-sa-n/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
Language:OCaml0 0
toku-sa-n/dune-coq-ie
Language:Coq
toku-sa-n/ebuilds
Ebuilds for my personal purpose
Language:Shell1 0
toku-sa-n/gentoo
[MIRROR] Official Gentoo ebuild repository
Language:Shell0 0
toku-sa-n/gentoo-haskell
official gentoo haskell overlay
Language:Shell0 0
toku-sa-n/gimlight
Roguelike (or even roguelikelike) game written in Haskell.
Language:Coq1 372
toku-sa-n/hindent
Haskell pretty printer
Language:Haskell1 0
toku-sa-n/Krita-layer-finder
Find a layer that colorizes a part of or the full selection.
Language:Python1 0
toku-sa-n/neovim-hybrid
A dark color scheme for Neovim
Language:Lua0 0
toku-sa-n/PacketProxy
A local proxy written in Java
toku-sa-n/po.nvim
Neovim plugin for editing GNU gettext PO files
Language:Lua
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.
Language:Rust2 2
toku-sa-n/test-github-actions
A repository to play with Github Actions
2 0
toku-sa-n/textbook
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Language:OCaml0 0
toku-sa-n/toku-sa-n
1 0
toku-sa-n/toku-sa-n.github.io
My website
Language:SCSS2 4
toku-sa-n/vscode-gettext
Gettext PO files language support for Visual Studio Code
Language:TypeScript0 0
toku-sa-n/xhci
A Rust library which is useful to handle xHCI
Language:Rust0 0
toku-sa-n/Xresources
My .Xresources
1 0
toku-sa-n/zsh-dot-up
Zsh plugin that converts ..., ...., ....., etc., into cd commands to navigate parent directories.
Language:Shell1 0
toku-sa-n/zshrc
My `.zshrc` file
Language:Shell1 0