言語をつくる

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

• Almide
• Shell
• code-generation

Almide言語の規範的意味論と適合性コーパスを保持し、任意のalmideバイナリを判定する仕様リポジトリ

• Rust
• Python
• almide

LLVM IRの一層上でオプティマイザ向け契約を書く静的意味論言語

• C
• Lean

Almide言語のドキュメントサイト。ブラウザで実行できるサンプルを備える

• TypeScript
• CSS
• almide

Almide向けの汎用FFIバインディング生成ライブラリ

• Shell
• almide
• bindgen

LLM生成コードの修正生存率を毎日測るAlmide用の計測基盤

• HTML
• Shell
• almide

Almide構文の定義を一元管理する、キーワード・演算子・優先順位のモジュール

• almide
• grammar
• syntax-highlighting

Almide言語の.almdファイル向けVS Code拡張

• almide
• programming-language
• syntax-highlighting

Almide言語用のTree-sitter文法

• JavaScript
• Rust
• almide

Almide向けLLMストリーミングクライアント

Almide向けニューラルネットワーク演算ライブラリ

• Shell

ブラウザ上でAlmideコードを書いて実行できるオンラインplayground

• Almide
• HTML
• almide

複数の論理を扱い、証明の前提を追うAlmide製の証明言語

• Shell
• Python

AlmideモジュールをネイティブFFIや各言語向けパッケージに出力するエクスポーター

• almide
• code-generation
• ffi

AlmideからWASMとJS/TSバインディングを生成するライブラリ

• JavaScript
• HTML

プログラミング言語Almideの紹介サイト

• CSS
• JavaScript

同じAlmideのJSON APIを複数クラウドで動かす例

• Almide
• Shell

AIエージェントにAlmideを正しく書かせる、AGENTS.mdとClaude Codeスキルの参照パッケージ

Almide言語のサンプルとmini-gitベンチマーク実装集

• Almide

Almide WASMアプリ向けのブラウザAPIバインディング

• Almide
• Shell

Almide製のtree-sitter互換パーサジェネレータ。grammar.jsonから構文木を生成する

• Shell

AlmideのJS/TS向けWASM SDKの進捗記録とベンチマーク集

• Shell
• Almide