Skip to content
View kkiyama117's full-sized avatar
🎒
Kyoto University
🎒
Kyoto University
46 followers · 102 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 supported. This note will be visible to only 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

13 results for source starred repositories written in HTML
Clear filter

ossu / computer-science

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

HTML 201,015 25,011 Updated Feb 4, 2026

google / fonts

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

HTML 19,669 2,839 Updated Feb 5, 2026

drduh / YubiKey-Guide

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

HTML 12,161 1,242 Updated Jan 10, 2026

jmhobbs / cultofthepartyparrot.com

PARTY OR DIE

HTML 1,528 317 Updated Dec 31, 2025

kaityo256 / sevendayshpc

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

HTML 722 28 Updated Apr 10, 2025

DubhAd / Home-AssistantConfig

My Home Assistant configuration files

HTML 678 71 Updated Dec 22, 2025

tex2e / rfc-translater

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

HTML 229 39 Updated Feb 1, 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 Sep 17, 2025

MolSSI-MDI / MDI_Library

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

HTML 35 12 Updated Jan 29, 2026

nineties / topos-theory

HTML 7 1 Updated Jul 25, 2025

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