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

Almide向けのAES-128-CFB8暗号化ライブラリ

• Rust

正規表現の集合を単一DFAにまとめ最左最長一致を行うAlmide用ライブラリ

• Shell

Almide向けの純Almide製SVGドキュメント生成ライブラリ

• almide
• codegen
• svg

Almide向けの純Almide製YAMLパーサ兼シリアライザ。Codec連携対応

• almide
• parser
• yaml

Almide向けのSHA-1ハッシュライブラリ

• Rust

Almide向けのSQLite3データベースアクセスライブラリ

• Rust

Almide向けの純Almide製Base64エンコード・デコードライブラリ

• almide
• base64
• encoding

RFC 4180対応の、Almide向け純Almide製CSVパーサ兼シリアライザ

• almide
• csv
• parser

Almide向けのTOML v1.0パーサ兼シリアライザ、Codec連携付き

• almide
• parser
• toml

Almide向けの任意精度な符号なし整数演算ライブラリ

Almide向けのRSA PKCS1v15暗号化とDER鍵解析ライブラリ

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

• Python
• Almide
• ai-agent

Lead agentが複数のTeammateを並列実行するチーム開発管理ツール

• HTML
• CSS
• agent-sdk

Almide製の、コーディングエージェント向け構文木エンジン

• Python
• C

コーディングエージェント向けに構文木を提供するgramideコマンド

• Almide
• Shell

gramide-cli向けのPython 3.14対応。字句解析から編集中の回復までを担う

• Python
• C

gramide向けAlmide用の字句仕様・文法・記号規則を一つにまとめたパッケージ

• Python
• Shell

Go用のgramide文法一式を収めたAlmideパッケージ

• Python
• C

gramide-cli向けRust文法一式を収めたAlmideパッケージ

• Python
• Shell

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

• Shell
• Python

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

• Python
• Shell

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

• Python
• Shell

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

• Almide
• Lean
• cli

gramide用のJavaScript言語パッケージ。構文検査と宣言抽出を行う

• Python
• C

gramideのTypeScript言語パッケージ。文法を公式パーサと照合して検証する

• Python
• JavaScript

プロダクト名候補の空きと衝突を調べるClaude Codeスキル

• almide
• claude-code
• claude-skill

gramide向けにJSON構文を検証し、構造を読み取る

• Python
• Shell

.gitignoreを尊重してディレクトリ構造とファイル内容を表示するCLI

• Python
• Shell

gramide向けにCの構文サブセットを読み取る

• Python
• C

gramide向けにC#の構文サブセットを読み取る

• Python
• C#

gramide向けにCSSの構造的な構文サブセットを読み取る

• Python
• CSS

gramide向けにJavaの構文サブセットを読み取る

• Python
• Java

gramide向けにLua 5.4の主要構文を読み取る

• Python
• Lua

gramide向けにSQLite系SQLの主要構文を読み取る

• Python
• SQL

gramide向けにTOML 1.0の主要構文を読み取る

• Python
• Shell

symlinkの重ね合わせで共有設定を保ったままClaude Codeの設定を切り替えるツール

Claude Code向けのコンテキストファイアウォール。ツール出力を保管し圧縮表示する

• Rust
• Python

コーディングエージェントのベンチ値を条件付きで保存し測定も行う基盤

• Almide
• Shell

任意のAPIを4つの汎用ツールでMCPに公開するフレームワーク

• JavaScript

gramideの構文解析からAlideの複雑度を測るCLI

• Shell

TypeScript/JavaScript向けのAST品質解析CLI。A〜F採点と複雑度計測を行う

• HTML
• ast
• baseline

コード品質の採点・分析・自動修正を行うClaude Code用プラグイン

• claude-code
• claude-code-plugin
• claude-code-skill
• code-quality

URL配下を再帰的に巡回し、MCPで提供するRust製クローラー

• JavaScript

Claude Codeで説明からプロジェクトを自動構築するCLI

Almide経由でBonsai 1bit LLMをWASM化するブラウザチャットデモ

• JavaScript
• HTML

Almide用のマルチプロバイダLLMクライアント。単一の窓口で各社に対応

• ai
• almide
• anthropic

Almide製の、モジュール式AIエージェントCLIランタイム

複数のLLMを端末から統一的に使えるCLIツール

macOSの実デスクトップをClaudeに操作させるAlmide製エージェント

AlmideでMinecraftプロトコルを実装したライブラリ

Almide製Minecraftボット用のCLI

Almideで書かれたMinecraftボットのフレームワーク

Almide向けのMinecraft認証モジュール

Almide向けのMinecraftチャットモジュール

Almide向けのMinecraftチャンク用モジュール

Almide向けのMinecraftエンティティモジュール

Almide向けのMinecraftアイテムモジュール

Almide向けのMinecraft NBTモジュール

mineflayer-pathfinderのAlmide実装で、Minecraftボット向けA*経路探索

Almide向けのMinecraftレジストリモジュール

Almide向けのMinecraftワールドモジュール

Almide向けMinecraft neoforgeモジュール

almaiを用いたMinecraftボット向けAI統合レイヤー(Phase 5 Intelligence)

