こばのページ/作成したツール

このページでは、作成したツールやライブラリー (他のプログラムで使えるコード) をまとめています。

Web 上で動作するツール

AtCoder (algo) のレーティングを予測し、次にどのくらいのパフォーマンスが必要か計算します。

https://github.com/koba-e964/link-checker ハイパーリンクが生きているかどうかのチェックをするツールです。CI で使うことを想定しています。

https://github.com/koba-e964/go-shogi-scraper 将棋関連の情報 (棋士など) を取得できるツールです。

https://github.com/koba-e964/clavem openssl や ssh などで扱える鍵の情報を閲覧するツールです。

群論bot (@GruppenTheoBOT) を 2023 年 4 月まで運営していました。群論に関する事実をまとめています。

所属していた学科の実験で実装した、MinCaml のコンパイラーです。

BIP 32 で定義されている鍵導出を安全に実装した Go のライブラリーです。

将棋に関するプログラミングに必要な機能を実装した Rust のライブラリーです。