プロジェクト

記憶

暗号化音声日記アプリ

ndpc

単類述語形式論理証明器

型理

教育用Lambda式型推論器

色分布

画像色彩分布可視化

鞭策

同僚の貢献を可視化し、彼らを鞭策する

boxproof-typst

typstで自然演繹証明を書く

成分

Check your programming language composition (line counter)

guard.nvim

軽量、高速、非同期のNeovim formatting and linting plugin

扳手

Minimal alternative to GNU make for your C project

筆記

Extremely minimalist note taking app with flutter

松鼠

Treesitter based navigation plugin