Minecraft bot向けブロック収集自動化。mineflayer-collectblockのAlmide実装

Minecraftボット向けのインベントリウィンドウ管理。prismarine-windowsのAlmide実装

Almide向けのMinecraft物理シミュレーション(prismarine-physics相当)

prismarine-proxyをAlmideで実装したMinecraftプロキシの基盤

mineflayer-pvpをAlmideで実装した、Minecraftボット向けPvP戦闘ユーティリティ

node-minecraft-protocolのサーバーモードをAlmideで実装したMinecraftサーバー基盤

flying-squidをAlmideで実装した軽量Minecraftサーバー

Almide向けのMinecraftブロックモジュール

Almide向けのMinecraftデータ定義集

Almide向けのMinecraftクラフトレシピライブラリ(prismarine-recipe相当)

Docker上のMinecraftサーバーをPak単位で管理する堅牢なCLI

• JavaScript

同じAlmideプログラムをWebと各OSで動かすUI基盤

• Rust
• JavaScript

3Dアバターファイルを検査・編集・カスタマイズするツールキット

• Almide
• Python

WhisperとQwenを動かすAlmide向け推論ライブラリ

• Python
• Rust
• almide

Almide向けのCanvas 2D・WebGL・3Dメッシュ描画をWASMで行うグラフィックスランタイム

• Rust
• Almide
• 3d

Almide向けの純粋なグラフィックス数学プリミティブ集

• almide
• graphics
• math

WebGPUを軸にしたAlmide向け2D・3D描画基盤

• JavaScript
• Rust

Almide向けのGPUネイティブUIフレームワーク

• JavaScript
• HTML

Almideで書いたHyprland向けデスクトップシェル

• Shell
• Python

anime.js風のtween・easing・timeline・staggerを備えたAlmide用アニメーションエンジン

• HTML

Almide向けのVRM/glTFキャラクター層。解析・形状・モーフ・表情を扱う

• JavaScript

Almide製の、リバースモードautogradとテンソルを備えた微分可能プログラミング基盤

• Python

単一Almideソースから6環境向けに作るceangalカウンター

ceangal向けネイティブwgpuバックエンドの概念実証

静的リンク済みPHPバイナリを各プラットフォーム向けに配布するプロジェクト

qusp.tomlで23言語のツールチェーンを並列導入するRust製マネージャ

• Shell
• Python
• asdf

uv級の速度でGoの版とツールを管理するRust製シングルバイナリ

• Shell
• cli
• developer-tools

gv・rvなど*v系ツールチェーン管理の共通基盤Rustクレート

• developer-tools
• library
• rust

@O6lvl4のHomebrewフォーミュラを配布するtap

• Ruby
• developer-tools
• golang

Obsidianと Git LFSによる知識ベースとグラフビューア

• TypeScript
• CSS

Markdownのvault向けにSM-2間隔反復を行う、Almide製の知識定着CLI

AI搭載の間隔反復フラッシュカードを作るmacOSネイティブアプリ

• Go
• CSS
• anthropic

Markdownボールトを静的な知識ベースに変えるAstro統合

• TypeScript

CYBER CY-P5GMWHS用のAlmide製カスケードbiquadパラメトリックEQ

• Almide

半導体・政策・地政学を並べ因果を読む番組表型タイムライン

• JavaScript
• CSS

エージェント向けベンチマークの公開リーダーボードを、モデル別に一枚の表へまとめたもの

• HTML
• Python

北斎の風景版画64図で組んだ、日本の作家向けポートフォリオサイトの見本

• CSS
• HTML
• github-pages

Almideで見るWebAssemblyの現在地を語る登壇スライド

現在地の環境リスクと気象警報を一画面で見る静的ダッシュボード

• HTML
• CSS

体重・年齢・性別と直近摂取量から飲める量と待ち時間を示す完全ローカルの水分摂取コーチ

• HTML
• CSS

口笛の音程をリアルタイムで検出しコードを表示するツールとリズムゲーム

• Rust

旅程の制約と分岐案から最安のフライト×ホテルを探索するCLI

YAML定義からGoogleフォームを宣言的に管理するIaCツール

CVE発行前にSNS等の兆候から供給網攻撃を検知する早期警戒システム

• SQL
• JavaScript

Mermaid図を整ったSVG/PNGへ描画するCLI

gitignore対象のファイルを探し出しマシン間で移行できるGo製CLI

CSV・TSV・任意のDSVを変換・結合するCLIとPythonモジュール

• cli
• csv
• delimiter

複数のPDFやディレクトリを1つのファイルに結合するCLIツール

• cli
• functional-programming
• pdf

Objective-C製のmacOS向け軽量クリップボード履歴管理メニューバーアプリ

• clipboard
• cocoa
• macos

O6lvl4-protocolの14プロトコル準拠を定量検査するalmide製CLI

URLをデザイナー視点のモジュール構造に変換するUI構造解析ツール

• HTML
• JavaScript

サプライチェーン攻撃の早期警戒ツールTocsinのAlmide実装

connpass API v2 のイベントを Discord に流す Go 1.27 製 Bot

• Go
• CSS

