これまで

開発の道具を、言語からつくる。

Almideと、コードを書く人やエージェントのための道具を開発しています。

静的型付け言語 Almide を設計・開発しています。Rustによる言語本体の実装から、標準ライブラリ、エディタ支援、実行環境まで。言語を使える形にするところまで取り組んでいます。

つくった言語を、自分の開発にも使います。構文木を扱うgramide、コードを構造で読むhew、エージェントを隔離して動かすporta。実際に使う道具をつくりながら、言語とツールの両方を磨いています。

つくったもの

12 / 195

系統ごとに、いちばん手を入れているものを一つずつ。残りは一覧で見られます。

全部を一覧で見る (195)

代表作

almide

AIに何度書き換えられても、コードが通り続ける言語

できること

追う指標はひとつ、AIの編集を経ても通るコードの割合
エラーは、直し方をひとつに絞って示す
Rust経由のネイティブとWasm、出力はバイト単位で一致

ソースコードドキュメント

hew

コードを、モデルが読むべき形で読む。エージェント向けの cat/grep/sed

できること

関数や型を名前で指定すると、その部分だけを返す
行番号とサイズ付きで、頼んでいない行は読ませない
grep は重複をたたみ、どの関数の中かを添える

ソースコード

porta

許可した権限だけで、エージェントを動かす

できること

いま使っている CLI エージェントに、OS レベルの制限をかける
自作のエージェントは WASM ランタイムで隔離して動かす
設定は porta.toml ひとつ。Docker は要らない

ソースコード

codopsy

35言語のコードを、ひとつの物差しで採点する

できること

182 のルールと複雑度を、A〜F の評価にまとめる
コードは実行しない。コンパイラも言語サーバーも要らない単一バイナリ
差分だけを見て、品質が下がれば CI を落とす

ソースコード

golemide

読んで、直して、テストを回す。同じモデルで Aider より多く解くコーディングエージェント

できること

Aider の多言語ベンチ 225 問で 75.1%（$0.45）。同じモデル・同じ環境で Aider は 67.1%
試行を 8 回まで許すと、Rust と Python の 64 問を全問正解（$0.23）
書き込む前に構文を検査し、壊れた編集はファイルに残さない

ソースコード

comide

ターミナルで対話するコーディングエージェント。Claude Code、Codex、Aider の系譜

できること

何を見て何を変えるかを決め、編集とテストは golemide に任せる
道具はすでにあるプログラム：hew・gramide・golemide・ctxgate
Cloudflare・OpenAI 互換・Anthropic・Gemini・ローカル、どのモデルでも動く

ソースコード

何を書いてきたか

言語ごとのリポジトリ

Almide

TypeScript

JavaScript

Rust

Python

HTML

Lean

Shell

CSS

Lua

Racket

Zig

Ruby

MoonBit

Dart

Makefile

org ごとのコミット

almide32

O6lvl4123

almide-graphics13

almd-mc24

almide-ai3

開発で取り組んでいること

言語から道具まで

言語の実装から、その言語で使う道具までをつくっています。Almideを中心に、構文解析・コードの読み書き・エージェントの実行環境を開発しています。

コードを読む道具

Almideで、構文木をつくるgramideと、関数や型を指定してコードを読めるhewを開発しています。コーディングエージェントが必要なコードを取り出すための道具です。

AIを動かす土台

エージェントを許可した権限の内側で動かす porta、Almide で書いたエージェントの実行環境（homullus）と LLM の窓口（almai）など、AI を実際に動かすための部分もつくっています。

数値（コミット数・初回・言語）は手元の clone から測ったものです。コミットは著者日で数え、リポジトリ間で共有している履歴は一度だけ数えています（マージも1件として含みます）。