Kory | Ryosuke Kondo

scala-proofs. An attempt to build axiomatic, formal set theory on top of Scala.

redmine_discord. Redmine plugin that sends webhook notifications to Discord channels in a rich embed format.

s2mc-test. Scala-to-Minecraft testing framework.

cf-worker-as-openssh-ca. Turning Cloudflare Workers into a Certificate Authority that verifies incoming requests and issues short-lived SSH certificates.

fp-matsuri-2025-talk-materials. 関数型まつり2025 での「ラムダ計算と抽象機械と非同期ランタイム」の発表に使った諸々

mc-server-admins-vol-6-slide.

scalamatsuri2024-minimal-eff. Scala

itemstack-count-infrastructure. Minecraft plugin to count the number of itemstack in a world

scala3-tracing-instrument-macro. Scala

play-todo-app. TODO management system built on Play Framework

VRC-LT-10.

guarded-queries. Querying the Infinite Chase.

SignVote. Very configurable Bukkit plugin that allows player to vote through signs.

kripke-game-analysis. Lean

bigmath. math stuff with Kotlin.

scala3-lambda-calculus. Scala

sponge-ez-data. Collection of wrapped APIs that make creation of custom data in Sponge a lot more handy.

Kalgebra. Definitions of algebraic structures such as groups or monoids in kotlin language.

obsidian-vault--research-notes--optimized-reasoning-with-guarded-logic. SCSS

ChatGUI. An API for Bukkit for sending interactive chat interfaces to players

home-intercom-esp8266-broker. C++

CSO-mirror. The repository to host a mirror of Communicating Scala Object (SCO) library.

recursive-eff-experiments. Scala

cats-effect--scala-waiwai-learning-fork. Scala

simple-bracket-expander. A formatter to expand nested brackets to a human-readable text.

well-founded-crafting. Scala

home-intercom-microbit-detector. Python

scala3-compiletime-bignat. Scala

combinatris-solver. Scala

fs2-bug-reports. Scala

2025-HoTT-study. Studying HoTT

elm-othello. JavaScript

Vim-Settings. my personal vimrc/dein settings

atcoder-kotlin. My answers for AtCoder written in Kotlin

discord-logger. Bot that logs the people's messages. That's it.