HTMLとCSS Paged MediaをPDFに変換するRust製エンジン

• HTML
• Shell

手持ちのMacを検出し、同等以上の現行機種と下取り後の実質費用を見積もるCLI

• Shell
• Python
• apple-silicon

MoonBit製のメール送信ドメイン向けDNSレコードチェッカー

• cli
• dns
• moonbit

rclone上でgit風の語彙を使えるようにする薄いCLI

YAMLやJSONの設定から画像のラベル付きグリッドカタログを作るツール

領収書など経理書類の命名と抜けを整えるGo製CLI

• HTML

知的労働を最大化する、睡眠・食事・運動・認知の運用プロトコル集

メールアドレスから指定のChromeプロファイルでURLを開くCLI

インターネット不調を層別に切り分けるmacOS用診断ツール

YouTube URLから字幕優先・Whisper代替で文字起こしするCLI

• cli
• python
• subtitles

Gitタグ単位で環境設定ファイルをクラウドと同期するCLIツール

• Shell

複数のAzureアカウントを簡単に切り替えるAzure CLIプロファイル管理ツール

ディレクトリ構造とファイル内容をPDFに記録するCLIツール

Zodスキーマ��Markdownドキュメントへ変換するユーティリティ関数

• TypeScript

Lean 4の仕様をTypeScriptの型・スタブ・fast-checkテストへ変換するツール

• Lean
• code-generation
• fast-check

Zigのネイティブ型上で動くゼロコストの関数型ツールキット

• functional-programming
• maybe
• option

OpenTelemetry上でRubyの並行処理境界をまたいでトレースをつなぐ可観測性ライブラリ

• concurrency
• distributed-tracing
• observability

つくる前に構成を読む。Terraform に想定の負荷を流し、費用・余力・遅延・可用性を見積もる

• TypeScript
• CSS

Lean 4 で書かれた Hello World CLI アプリ

定理証明からプログラミングまで学べるLean 4のチュートリアル集

• functional-programming
• japanese
• lean

Lean 4 製の FizzBuzz CLI。fizzbuzz-lean4-lib を利用する

Lean 4をRustへ変換するIRベースのコード生成バックエンド

• Lean

Lean 4コード生成のベストプラクティスを提供するClaude Codeプラグイン

Lean 4 で書かれた FizzBuzz ライブラリ

長いCLI作業向けの軽量なmacOS・Linux端末

• Rust
• Python

RubyKaigi 2027宮崎の公開情報をまとめる非公式ガイド

• CSS
• Ruby

コードエージェントの道具をカーネルで隔離する実行環境

• Almide
• Shell

企業のサイバー被害とライブラリの脆弱性を一次資料でたどるタイムライン

• TypeScript
• CSS

AWS SAMで作るGo製Lambda関数のサンプルテンプレート

純Almideで書かれた自作OpenTelemetryトレーシングSDKと分散トレースデモ

役割で境界を切り、札と証拠を正とするモジュール設計術

• Go
• Python

Go 1.27の新機能を自作言語almide 0.41と並べて比べる勉強会用ノート

• Go
• Shell

Go 1.26と1.27の書き方を並べて比べる、実行可能なbefore/after集

• Shell

AudioWorklet上でAlmide製WASMの加算合成を鳴らす最小デモ

• HTML
• Almide

CC:Tweaked向けFennelプロジェクトのテンプレート

Flutterで作られた在庫カウンターアプリの初期テンプレート

• C++
• C

Next.jsをGitHub Pagesへデプロイする手順をまとめた検証用リポジトリ

• TypeScript
• JavaScript

AWS SAMで作るLINE Bot用Go製Lambda関数のサンプルテンプレート

GCP上でTerraformを使い環境を構築する手順書

Cobraで作るGo製CLIアプリケーションの雛形プロジェクト

Next.js製LINE認証をFirebaseへ載せるCDKTF管理の参照実装

• Shell
• CSS

create-next-appで作成したNext.jsプロジェクト

• JavaScript
• CSS

React と Tailwind CSS でレスポンシブデザインを示すデモ

• JavaScript
• Shell

TypeScriptとts-nodeでNode.jsアプリを開発する方法を示すデモ

• Shell

Create React Appで作られたReactアプリ。tz-clocksの固有機能はREADMEに記載なし

• CSS

エンダータートル用の自動埋め立て・整地システム

READMEなし。Go製のリポジトリで、競技プログラミングの解答用サンドボックスと名前から読める

READMEなし。Go製のlo系ライブラリ検証用サンドボックス

Go製Webフロントエンドライブラリvectyの試用サンドボックス

• Go

mastra-sandboxというリポジトリ。READMEはなく詳細は不明

• JavaScript

Rust製CLIの試作用サンドボックス

READMEなし。Goで書かれたEbitengineのサンドボックス

README がなく、内容の説明が確認できない TypeScript 製リポジトリ

React Native向けTypeScriptボイラープレート

• JavaScript
• C

Discord botのサンドボックスリポジトリ

langchaingoを試すためのサンドボックスリポジトリ

Tyrano系ノベルゲームを試すためのサンドボックス。READMEなし

• JavaScript
• CSS