プロジェクト
記憶
暗号化音声日記アプリ
ndpc
単類述語形式論理証明器
Aristotle
ndpc用のIDE風GUIフロントエンド
型理
教育用Lambda式型推論器
STLC_Lean
Lean 4で簡単類型 λ 演算の主型推論を形式検証し
色分布
画像色彩分布可視化
鞭策
同僚の貢献を可視化し、彼らを鞭策する
git-mirror
複数のGit remoteに有る倉庫を簡単に設定や管理
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
AIプロジェクト
dsh-desktop-pet
DeepSeek Harness desktop pet
dsh-vision
DeepSeek Harness: vision
dsh-weixin
DeepSeek Harness: 微信
dsh-tui
DeepSeek Harness: TUI
daboyi
EU5用架空歴史map editor
kaiyuanqimin
開源斉民
SHI
ウコン
dired.nvim
個人用Neovim file manager