Git Product home page Git Product logo

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: VSCode with Vim key-mapping
  • Tab size: 4 spaces
  • Keyboard layout: Programmer Dvorak (en), Kana Input (ja)

Anurag's GitHub stats

Top Langs

trophy

Hiroki Tokunaga's Projects

9cc icon 9cc

C compiler for studying (https://www.sigbus.info/compilerbook).

acpi icon acpi

Rust library for parsing ACPI tables and AML

aligned_ptr icon aligned_ptr

A Rust library that ensures a pointer is aligned correctly for dereferencing

antei icon antei

An experimental Operating System written in stable Rust.

apecs icon apecs

a fast, type driven, extensible ECS for game development

book icon book

TypeScriptの入門書『サバイバルTypeScript』

brick icon brick

A declarative Unix terminal UI programming library written in Haskell

cargo-release icon cargo-release

Cargo subcommand "release": everything about releasing a rust crate.

cc-rs icon cc-rs

Rust library for build scripts to compile C/C++ code into a Rust library

coq-serapi icon coq-serapi

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

deregex icon deregex

A tool which lists all sentences which match the inputted regex.

elf_rs icon elf_rs

A no_std lib for elf fille loading

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.