blue-jam's repositories
rime-docker
Docker image to run rime
kotlin-algorithm-snippets
Implementations of Algorithms in Kotlin for Competitive Programming
actions-gh-pages
GitHub Actions for deploying to GitHub Pages with Static Site Generators
ansible-sdkman
An Ansible role that installs, configures, and manages SDKMAN
competitive-programming-calendar-importer
Google Apps Script to add competitive programming contest schedule to Google Calendar
finance-calculator-extension
投資生活をサポートするための Google Chrome 拡張。
sleep-saver
Google Apps Script to automatically remove Google calendar notifications of midnight events.
atcoder-tools
Convenient modules for AtCoder users, written in Python 3.4
AtCoderProblems
Problem manager for AtCoder users
content
The content behind MDN Web Docs
contest-kotlin
AtCoder workspace for Kotlin
docs
The open-source repo for docs.github.com
gekitsui-online-judge
Online Judge to challenge/hack wrong solutions. Written in Kotlin.
ICPC2016JDCAutoJudge
rimeを使って，ICPC2016の国内予選のジャッジをサボりたい人用．
join-icpc-jag
Let's join ICPC Japan Alumni Group! I'll write an email for you!
music-center-script
Music Center for PCで楽曲をダウンロードまたは取り込みをした後で走らせるスクリプト
ProconLibrary
プロコン用のライブラリ
rime
Rime: Automation Tool for Programming Contest Organizers
rime-github-actions
An example to run rime on Github Actions.
rime-js-actions
Github action written by nodejs to run rime
theorem_proving_in_lean
Theorem proving in Lean