Skip to content
View kkiyama117's full-sized avatar
🎒
Kyoto University
🎒
Kyoto University
47 followers · 103 following

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@unimap @vim-denops

Block or report kkiyama117

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse

Lists (2)

Sort Name ascending (A-Z)
Sort by
Name ascending (A-Z) Name descending (Z-A) Newest Oldest Last updated

Starred repositories

14 stars written in HTML
Clear filter

ossu / computer-science

🎓 Path to a free self-taught education in Computer Science!

HTML 203,442 25,317 Updated Apr 21, 2026

google / fonts

Font files available from Google Fonts, and a public issue tracker for all things Google Fonts

HTML 19,997 2,866 Updated Apr 30, 2026

drduh / YubiKey-Guide

Community guide to using YubiKey for GnuPG and SSH - protect secrets with hardware crypto.

HTML 12,299 1,248 Updated Apr 26, 2026

jmhobbs / cultofthepartyparrot.com

PARTY OR DIE

HTML 1,535 317 Updated Apr 28, 2026

kaityo256 / sevendayshpc

一週間でなれる！スパコンプログラマ

HTML 724 28 Updated Apr 10, 2025

DubhAd / Home-AssistantConfig

My Home Assistant configuration files

HTML 686 70 Updated Apr 22, 2026

tex2e / rfc-translater

RFCを翻訳するツール群 & 翻訳済みRFCサイト

HTML 231 42 Updated Apr 25, 2026

tadashi0713 / howtheytest-jp

日本のソフトウェア企業のテスト・テスト自動化に関する資料をまとめています

HTML 203 9 Updated May 30, 2022

Blaisorblade / dot-iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

HTML 37 1 Updated Apr 8, 2026

MolSSI-MDI / MDI_Library

A library that enables code interoperability via the MolSSI Driver Interface.

HTML 35 12 Updated Apr 10, 2026

termoshtt / sevendayshpc.rs

Forked from kaityo256/sevendayshpc

WIP: 一週間でなれる！スパコンプログラマ Rust版

HTML 26 2 Updated May 8, 2021

nineties / topos-theory

HTML 9 1 Updated Apr 25, 2026

mtdfab / salmonrunnw_scenario

サーモンランNWシナリオリポジトリ

HTML 2 Updated May 1, 2024

palthedog / takoyaki

Splatoon3's Tableturf battle (ナワバトラー) simulator.

HTML 2 Updated Jun 11, 2024

Starred topics

See all starred topics