言語・DSL一覧
プログラミング言語、DSL、設定記法、業務用言語、歴史的言語をカテゴリ別に整理した索引です。個別ページでは公式情報の有無と用途と読みどころを追えるようにしています。
989収録項目13カテゴリ974追加ページ
カテゴリから探す
Section titled “カテゴリから探す”
DevOps・設定・ビルド28件
システム・低レイヤー107件
汎用プログラミング言語44件
ゲーム・クリエイティブ58件
データベース・クエリ・分析144件
Web・UI・テンプレート47件
教育・歴史・難解言語89件
業務・メインフレーム・製品内言語21件
形式手法・証明・論理32件
関数型・Lisp・配列99件
ハードウェア・EDA・制御23件
科学技術計算・数式処理12件
専門DSL・その他285件
///難解
05AB1Eコードゴルフ
3APLエージェント
A-0 System歴史
A-1 / A-2歴史
ABAPSAP開発
Abaqus input fileCAE
ABC notation楽譜
ABNF文法記述
AccelerateHaskell DSL
ACL2定理証明 / Lisp
ACSゲーム
ActionScriptFlash系既存資産
Actuallyコードゴルフ
Ada航空宇宙・防衛・安全重要系
Add++コードゴルフ
Adobe Target profile scriptsマーケ
Adrift languageIF
Agda依存型・定理証明
AgentCubes教育
AgentSheets教育 / シミュレーション
AgentSpeakエージェント
AGS Scriptゲーム
Aheui韓国語 / 難解
AIMMS数理最適化
Airtable formula languageノーコードDB
Airtable scripting JS subset業務自動化
Alda音楽記述
AldatDatalog系
Alefシステム
Alex lexer字句解析
Algol歴史的重要言語
ALGOL 58歴史
ALGOL 68歴史
ALGOL W歴史
Alice教育・3D入門
| 名称 | カテゴリ | 分類 | 状態 |
|---|---|---|---|
| /// | 教育・歴史・難解言語 | 難解 | 参照リンクあり |
| 05AB1E | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| 3APL | 専門DSL・その他 | エージェント | 参考情報少なめ |
| A-0 System | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| A-1 / A-2 | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| ABAP | 業務・メインフレーム・製品内言語 | SAP開発 | 参考情報少なめ |
| Abaqus input file | データベース・クエリ・分析 | CAE | 参考情報少なめ |
| ABC notation | ゲーム・クリエイティブ | 楽譜 | 参照リンクあり |
| ABNF | 専門DSL・その他 | 文法記述 | 参考情報少なめ |
| Accelerate | 関数型・Lisp・配列 | Haskell DSL | 参考情報少なめ |
| ACL2 | 関数型・Lisp・配列 | 定理証明 / Lisp | 参考情報少なめ |
| ACS | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| ActionScript | ゲーム・クリエイティブ | Flash系既存資産 | 参考情報少なめ |
| Actually | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Ada | システム・低レイヤー | 航空宇宙・防衛・安全重要系 | 参考情報少なめ |
| Add++ | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Adobe Target profile scripts | 専門DSL・その他 | マーケ | 参考情報少なめ |
| Adrift language | ゲーム・クリエイティブ | IF | 参考情報少なめ |
| Agda | 形式手法・証明・論理 | 依存型・定理証明 | 参考情報少なめ |
| AgentCubes | 教育・歴史・難解言語 | 教育 | 参考情報少なめ |
| AgentSheets | 教育・歴史・難解言語 | 教育 / シミュレーション | 参考情報少なめ |
| AgentSpeak | 専門DSL・その他 | エージェント | 参考情報少なめ |
| AGS Script | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| Aheui | 教育・歴史・難解言語 | 韓国語 / 難解 | 参考情報少なめ |
| AIMMS | 専門DSL・その他 | 数理最適化 | 参考情報少なめ |
| Airtable formula language | データベース・クエリ・分析 | ノーコードDB | 参考情報少なめ |
| Airtable scripting JS subset | Web・UI・テンプレート | 業務自動化 | 参考情報少なめ |
| Alda | ゲーム・クリエイティブ | 音楽記述 | 参考情報少なめ |
| Aldat | 形式手法・証明・論理 | Datalog系 | 参考情報少なめ |
| Alef | 汎用プログラミング言語 | システム | 参考情報少なめ |
| Alex lexer | 関数型・Lisp・配列 | 字句解析 | 参考情報少なめ |
| Algol | システム・低レイヤー | 歴史的重要言語 | 参考情報少なめ |
| ALGOL 58 | システム・低レイヤー | 歴史 | 参考情報少なめ |
| ALGOL 68 | システム・低レイヤー | 歴史 | 参考情報少なめ |
| ALGOL W | システム・低レイヤー | 歴史 | 参考情報少なめ |
| Alice | ゲーム・クリエイティブ | 教育・3D入門 | 参考情報少なめ |
| Alice ML | 関数型・Lisp・配列 | 関数型 | 参考情報少なめ |
| Alloy | 専門DSL・その他 | 形式仕様・モデル検査 | 参考情報少なめ |
| Alloy Analyzer language | データベース・クエリ・分析 | モデル検査 | 参考情報少なめ |
| Alpha | データベース・クエリ・分析 | DB理論 | 参考情報少なめ |
| Alphard | 教育・歴史・難解言語 | 抽象データ型 | 参考情報少なめ |
| Alpine.js expression syntax | 関数型・Lisp・配列 | Web DSL | 参考情報少なめ |
| AmbientTalk | 専門DSL・その他 | 分散 / モバイル | 参考情報少なめ |
| AMPL | 専門DSL・その他 | 数理最適化 | 参考情報少なめ |
| AMX Mod X Pawn | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| AngelScript | ゲーム・クリエイティブ | ゲーム組み込みスクリプト | 参考情報少なめ |
| ANSYS APDL | システム・低レイヤー | CAE | 参考情報少なめ |
| Ante | 関数型・Lisp・配列 | システム / 関数型 | 参考情報少なめ |
| ANTLR grammar | データベース・クエリ・分析 | パーサ生成 | 参考情報少なめ |
| AnyLogic言語 | 形式手法・証明・論理 | シミュレーション | 参考情報少なめ |
| Apache config | Web・UI・テンプレート | Webサーバー | 参考情報少なめ |
| Apex | 業務・メインフレーム・製品内言語 | Salesforce開発 | 参考情報少なめ |
| APL | 専門DSL・その他 | 配列指向・数理処理 | 参考情報少なめ |
| APL2 | 関数型・Lisp・配列 | 配列言語（IBM製品・歴史的） | IBM製品提供終了・公式保存資料あり |
| AppleScript | 専門DSL・その他 | macOS自動化 | 参考情報少なめ |
| AppSheet expressions | 専門DSL・その他 | ノーコード | 参考情報少なめ |
| April | 関数型・Lisp・配列 | 配列言語 | 参考情報少なめ |
| APT | 教育・歴史・難解言語 | CAD/CAM | 参考情報少なめ |
| AQL | システム・低レイヤー | クエリ | 参考情報少なめ |
| Arend | 専門DSL・その他 | 定理証明 | 参考情報少なめ |
| Argus | 専門DSL・その他 | 分散 | 参考情報少なめ |
| ARITH-MATIC | システム・低レイヤー | 歴史 | 参考情報少なめ |
| ArnoldC | システム・低レイヤー | ネタ | 参考情報少なめ |
| Artemis Engine script | ゲーム・クリエイティブ | ノベルゲーム向けArtemis Engineのスクリプト記法 | 公式サイトあり・エンジン固有記法 |
| AsciiDoc | システム・低レイヤー | 文書 | 参考情報少なめ |
| ASF+SDF | 専門DSL・その他 | 言語定義 | 参考情報少なめ |
| ASL | システム・低レイヤー | 代数仕様 | 歴史的・原著論文あり |
| ASL for Quest | データベース・クエリ・分析 | IF | 参考情報少なめ |
| ASN.1 | データベース・クエリ・分析 | データ記述 | 参考情報少なめ |
| Assembly x86/ARM | データベース・クエリ・分析 | OS、ブート、最適化、逆解析 | 公式リンクあり |
| Astro component syntax | Web・UI・テンプレート | UI DSL | 参考情報少なめ |
| Asymptote | 専門DSL・その他 | 図版 | 参考情報少なめ |
| AsyncAPI | 専門DSL・その他 | API記述 | 参考情報少なめ |
| AT-3 | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| Atlas Autocode | データベース・クエリ・分析 | 歴史 | 参考情報少なめ |
| ATS | 専門DSL・その他 | 型で安全性を証明するC代替系 | 参考情報少なめ |
| Austral | 汎用プログラミング言語 | システム / 安全性 | 参考情報少なめ |
| Autocode | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| AutoHotkey | 専門DSL・その他 | Windows自動化 | 参考情報少なめ |
| AutoLISP | 関数型・Lisp・配列 | AutoCAD拡張 | 参考情報少なめ |
| Avro IDL | DevOps・設定・ビルド | データスキーマ | 参考情報少なめ |
| AWK | 専門DSL・その他 | テキスト処理・Unix運用 | 参考情報少なめ |
| Axiom | 汎用プログラミング言語 | 数式処理 | 参考情報少なめ |
| B | 専門DSL・その他 | 形式手法 | 参考情報少なめ |
| BACAIC | システム・低レイヤー | 歴史 | 参考情報少なめ |
| Ballerina | 専門DSL・その他 | クラウド連携・API統合 | 参考情報少なめ |
| Bash | 専門DSL・その他 | Unix/Linuxシェル・運用自動化 | 参考情報少なめ |
| Bazel Starlark | DevOps・設定・ビルド | ビルド設定・拡張 | 参考情報少なめ |
| BBCode | 専門DSL・その他 | マークアップ | 参考情報少なめ |
| Beatnik | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Befreak | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Befunge with fingerprints | 専門DSL・その他 | Funge系 | 参考情報少なめ |
| Befunge-98 | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Beluga | データベース・クエリ・分析 | 形式化 | 参考情報少なめ |
| Bend | 専門DSL・その他 | 並列 / 関数型 | 参考情報少なめ |
| Beta | 専門DSL・その他 | OOP | 参考情報少なめ |
| BIND zone file | 専門DSL・その他 | DNS | 参考情報少なめ |
| BioCompute Object | データベース・クエリ・分析 | バイオ情報 | 参考情報少なめ |
| BitBitJump | 専門DSL・その他 | 極小言語 | 参考情報少なめ |
| Bitwise Cyclic Tag | システム・低レイヤー | 計算モデル | 参考情報少なめ |
| Bliss | 汎用プログラミング言語 | システム | 参考情報少なめ |
| Blockly | 教育・歴史・難解言語 | 教育・ブロック型言語基盤 | 参考情報少なめ |
| Bloom | 汎用プログラミング言語 | 分散 | 参考情報少なめ |
| BloomL | 関数型・Lisp・配列 | 分散 | 参考情報少なめ |
| Bluespec | システム・低レイヤー | 高水準ハードウェア記述 | 参考情報少なめ |
| BNF | データベース・クエリ・分析 | 文法記述 | 参考情報少なめ |
| Boo | 専門DSL・その他 | .NET / Unity旧資産 | 参考情報少なめ |
| Bosque | 専門DSL・その他 | 研究 / Microsoft系 | 参考情報少なめ |
| Boxer | データベース・クエリ・分析 | 教育 | 参考情報少なめ |
| BPEL | Web・UI・テンプレート | 業務プロセス | 参考情報少なめ |
| bpftrace | 専門DSL・その他 | 観測DSL | 参考情報少なめ |
| BPMN | 業務・メインフレーム・製品内言語 | 業務プロセス | 参考情報少なめ |
| Brain-Flak | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Brainfuck derivatives | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Braze Liquid syntax | 専門DSL・その他 | マーケ | 参考情報少なめ |
| Bro script | 専門DSL・その他 | ネットワーク監視 | 参考情報少なめ |
| Brook | 教育・歴史・難解言語 | GPU / ストリーム | 参考情報少なめ |
| Brooker-Morris Autocode | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| BUGS / JAGS | 専門DSL・その他 | ベイズ統計モデリング | 参考情報少なめ |
| ByteByteJump | システム・低レイヤー | OISC | 参考情報少なめ |
| C | システム・低レイヤー | OS、組込み、ランタイム | 公式リンクあり |
| C# | Web・UI・テンプレート | 業務、Web、Windows、ゲーム | 公式リンクあり |
| C++ | システム・低レイヤー | ゲーム、HPC、低レイヤ、高性能業務 | 公式リンクあり |
| C3 | システム・低レイヤー | システムプログラミング言語（C互換志向） | 開発継続中・公式情報あり |
| Caché ObjectScript | システム・低レイヤー | DB / 業務 | 参考情報少なめ |
| Cadence SKILL | 関数型・Lisp・配列 | EDA | 参考情報少なめ |
| Cadence SKILL++ | ハードウェア・EDA・制御 | EDA | 参考情報少なめ |
| CafeOBJ | 専門DSL・その他 | 代数仕様 | 参考情報少なめ |
| Cairo | 専門DSL・その他 | Starknet向けスマートコントラクト | 参考情報少なめ |
| Calculus of Constructions | 形式手法・証明・論理 | 型理論 | 参考情報少なめ |
| CANDE command language | 専門DSL・その他 | Burroughs | 参考情報少なめ |
| Carbon | システム・低レイヤー | C++後継候補・実験段階 | 参考情報少なめ |
| Carp | 関数型・Lisp・配列 | システム / Lisp系 | 参考情報少なめ |
| Casbin model language | ハードウェア・EDA・制御 | 認可 | 参考情報少なめ |
| CASL | システム・低レイヤー | 代数仕様 | 参考情報少なめ |
| Cassandra CQL | データベース・クエリ・分析 | DBクエリ | 参考情報少なめ |
| CatSystem2 script | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| Cayenne | 関数型・Lisp・配列 | 依存型 | 参考情報少なめ |
| CCS notation | 汎用プログラミング言語 | 形式モデル | 参考情報少なめ |
| Cecil | 汎用プログラミング言語 | OOP / 研究 | 参考情報少なめ |
| Cedar | データベース・クエリ・分析 | システム | 参考情報少なめ |
| Cedar policy language | データベース・クエリ・分析 | 認可 | 参考情報少なめ |
| Cedille | 専門DSL・その他 | 型理論 | 参考情報少なめ |
| Céu | 専門DSL・その他 | 組み込みリアクティブ | 参考情報少なめ |
| Ceylon | 専門DSL・その他 | JVM | 参考情報少なめ |
| Cg | ゲーム・クリエイティブ | シェーダ | 参考情報少なめ |
| CGIF | 専門DSL・その他 | 知識表現 | 参考情報少なめ |
| Changjo | ゲーム・クリエイティブ | 韓国語 | 参考情報少なめ |
| Chapel | システム・低レイヤー | 並列計算・HPC | 参考情報少なめ |
| Charity | データベース・クエリ・分析 | 圏論 / 関数型 | 参考情報少なめ |
| Checkov policies | 関数型・Lisp・配列 | IaC検査 | 参考情報少なめ |
| Chef | 教育・歴史・難解言語 | 難解 / ネタ | 参考情報少なめ |
| Chisel | ハードウェア・EDA・制御 | ScalaベースHDL | 参考情報少なめ |
| ChoiceScript | 専門DSL・その他 | 物語 | 参考情報少なめ |
| Cilk | システム・低レイヤー | 並列C | 参考情報少なめ |
| CircuitPython | 教育・歴史・難解言語 | 組み込みPython | 参考情報少なめ |
| Circus | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| Citrine | 専門DSL・その他 | 多言語 | 参考情報少なめ |
| Citrine Afrikaans/Dutch variants | 専門DSL・その他 | 多言語 | 参考情報少なめ |
| CJam | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Clarity | 専門DSL・その他 | Stacks向けスマートコントラクト | 参考情報少なめ |
| Clean | 形式手法・証明・論理 | 関数型 | 参考情報少なめ |
| Clipper | データベース・クエリ・分析 | DB / 業務 | 歴史的製品・保存資料あり |
| CLIPS | 汎用プログラミング言語 | ルールベース | 参考情報少なめ |
| Clojure | 関数型・Lisp・配列 | JVM上のLisp・データ指向・REPL開発 | 参考情報少なめ |
| CloudFormation Guard | 専門DSL・その他 | IaC検査 | 参考情報少なめ |
| CLU | 教育・歴史・難解言語 | 抽象データ型を中心に設計された歴史的プログラミング言語 | 歴史的言語・MIT一次資料あり |
| CMake | DevOps・設定・ビルド | ビルド記述言語 | 参考情報少なめ |
| Cmix / RTcmix | 専門DSL・その他 | 音響 | 参考情報少なめ |
| CMS Pipelines | 業務・メインフレーム・製品内言語 | メインフレーム | 参考情報少なめ |
| CMS-2 | 専門DSL・その他 | 海軍 / 組み込み | 参考情報少なめ |
| COBOL | 専門DSL・その他 | 金融・基幹系レガシー | 参考情報少なめ |
| Coco/R grammar | データベース・クエリ・分析 | パーサ生成 | 参考情報少なめ |
| CoCoA | 専門DSL・その他 | 数学 | 参考情報少なめ |
| Coda Formula Language | データベース・クエリ・分析 | ノーコードDB | 参考情報少なめ |
| CodeQL | データベース・クエリ・分析 | 静的解析 | 参考情報少なめ |
| CoffeeScript | 教育・歴史・難解言語 | JS生成・歴史的存在 | 参考情報少なめ |
| COLLADA XML | 関数型・Lisp・配列 | 3D交換 | 参考情報少なめ |
| COMIT | 専門DSL・その他 | 文字列処理 | 参考情報少なめ |
| Common Lisp | 関数型・Lisp・配列 | Lisp系・長寿命システム・AI史 | 参考情報少なめ |
| Common Logic | 形式手法・証明・論理 | ISO/IEC 24707で規定される論理言語群の枠組み | ISO/IEC 24707:2018・公式規格情報あり |
| Common Music | 関数型・Lisp・配列 | 音楽 | 参考情報少なめ |
| CommonMark | 専門DSL・その他 | マークアップ仕様 | 参考情報少なめ |
| COMTRAN | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| Concurrent ML | 関数型・Lisp・配列 | 並行関数型 | 参考情報少なめ |
| Cone | 汎用プログラミング言語 | システム | 参考情報少なめ |
| COOL | 専門DSL・その他 | CLIPS OOP | 参考情報少なめ |
| Coq | 形式手法・証明・論理 | 定理証明 | 参考情報少なめ |
| Coral 66 | 専門DSL・その他 | 組み込み / 防衛 | 参考情報少なめ |
| Cow | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| CPF | ハードウェア・EDA・制御 | 半導体の低消費電力設計向け電源意図記述形式 | Si2アーカイブ標準・Low Power Coalitionは2014年アーカイブ |
| Creole | 専門DSL・その他 | Wiki記法 | 参考情報少なめ |
| Cron expression | 専門DSL・その他 | スケジュール | 参考情報少なめ |
| Crystal | Web・UI・テンプレート | Web、CLI、高速 API | 公式リンクあり |
| CSPM | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| CSS | 専門DSL・その他 | スタイルシート言語 | 参考情報少なめ |
| CSS Selector | データベース・クエリ・分析 | セレクタ | 参考情報少なめ |
| Cubical Agda | 形式手法・証明・論理 | 定理証明 | 参考情報少なめ |
| CUDA C/C++ | システム・低レイヤー | NVIDIA GPU計算 | 参考情報少なめ |
| CUE | DevOps・設定・ビルド | 設定 / スキーマ | 参考情報少なめ |
| Cwerg | 専門DSL・その他 | コンパイラ実験 | 参考情報少なめ |
| CWL | 専門DSL・その他 | 科学ワークフロー | 参考情報少なめ |
| CycL | 専門DSL・その他 | 知識表現 | 参考情報少なめ |
| Cyclic Tag System | システム・低レイヤー | 計算モデル | 参考情報少なめ |
| Cython | 専門DSL・その他 | Python拡張 | 参考情報少なめ |
| D | システム・低レイヤー | C++代替志向・ネイティブ汎用 | 参考情報少なめ |
| D4 | データベース・クエリ・分析 | DB言語 | 参考情報少なめ |
| Dafny | データベース・クエリ・分析 | 仕様記述・検証付きプログラム | 参考情報少なめ |
| Dagster asset DSL | データベース・クエリ・分析 | DataOps | 参考情報少なめ |
| DAML+OIL | 関数型・Lisp・配列 | オントロジー | 参考情報少なめ |
| Darklang | 専門DSL・その他 | クラウド / サービス | 参考情報少なめ |
| Dart | Web・UI・テンプレート | Flutter、クライアント | 公式リンクあり |
| Data Parallel Haskell | 関数型・Lisp・配列 | 並列関数型 | 参考情報少なめ |
| Datadog monitor query language | データベース・クエリ・分析 | 監視 | 参考情報少なめ |
| Datalog | 形式手法・証明・論理 | ルール・問い合わせ・静的解析 | 参考情報少なめ |
| DataLog variants | 形式手法・証明・論理 | 論理DB | 参考情報少なめ |
| Datomic Datalog | 形式手法・証明・論理 | DBクエリ | 参考情報少なめ |
| DAX | データベース・クエリ・分析 | 分析 | 参考情報少なめ |
| dBase | 業務・メインフレーム・製品内言語 | DB / 業務 | 参考情報少なめ |
| dbt Jinja SQL | データベース・クエリ・分析 | DataOps | 参考情報少なめ |
| DCL | 専門DSL・その他 | VMS | 参考情報少なめ |
| DECORATE | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| Dedalus | 形式手法・証明・論理 | 分散 / Datalog系 | 参考情報少なめ |
| Dedukti | 専門DSL・その他 | 証明 / 型理論 | 参考情報少なめ |
| Delphi | 業務・メインフレーム・製品内言語 | Windows業務アプリ既存資産 | 参考情報少なめ |
| Dhall | DevOps・設定・ビルド | 型付き設定言語 | 参考情報少なめ |
| Djot | 専門DSL・その他 | マークアップ | 参考情報少なめ |
| DMN | 専門DSL・その他 | 意思決定表 | 参考情報少なめ |
| DocBook | 関数型・Lisp・配列 | 文書 | 参考情報少なめ |
| Dolittle / ドリトル | 教育・歴史・難解言語 | 教育 / 日本語 | 参考情報少なめ |
| DOT | 専門DSL・その他 | グラフ | 参考情報少なめ |
| Drools DRL | 専門DSL・その他 | ルールエンジン | 参考情報少なめ |
| DTD | 関数型・Lisp・配列 | スキーマ | 参考情報少なめ |
| DTrace D | 汎用プログラミング言語 | 観測DSL | 参考情報少なめ |
| Dyalog APL | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Dylan | 関数型・Lisp・配列 | マルチパラダイム | 参考情報少なめ |
| DYNAMO | 教育・歴史・難解言語 | シミュレーション | 歴史的・書誌資料あり |
| Dzintars | Web・UI・テンプレート | ラトビア語 | 参考情報少なめ |
| e language | ハードウェア・EDA・制御 | 検証 | 参考情報少なめ |
| Earthfile | DevOps・設定・ビルド | ビルドDSL | 参考情報少なめ |
| EBNF | 専門DSL・その他 | 文法記述 | 参考情報少なめ |
| eBPF C | システム・低レイヤー | カーネル / 観測 | 参考情報少なめ |
| EdgeDB SDL | DevOps・設定・ビルド | DBスキーマ | 参考情報少なめ |
| EEx | 関数型・Lisp・配列 | テンプレート | 参考情報少なめ |
| Eff | システム・低レイヤー | 効果ハンドラ | 参考情報少なめ |
| Egel | 関数型・Lisp・配列 | 関数型 | 参考情報少なめ |
| EGL | 業務・メインフレーム・製品内言語 | 業務 | 参考情報少なめ |
| Eiffel | 専門DSL・その他 | 契約による設計 | 参考情報少なめ |
| EJS | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| El-76 | 教育・歴史・難解言語 | ロシア語 / 教育 | 参考情報少なめ |
| ELAN | システム・低レイヤー | 教育 / 歴史 | 参考情報少なめ |
| Elixir | 関数型・Lisp・配列 | Web、リアルタイム、BEAM 実務 | 公式リンクあり |
| Elliott Autocode | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| Elm | 専門DSL・その他 | フロントエンド関数型 | 参考情報少なめ |
| Emacs Lisp | 関数型・Lisp・配列 | Emacs拡張 | 参考情報少なめ |
| Emerald | 専門DSL・その他 | 分散OOP | 参考情報少なめ |
| Enso | データベース・クエリ・分析 | データフロー / 分析 | 参考情報少なめ |
| Epigram | 形式手法・証明・論理 | 依存型 | 参考情報少なめ |
| EQL | システム・低レイヤー | イベント検索 | 参考情報少なめ |
| ERB | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Erlang | 関数型・Lisp・配列 | 通信、分散、耐障害 | 公式リンクあり |
| 𝔼𝕊𝕄𝕚𝕟 | Web・UI・テンプレート | JSゴルフ | 参考情報少なめ |
| Esterel | 汎用プログラミング言語 | 同期言語 | 参考情報少なめ |
| Eta | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Euclid | 汎用プログラミング言語 | システム / 研究 | 参考情報少なめ |
| Euphoria | 汎用プログラミング言語 | 汎用 | 参考情報少なめ |
| EV3-G | システム・低レイヤー | 教育 / ロボット | 参考情報少なめ |
| Eve | データベース・クエリ・分析 | データフロー / 実験 | 参考情報少なめ |
| Event-B | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| Excel LAMBDA formulas | 専門DSL・その他 | 表計算 | 参考情報少なめ |
| EXEC 2 | システム・低レイヤー | メインフレーム | 参考情報少なめ |
| Expect | 専門DSL・その他 | 自動化 | 参考情報少なめ |
| Extempore | 関数型・Lisp・配列 | ライブコーディング | 参考情報少なめ |
| F | 専門DSL・その他 | 形式検証・安全性 | 参考情報少なめ |
| F-logic | 形式手法・証明・論理 | 知識表現 | 参考情報少なめ |
| F# | 関数型・Lisp・配列 | .NET 業務、分析、関数型設計 | 公式リンクあり |
| Factor | データベース・クエリ・分析 | スタック / 汎用 | 参考情報少なめ |
| Falco rules | 専門DSL・その他 | ランタイム監視 | 参考情報少なめ |
| FALSE | 教育・歴史・難解言語 | 難解 / スタック | 参考情報少なめ |
| Fantom | 汎用プログラミング言語 | JVM/.NET志向だった汎用言語 | 参考情報少なめ |
| FileMaker calculation language | 科学技術計算・数式処理 | 業務DB | 参考情報少なめ |
| FileMaker Script | データベース・クエリ・分析 | 業務DB | 参考情報少なめ |
| Fish | 専門DSL・その他 | モダンシェル・対話用途 | 参考情報少なめ |
| Flink SQL | データベース・クエリ・分析 | ストリーム処理 | 参考情報少なめ |
| Flix | 形式手法・証明・論理 | 関数型 / 論理 | 参考情報少なめ |
| Flix Datalog subset | 形式手法・証明・論理 | 論理/関数型 | 参考情報少なめ |
| Flora-2 | 形式手法・証明・論理 | 論理 / オブジェクト | 参考情報少なめ |
| FLOW-MATIC | システム・低レイヤー | 歴史 | 参考情報少なめ |
| Flux | データベース・クエリ・分析 | 時系列DB | 参考情報少なめ |
| FORM | 専門DSL・その他 | 数式処理 | 参考情報少なめ |
| Forth | 教育・歴史・難解言語 | スタック / 組み込み | 参考情報少なめ |
| Fortran | 専門DSL・その他 | 数値計算・HPC・科学技術計算 | 参考情報少なめ |
| Fortress | 専門DSL・その他 | 並列 / 数学 | 参考情報少なめ |
| FoxDot | ハードウェア・EDA・制御 | ライブコーディング | 参考情報少なめ |
| FoxPro | 業務・メインフレーム・製品内言語 | DB / 業務 | 参考情報少なめ |
| FRACTRAN | 教育・歴史・難解言語 | 難解 / 数学 | 参考情報少なめ |
| Frank | 専門DSL・その他 | 効果型 | 参考情報少なめ |
| FreeMarker Template Language | Web・UI・テンプレート | Java向けテンプレート言語 | 開発継続中・公式情報あり |
| FriCAS | 汎用プログラミング言語 | 数式処理 | 参考情報少なめ |
| Function Block Diagram | システム・低レイヤー | PLC | 参考情報少なめ |
| Funge-98 | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Futhark | データベース・クエリ・分析 | GPU / 関数型 | 参考情報少なめ |
| G-code | システム・低レイヤー | CNC / 3Dプリント | 参考情報少なめ |
| Galaxy | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| Galaxy tool XML | 関数型・Lisp・配列 | バイオ | 参考情報少なめ |
| GAMS | 汎用プログラミング言語 | 数理最適化 | 参考情報少なめ |
| GAP | 専門DSL・その他 | 数学 | 参考情報少なめ |
| GDScript | システム・低レイヤー | Godotゲーム開発 | 参考情報少なめ |
| GemStone GSQL | データベース・クエリ・分析 | オブジェクトDB | 参考情報少なめ |
| GemStone Smalltalk queries | データベース・クエリ・分析 | オブジェクトDB | 参考情報少なめ |
| GEORGE command language | 専門DSL・その他 | OSコマンド | 参考情報少なめ |
| Gherkin | 専門DSL・その他 | テスト仕様 | 参考情報少なめ |
| Gibber | データベース・クエリ・分析 | ライブコーディング | 参考情報少なめ |
| GIER ALGOL | システム・低レイヤー | 歴史 | 参考情報少なめ |
| GitHub Actions YAML | 関数型・Lisp・配列 | CI DSL | 参考情報少なめ |
| GitLab CI YAML | 関数型・Lisp・配列 | CI DSL | 参考情報少なめ |
| Glade XML | 関数型・Lisp・配列 | UI記述 | 参考情報少なめ |
| Glass | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Gleam | 専門DSL・その他 | BEAM上の静的型付き言語 | 参考情報少なめ |
| GLSL | ゲーム・クリエイティブ | GPUシェーダ | 参考情報少なめ |
| Glulx | ゲーム・クリエイティブ | IF VM | 参考情報少なめ |
| Gmsh scripting | 汎用プログラミング言語 | メッシュ生成 | 参考情報少なめ |
| GN | DevOps・設定・ビルド | ビルドDSL | 参考情報少なめ |
| Gnuplot script | 汎用プログラミング言語 | 可視化 | 参考情報少なめ |
| Go | システム・低レイヤー | クラウド、CLI、インフラ | 公式リンクあり |
| GOAL | システム・低レイヤー | エージェント | 参考情報少なめ |
| Google Sheets formulas | システム・低レイヤー | 表計算 | 参考情報少なめ |
| Gosu | システム・低レイヤー | JVM系・業務アプリ | 参考情報少なめ |
| GP | 汎用プログラミング言語 | 数学 | 参考情報少なめ |
| GP Blocks | 教育・歴史・難解言語 | 教育 | 参考情報少なめ |
| GP language | 教育・歴史・難解言語 | 教育 / ブロック | 参考情報少なめ |
| GPSS | 専門DSL・その他 | シミュレーション | 参考情報少なめ |
| GPSS/H | 専門DSL・その他 | シミュレーション | 参考情報少なめ |
| Grain | Web・UI・テンプレート | WebAssembly / 関数型 | 参考情報少なめ |
| Granule | 専門DSL・その他 | 線形型 / 関数型 | 参考情報少なめ |
| GraphQL SDL | DevOps・設定・ビルド | APIスキーマ言語 | 参考情報少なめ |
| Graphviz DOT | 専門DSL・その他 | グラフ記述 | 参考情報少なめ |
| Great Expectations DSL | データベース・クエリ・分析 | データ品質 | 参考情報少なめ |
| Groovy | 業務・メインフレーム・製品内言語 | JVMスクリプト・Gradle・業務補助 | 参考情報少なめ |
| Guido Music Notation | システム・低レイヤー | 楽譜 | 参考情報少なめ |
| Hack | Web・UI・テンプレート | PHP派生・Meta系大規模Web | 参考情報少なめ |
| HAL/S | 専門DSL・その他 | 航空宇宙 | 参考情報少なめ |
| Hamilton dataflow DSL | データベース・クエリ・分析 | データフロー | 参考情報少なめ |
| Haml | 関数型・Lisp・配列 | テンプレート | 参考情報少なめ |
| Handlebars | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Happy grammar | 関数型・Lisp・配列 | パーサ生成 | 参考情報少なめ |
| HAProxy config | DevOps・設定・ビルド | LB | 参考情報少なめ |
| Harbour | データベース・クエリ・分析 | DB / 業務 | 参考情報少なめ |
| Hare | 汎用プログラミング言語 | システム | 参考情報少なめ |
| Haskell | 関数型・Lisp・配列 | 研究、言語実装、形式手法 | 公式リンクあり |
| Haxe | ゲーム・クリエイティブ | クロスプラットフォーム・ゲーム | 参考情報少なめ |
| HCL | DevOps・設定・ビルド | Terraform設定言語 | 参考情報少なめ |
| Hermes | データベース・クエリ・分析 | 分散 | 参考情報少なめ |
| Hexagony | システム・低レイヤー | 難解 | 参考情報少なめ |
| hForth | 専門DSL・その他 | 韓国語対応Forth | 参考情報少なめ |
| Hiccup | 関数型・Lisp・配列 | HTML DSL | 参考情報少なめ |
| hiccup-like DSLs | 関数型・Lisp・配列 | HTML DSL | 参考情報少なめ |
| HiveQL | データベース・クエリ・分析 | ビッグデータ | 参考情報少なめ |
| HLO | 関数型・Lisp・配列 | ML IR | 参考情報少なめ |
| HLSL | ゲーム・クリエイティブ | DirectXシェーダ | 参考情報少なめ |
| HOL Light | 専門DSL・その他 | 定理証明 | 参考情報少なめ |
| HOL4 | 形式手法・証明・論理 | 定理証明 | 参考情報少なめ |
| Hop | 関数型・Lisp・配列 | Web / Scheme系 | 参考情報少なめ |
| Hope | データベース・クエリ・分析 | 関数型 | 参考情報少なめ |
| Hoplon | Web・UI・テンプレート | Web / Clojure系 | 参考情報少なめ |
| HSPICE | ハードウェア・EDA・制御 | 回路 | 参考情報少なめ |
| HTML | 関数型・Lisp・配列 | マークアップ言語 | 参考情報少なめ |
| htmx attribute DSL | 関数型・Lisp・配列 | Web DSL | 参考情報少なめ |
| HubSpot workflow expressions | 専門DSL・その他 | SaaS DSL | 参考情報少なめ |
| Hugo | システム・低レイヤー | IF | 参考情報少なめ |
| Husk | 関数型・Lisp・配列 | コードゴルフ | 参考情報少なめ |
| HVM language | 科学技術計算・数式処理 | 並列計算 | 参考情報少なめ |
| Hyperscript | 関数型・Lisp・配列 | Web DSL | 参考情報少なめ |
| HyperTalk | 専門DSL・その他 | HyperCard | 参考情報少なめ |
| IBIS | データベース・クエリ・分析 | 信号品質 | 参考情報少なめ |
| Icon | 専門DSL・その他 | 文字列処理 / 研究 | 参考情報少なめ |
| IDL | 科学技術計算・数式処理 | 科学技術計算 | 参考情報少なめ |
| Idris | 形式手法・証明・論理 | 依存型汎用言語 | 参考情報少なめ |
| IEC 61131-3 Ladder Diagram | システム・低レイヤー | PLC | 参考情報少なめ |
| IEC 61131-3 Structured Text | システム・低レイヤー | PLC | 参考情報少なめ |
| Igor Pro | システム・低レイヤー | 科学 / 可視化 | 参考情報少なめ |
| Impromptu | 専門DSL・その他 | ライブコーディング | 参考情報少なめ |
| InfluxQL | データベース・クエリ・分析 | 時系列DB | 参考情報少なめ |
| Inform 6 | ゲーム・クリエイティブ | IF | 参考情報少なめ |
| Inform 7 | 専門DSL・その他 | インタラクティブ fiction | 参考情報少なめ |
| Informix-4GL | 業務・メインフレーム・製品内言語 | 業務 / DB | IBM公式ドキュメントあり |
| Instruction List | システム・低レイヤー | PLC | 参考情報少なめ |
| INTERCAL variants | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Io | 専門DSL・その他 | プロトタイプベース言語 | 参考情報少なめ |
| Iota | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| IPL | 専門DSL・その他 | AI史 | 参考情報少なめ |
| iptables rules | 専門DSL・その他 | ネットワーク | 参考情報少なめ |
| IronPython | 専門DSL・その他 | .NET | 参考情報少なめ |
| Isabelle/HOL | 専門DSL・その他 | 定理証明 | 参考情報少なめ |
| Isabelle/ML | 関数型・Lisp・配列 | 定理証明環境 | 参考情報少なめ |
| ixi lang | 専門DSL・その他 | ライブコーディング | 参考情報少なめ |
| J | 専門DSL・その他 | APL系・配列指向 | 参考情報少なめ |
| JACK Agent Language | 専門DSL・その他 | エージェント | 参考情報少なめ |
| Jai | ゲーム・クリエイティブ | ゲーム開発向けの実験的システムプログラミング言語 | 開発中・一般公開された公式仕様は未確認 |
| Janet | 関数型・Lisp・配列 | 組み込み向けLisp系 | 参考情報少なめ |
| Jaql | データベース・クエリ・分析 | JSON / Hadoop | 参考情報少なめ |
| Jason AgentSpeak | 専門DSL・その他 | エージェント | 参考情報少なめ |
| Java | 業務・メインフレーム・製品内言語 | 企業業務、サーバ、データ基盤 | 公式リンクあり |
| JavaCC grammar | システム・低レイヤー | パーサ生成 | 参考情報少なめ |
| JavaScript | Web・UI・テンプレート | Web フロント、Node.js | 公式リンクあり |
| JBoss Rules | 専門DSL・その他 | ルールベース | 参考情報少なめ |
| JCL | 業務・メインフレーム・製品内言語 | メインフレーム | 参考情報少なめ |
| Jelly | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Jenkinsfile | DevOps・設定・ビルド | CI DSL | 参考情報少なめ |
| Jess | 専門DSL・その他 | ルールベース | 参考情報少なめ |
| Jetpack Compose DSL | Web・UI・テンプレート | UI DSL | 参考情報少なめ |
| Jinja | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Joern CPGQL | データベース・クエリ・分析 | 静的解析 | 参考情報少なめ |
| Jot | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| JOVIAL | 教育・歴史・難解言語 | 防衛 / 歴史 | 参考情報少なめ |
| Jovial J3 / J73 | 専門DSL・その他 | 防衛 | 参考情報少なめ |
| Joy | データベース・クエリ・分析 | 関数型 / スタック | 参考情報少なめ |
| jq | 専門DSL・その他 | JSON処理DSL | 参考情報少なめ |
| JRuby | Web・UI・テンプレート | JVM | 参考情報少なめ |
| JSON | データベース・クエリ・分析 | データ交換形式 | 参考情報少なめ |
| JSON Schema | DevOps・設定・ビルド | スキーマ | 参考情報少なめ |
| Json-e | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| JSON-LD | データベース・クエリ・分析 | Linked Data | 参考情報少なめ |
| JSONiq | データベース・クエリ・分析 | JSONクエリ | 参考情報少なめ |
| JSONPath | 専門DSL・その他 | JSON問い合わせ | 参考情報少なめ |
| Julia | 科学技術計算・数式処理 | 科学計算、最適化 | 公式リンクあり |
| Justfile | 専門DSL・その他 | タスクDSL | 参考情報少なめ |
| Jython | 専門DSL・その他 | JVM | 参考情報少なめ |
| K / q | データベース・クエリ・分析 | 金融時系列・配列DB | 参考情報少なめ |
| K Framework | データベース・クエリ・分析 | 意味論記述 | 参考情報少なめ |
| KAG | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| Kap | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| KAREL | 専門DSL・その他 | ロボット | FANUC公式情報あり |
| KCL | システム・低レイヤー | 設定 / IaC | 参考情報少なめ |
| KDF9 Usercode | システム・低レイヤー | アセンブリ寄り | 参考情報少なめ |
| Kedro pipeline DSL | データベース・クエリ・分析 | DataOps | 参考情報少なめ |
| Keras config JSON | 関数型・Lisp・配列 | ML DSL | 参考情報少なめ |
| Kiama rewriting | データベース・クエリ・分析 | Scala DSL | 参考情報少なめ |
| KIF | 専門DSL・その他 | 知識表現 | 参考情報少なめ |
| Kind | 形式手法・証明・論理 | 型理論 / 関数型 | 公式リンクあり・基本情報確認済み |
| Kirikiri scenario language | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| Kirikiri Z scripts | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| Kit | 汎用プログラミング言語 | システム | 参考情報少なめ |
| Klaim | 専門DSL・その他 | モバイル計算 | 参考情報少なめ |
| Klaviyo template syntax | Web・UI・テンプレート | EC/メール | 参考情報少なめ |
| Klong | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Koka | 専門DSL・その他 | 関数型 / 効果型 | 参考情報少なめ |
| Kona | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Kotlin | 専門DSL・その他 | Android、JVM、MPP | 公式リンクあり |
| Kotodama on Squeak | 教育・歴史・難解言語 | 日本語 / 教育 | 参考情報少なめ |
| kramdown | Web・UI・テンプレート | マークアップ | 参考情報少なめ |
| KRL | 専門DSL・その他 | ロボット | 参考情報少なめ |
| Kronos | 専門DSL・その他 | 音響DSP | 参考情報少なめ |
| ksqlDB SQL | データベース・クエリ・分析 | ストリーム処理 | 参考情報少なめ |
| Kubeflow Pipelines DSL | 関数型・Lisp・配列 | ML Ops | 参考情報少なめ |
| Kusto Query Language | データベース・クエリ・分析 | 分析 | 参考情報少なめ |
| Kyverno policies | 専門DSL・その他 | Kubernetes | 参考情報少なめ |
| LabVIEW G | ハードウェア・EDA・制御 | 計測・制御・産業用途 | 参考情報少なめ |
| LabVIEW NXG G | 専門DSL・その他 | ビジュアル | 参考情報少なめ |
| Lambda cube languages | 専門DSL・その他 | 型理論 | 参考情報少なめ |
| Laning and Zierler system | データベース・クエリ・分析 | 歴史 | 参考情報少なめ |
| Lasp | データベース・クエリ・分析 | 分散 | 参考情報少なめ |
| LaTeX | 専門DSL・その他 | 論文・組版 | 参考情報少なめ |
| LaunchDarkly rules | 専門DSL・その他 | Feature flag | 参考情報少なめ |
| Lazy K | 教育・歴史・難解言語 | 難解 / 関数型 | 参考情報少なめ |
| Lean | 形式手法・証明・論理 | 定理証明・数学形式化 | 参考情報少なめ |
| Lego Mindstorms NXT-G | システム・低レイヤー | 教育 / ロボット | 参考情報少なめ |
| Lemon grammar | データベース・クエリ・分析 | パーサ生成 | 参考情報少なめ |
| Lex / Flex rules | データベース・クエリ・分析 | 字句解析 | 参考情報少なめ |
| Lexico | 教育・歴史・難解言語 | スペイン語 | 参考情報少なめ |
| LF | 形式手法・証明・論理 | 論理フレームワーク | 参考情報少なめ |
| Liberty format | 専門DSL・その他 | セルライブラリ | 参考情報少なめ |
| LilyPond | ゲーム・クリエイティブ | 楽譜 | 参考情報少なめ |
| Limbo | 汎用プログラミング言語 | システム / 分散 | 参考情報少なめ |
| Lime | 専門DSL・その他 | 並列 / 組み込み | 参考情報少なめ |
| Linda | 専門DSL・その他 | 並行モデル | 参考情報少なめ |
| LINGO | システム・低レイヤー | 数理最適化 | 参考情報少なめ |
| Lingua::Romana::Perligata | 専門DSL・その他 | ラテン語 / Perl | 参考情報少なめ |
| Links | Web・UI・テンプレート | Web / 関数型 | 参考情報少なめ |
| Links effect handlers | Web・UI・テンプレート | 効果型 / Web | 参考情報少なめ |
| Liquid | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| LiveCode | 専門DSL・その他 | アプリ / HyperCard系 | 参考情報少なめ |
| LiveMaker script | データベース・クエリ・分析 | ノベルゲーム | 参考情報少なめ |
| LiveScript | 専門DSL・その他 | JS生成・CoffeeScript系 | 参考情報少なめ |
| Lobster | データベース・クエリ・分析 | ゲーム / システム | 参考情報少なめ |
| Logica | 形式手法・証明・論理 | Datalog系 | 参考情報少なめ |
| Logo | システム・低レイヤー | 教育・古典 | 参考情報少なめ |
| LogQL | データベース・クエリ・分析 | ログ検索 | 参考情報少なめ |
| LOLCODE | 専門DSL・その他 | ネタ | 参考情報少なめ |
| LookML | 関数型・Lisp・配列 | BI DSL | 参考情報少なめ |
| LOTOS | 専門DSL・その他 | 仕様記述 | 参考情報少なめ |
| LS-DYNA keyword | データベース・クエリ・分析 | CAE | 参考情報少なめ |
| Lua | ゲーム・クリエイティブ | ゲーム組込み、設定、拡張 | 公式リンクあり |
| Luau型付き拡張群 | ゲーム・クリエイティブ | ゲーム / Lua系 | 参考情報少なめ |
| Lucene Query Syntax | データベース・クエリ・分析 | 検索 | 参考情報少なめ |
| Lucid | データベース・クエリ・分析 | データフロー | 参考情報少なめ |
| Lucid Synchrone | 関数型・Lisp・配列 | 同期関数型 | 参考情報少なめ |
| Luna | データベース・クエリ・分析 | データフロー / ビジュアル | 参考情報少なめ |
| Lustre | ハードウェア・EDA・制御 | 同期データフロー | 参考情報少なめ |
| Lusus | 専門DSL・その他 | ラテン語 | 参考情報少なめ |
| M language | データベース・クエリ・分析 | データ変換 | 参考情報少なめ |
| m4 | 専門DSL・その他 | マクロ | 参考情報少なめ |
| Macaulay2 | 専門DSL・その他 | 数学 | 参考情報少なめ |
| MACRO-10 | 専門DSL・その他 | アセンブリ | 参考情報少なめ |
| MAD | システム・低レイヤー | 歴史 | 参考情報少なめ |
| Magma | 汎用プログラミング言語 | 数学 | 参考情報少なめ |
| Make/Integromat formulas | 専門DSL・その他 | 自動化 | 参考情報少なめ |
| Makefile | DevOps・設定・ビルド | ビルド自動化DSL | 参考情報少なめ |
| Malaybasic | システム・低レイヤー | マレー語 | 参考情報少なめ |
| Malbolge Unshackled | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Malloy | データベース・クエリ・分析 | 分析 / クエリ | 参考情報少なめ |
| Malloy SQL generation | データベース・クエリ・分析 | BI | 参考情報少なめ |
| Malluscript | システム・低レイヤー | Malayalam / esolang | 参考情報少なめ |
| Manifold | 専門DSL・その他 | JVM拡張 | 参考情報少なめ |
| Markdown | 専門DSL・その他 | 文書・静的サイト | 参考情報少なめ |
| Marketo Velocity Script | Web・UI・テンプレート | MA | 参考情報少なめ |
| Marko | Web・UI・テンプレート | UI / テンプレート | 参考情報少なめ |
| Mary | システム・低レイヤー | システム / 歴史 | 参考情報少なめ |
| MaterialX | ゲーム・クリエイティブ | マテリアル記述 | 参考情報少なめ |
| MATH-MATIC | システム・低レイヤー | 歴史 | 参考情報少なめ |
| Mathematica | データベース・クエリ・分析 | Wolfram環境 | 参考情報少なめ |
| Matita | 形式手法・証明・論理 | 定理証明 | 参考情報少なめ |
| MATL | データベース・クエリ・分析 | コードゴルフ | 参考情報少なめ |
| MATLAB | 科学技術計算・数式処理 | 数値計算、制御、信号処理 | 公式リンクあり |
| Maude | 専門DSL・その他 | 書換論理 | 参考情報少なめ |
| Max/MSP | ゲーム・クリエイティブ | 音楽・メディアアート | 参考情報少なめ |
| mCRL2 | 汎用プログラミング言語 | プロセス代数 | 参考情報少なめ |
| MDL | 専門DSL・その他 | マテリアル | 参考情報少なめ |
| MDsvex | 専門DSL・その他 | 文書 / Svelte | 参考情報少なめ |
| MDX | データベース・クエリ・分析 | 多次元DB | 参考情報少なめ |
| MegaZeux Robotic | システム・低レイヤー | ゲーム | 参考情報少なめ |
| Menhir grammar | 関数型・Lisp・配列 | パーサ生成 | 参考情報少なめ |
| Mentor Graphics Tcl | データベース・クエリ・分析 | EDA | 参考情報少なめ |
| Mercury | 専門DSL・その他 | 論理型＋関数型 | 参考情報少なめ |
| Mercury Autocode | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| Mermaid | 専門DSL・その他 | 図表DSL | 参考情報少なめ |
| Mesa | 汎用プログラミング言語 | システム | 参考情報少なめ |
| Metaflow FlowSpec | 関数型・Lisp・配列 | ML Ops | 参考情報少なめ |
| Metafont | 専門DSL・その他 | フォント | 参考情報少なめ |
| Metal Shading Language | ゲーム・クリエイティブ | Apple GPUシェーダ | 参考情報少なめ |
| Metamath | データベース・クエリ・分析 | 証明言語 | 参考情報少なめ |
| MetaPost | 専門DSL・その他 | 図版 | 参考情報少なめ |
| MicroPython | 専門DSL・その他 | 組み込みPython | 参考情報少なめ |
| MiniML | 関数型・Lisp・配列 | 教育 / 型理論 | 参考情報少なめ |
| MiniZinc | システム・低レイヤー | 制約プログラミング | 参考情報少なめ |
| Miranda | 関数型・Lisp・配列 | 関数型 | 参考情報少なめ |
| Mizar | データベース・クエリ・分析 | 数学形式化 | 参考情報少なめ |
| MLIR | 関数型・Lisp・配列 | コンパイラIR | 参考情報少なめ |
| MLton SML dialect | 関数型・Lisp・配列 | ML系 | 参考情報少なめ |
| Modelica | 専門DSL・その他 | 物理モデリング | 参考情報少なめ |
| Mojo | 専門DSL・その他 | AI/高速計算向け新興言語 | 参考情報少なめ |
| Mortran | 専門DSL・その他 | Fortran拡張 | 参考情報少なめ |
| Move | 専門DSL・その他 | Diem/Sui/Aptos系スマートコントラクト | 参考情報少なめ |
| Mozart/Oz | 教育・歴史・難解言語 | 教育 / 研究 | 参考情報少なめ |
| MSC Nastran Bulk Data | システム・低レイヤー | CAE | 参考情報少なめ |
| Multicore OCaml effect syntax | 関数型・Lisp・配列 | 効果型 | 参考情報少なめ |
| MUMPS / M | データベース・クエリ・分析 | DB / 医療 | 参考情報少なめ |
| Muon | 汎用プログラミング言語 | システム | 参考情報少なめ |
| MuPAD | データベース・クエリ・分析 | 数式処理 | 参考情報少なめ |
| Muriel | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| MusicXML | 関数型・Lisp・配列 | 楽譜 | 参考情報少なめ |
| Mustache | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| MXML | 関数型・Lisp・配列 | UI記述 | 参考情報少なめ |
| N-Quads | 専門DSL・その他 | RDF記法 | 参考情報少なめ |
| N-Triples | 専門DSL・その他 | RDF記法 | 公式仕様あり・基本情報確認済み |
| N1QL / SQL++ | データベース・クエリ・分析 | JSON DB | 参考情報少なめ |
| N3Logic | 形式手法・証明・論理 | セマンティックWeb | 参考情報少なめ |
| NARS2000 | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Natural | 業務・メインフレーム・製品内言語 | 業務 / メインフレーム | 参考情報少なめ |
| NCL | 科学技術計算・数式処理 | 気象 / 科学 | 参考情報少なめ |
| NELIAC | システム・低レイヤー | 歴史 | 参考情報少なめ |
| NELIAC dialects | システム・低レイヤー | 歴史 | 参考情報少なめ |
| Nelua | 汎用プログラミング言語 | システム / Lua系 | 参考情報少なめ |
| Nemerle | 専門DSL・その他 | .NET | 参考情報少なめ |
| NESL | データベース・クエリ・分析 | 並列関数型 | 参考情報少なめ |
| NESL-like languages | 専門DSL・その他 | 並列研究 | 参考情報少なめ |
| NetLogo | システム・低レイヤー | 教育 / エージェント | 参考情報少なめ |
| NetLogo BehaviorSpace | システム・低レイヤー | 実験DSL | 参考情報少なめ |
| NetRexx | 専門DSL・その他 | JVM / REXX系 | 参考情報少なめ |
| New Relic NRQL | システム・低レイヤー | 監視 | 参考情報少なめ |
| Newsqueak | システム・低レイヤー | 並行処理 | 参考情報少なめ |
| NewtonScript | 教育・歴史・難解言語 | PDA / 歴史 | 参考情報少なめ |
| Nextflow DSL | 専門DSL・その他 | バイオ / パイプライン | 参考情報少なめ |
| nftables syntax | 専門DSL・その他 | ネットワーク | 参考情報少なめ |
| Nginx config | Web・UI・テンプレート | Webサーバー | 参考情報少なめ |
| ngn/k | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Nial | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Nickel | DevOps・設定・ビルド | 設定 | 参考情報少なめ |
| Nim | 専門DSL・その他 | Python風構文＋ネイティブコンパイル | 参考情報少なめ |
| Nix | 専門DSL・その他 | 宣言的パッケージ・環境構築 | 参考情報少なめ |
| Nix-like experimental FP DSLs | DevOps・設定・ビルド | 設定 / 関数型 | 参考情報少なめ |
| Nomos | 専門DSL・その他 | リソース型 | 参考情報少なめ |
| Notion Formula | データベース・クエリ・分析 | ノーコードDB | 参考情報少なめ |
| NScripter script | データベース・クエリ・分析 | ノベルゲーム | 参考情報少なめ |
| NScripter2 script | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| Numba IR / Python subset | 科学技術計算・数式処理 | JIT | 参考情報少なめ |
| Nunjucks | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Nuprl | 教育・歴史・難解言語 | 定理証明 | 参考情報少なめ |
| NuSMV language | 専門DSL・その他 | モデル検査 | 参考情報少なめ |
| Nyquist | 関数型・Lisp・配列 | 音響 | 参考情報少なめ |
| OBJ | データベース・クエリ・分析 | 代数仕様 | 参考情報少なめ |
| Objective-C | システム・低レイヤー | Apple 既存資産、Cocoa | 公式リンクあり |
| ObjectScript | 業務・メインフレーム・製品内言語 | DB / 医療業務 | 参考情報少なめ |
| Obliq | 専門DSL・その他 | 分散 | 参考情報少なめ |
| Oblivion Script | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| Obsidian | データベース・クエリ・分析 | ブロックチェーン / 型 | 参考情報少なめ |
| OCaml | 関数型・Lisp・配列 | 関数型・型安全・コンパイラ・金融 | 参考情報少なめ |
| ocamllex | 関数型・Lisp・配列 | 字句解析 | 参考情報少なめ |
| ocamlyacc | 関数型・Lisp・配列 | パーサ生成 | 参考情報少なめ |
| Occam | 専門DSL・その他 | 並行処理 | 参考情報少なめ |
| Odin | ゲーム・クリエイティブ | ゲーム・システム・C代替 | 参考情報少なめ |
| Odin前身系のJai的言語群 | ゲーム・クリエイティブ | ゲーム / システム | 参考情報少なめ |
| ODMG OQL | データベース・クエリ・分析 | オブジェクトDB | 参考情報少なめ |
| OISC languages | システム・低レイヤー | 極小言語 | 参考情報少なめ |
| ONNX graph IR | 関数型・Lisp・配列 | ML中間表現 | 参考情報少なめ |
| ONScripter script | データベース・クエリ・分析 | ノベルゲーム | 参考情報少なめ |
| Ook! | 専門DSL・その他 | ネタ | 参考情報少なめ |
| Open Firmware Forth | 専門DSL・その他 | ファームウェア | 参考情報少なめ |
| Open Inventor format | データベース・クエリ・分析 | 3D | 参考情報少なめ |
| OpenAPI Specification | 専門DSL・その他 | API記述 | 参考情報少なめ |
| OpenCL C | システム・低レイヤー | GPU/異種計算 | 参考情報少なめ |
| OpenFGA DSL | 専門DSL・その他 | 認可 | 参考情報少なめ |
| OpenFOAM dictionaries | DevOps・設定・ビルド | CFD設定 | 参考情報少なめ |
| OpenResty nginx+Lua | Web・UI・テンプレート | Web | 参考情報少なめ |
| OpenSCAD | ゲーム・クリエイティブ | 3D CAD記述 | 参考情報少なめ |
| OpenXION | 専門DSL・その他 | xTalk系 | 参考情報少なめ |
| OPL | 専門DSL・その他 | 数理最適化 | 参考情報少なめ |
| OPS5 | 教育・歴史・難解言語 | ルールベース | 参考情報少なめ |
| OPS83 | 専門DSL・その他 | ルールベース | 参考情報少なめ |
| Optimizely feature flag rules | 専門DSL・その他 | 実験基盤 | 公式ドキュメントあり |
| OQL | データベース・クエリ・分析 | オブジェクトデータベース向け問い合わせ言語（ODMG標準・歴史的） | 歴史的標準・現行公式サイトは確認できず |
| Orc | システム・低レイヤー | 並行 / オーケストレーション | 参考情報少なめ |
| Orc language | システム・低レイヤー | 並行DSL | 参考情報少なめ |
| Orca | ゲーム・クリエイティブ | ライブコーディング / 難解寄り | 参考情報少なめ |
| Org mode | 専門DSL・その他 | 文書 / 実行可能文書 | 参考情報少なめ |
| OSL | ゲーム・クリエイティブ | シェーダ | 参考情報少なめ |
| Ott | 汎用プログラミング言語 | 言語仕様 | 参考情報少なめ |
| Overtone | ゲーム・クリエイティブ | 音楽 | 参考情報少なめ |
| OWL | Web・UI・テンプレート | オントロジー | 参考情報少なめ |
| Oz | 専門DSL・その他 | マルチパラダイム | 参考情報少なめ |
| p5.js | Web・UI・テンプレート | Webクリエイティブコーディング | 参考情報少なめ |
| Painless | 汎用プログラミング言語 | 検索 / スクリプト | 参考情報少なめ |
| Pallene | 専門DSL・その他 | Lua系 | 参考情報少なめ |
| Pants BUILD | DevOps・設定・ビルド | ビルドDSL | 参考情報少なめ |
| ParaSail | データベース・クエリ・分析 | 並列 | 参考情報少なめ |
| PartiQL | データベース・クエリ・分析 | クエリ | 参考情報少なめ |
| Pascal / Object Pascal | 教育・歴史・難解言語 | 教育・Delphi既存資産 | 参考情報少なめ |
| PATH | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| PCF | 専門DSL・その他 | 理論言語 | 参考情報少なめ |
| PEG | 専門DSL・その他 | 構文定義 | 参考情報少なめ |
| PeopleCode | 専門DSL・その他 | PeopleSoft | 参考情報少なめ |
| Perl | 専門DSL・その他 | テキスト処理、運用、自動化 | 公式リンクあり |
| pf.conf | DevOps・設定・ビルド | ネットワーク | 参考情報少なめ |
| PFA | データベース・クエリ・分析 | モデル交換 | 参考情報少なめ |
| PHP | システム・低レイヤー | Web、CMS、EC | 公式リンクあり |
| Piet | 教育・歴史・難解言語 | 難解 / 画像 | 参考情報少なめ |
| Piet-like visual languages | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Pietron | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Pig Latin | データベース・クエリ・分析 | ビッグデータ | 参考情報少なめ |
| Pkl | DevOps・設定・ビルド | 設定 | 参考情報少なめ |
| PL-11 | 汎用プログラミング言語 | システム | 参考情報少なめ |
| PL/360 | 汎用プログラミング言語 | システム | 参考情報少なめ |
| PL/8 | 汎用プログラミング言語 | システム | 参考情報少なめ |
| PL/I | 業務・メインフレーム・製品内言語 | 汎用 / メインフレーム | 参考情報少なめ |
| PL/M | 汎用プログラミング言語 | システム | 参考情報少なめ |
| PL/S | 汎用プログラミング言語 | システム | 参考情報少なめ |
| PL/SQL | データベース・クエリ・分析 | Oracle DB内手続き | 参考情報少なめ |
| Plankalkül | 教育・歴史・難解言語 | 歴史的な高水準プログラミング言語構想 | 歴史資料・原資料アーカイブあり |
| PlantUML | 関数型・Lisp・配列 | 図表DSL | 参考情報少なめ |
| PMML | 関数型・Lisp・配列 | モデル交換 | 参考情報少なめ |
| Polar | データベース・クエリ・分析 | 認可 | 参考情報少なめ |
| Pollen | 専門DSL・その他 | 文書生成 | 参考情報少なめ |
| Pony | データベース・クエリ・分析 | actor model・安全並行 | 参考情報少なめ |
| Portugol | システム・低レイヤー | ポルトガル語 | 参考情報少なめ |
| POSTQUEL | データベース・クエリ・分析 | DBクエリ | 参考情報少なめ |
| PostScript | 専門DSL・その他 | 印刷・ページ記述 | 参考情報少なめ |
| PostScript Type 1 charstring | 専門DSL・その他 | フォント | 参考情報少なめ |
| Power Apps Power Fx | データベース・クエリ・分析 | ローコード | 参考情報少なめ |
| Power Automate expressions | データベース・クエリ・分析 | ローコード | 参考情報少なめ |
| PowerBuilder PowerScript | データベース・クエリ・分析 | 業務 | 参考情報少なめ |
| PowerShell | 専門DSL・その他 | Windows運用・クラウド運用・自動化 | 参考情報少なめ |
| Premake | DevOps・設定・ビルド | ビルドDSL | 参考情報少なめ |
| Priede | 専門DSL・その他 | ラトビア語 | 参考情報少なめ |
| Processing | ゲーム・クリエイティブ | クリエイティブコーディング | 参考情報少なめ |
| Progress ABL | 業務・メインフレーム・製品内言語 | 業務 / DB | 参考情報少なめ |
| Prolog | 形式手法・証明・論理 | 論理プログラミング | 参考情報少なめ |
| Promela | 専門DSL・その他 | 形式検証 | 参考情報少なめ |
| PromQL | 専門DSL・その他 | 監視 | 参考情報少なめ |
| Protocol Buffers | システム・低レイヤー | IDL | 参考情報少なめ |
| Prova | 専門DSL・その他 | ルール言語 | 参考情報少なめ |
| PRQL | データベース・クエリ・分析 | SQLへコンパイルするパイプライン型の関係クエリ言語 | 公式仕様・参照コンパイラあり |
| PSL | ハードウェア・EDA・制御 | 形式仕様 / HDL | 参考情報少なめ |
| Pug | 関数型・Lisp・配列 | テンプレート | 参考情報少なめ |
| Pure Data | データベース・クエリ・分析 | 音響・メディアアート | 参考情報少なめ |
| PureScript | 関数型・Lisp・配列 | Haskell風JS言語 | 参考情報少なめ |
| PV-WAVE | DevOps・設定・ビルド | 科学技術計算 | 参考情報少なめ |
| PVS | 専門DSL・その他 | 形式検証 | 参考情報少なめ |
| Pyth | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Python | Web・UI・テンプレート | AI、分析、自動化、Web | 公式リンクあり |
| Pythran | システム・低レイヤー | Python subset | 参考情報少なめ |
| Q’Nial | 専門DSL・その他 | 配列言語 | 参考情報少なめ |
| Qalb | データベース・クエリ・分析 | アラビア語 | 参考情報少なめ |
| QMake | DevOps・設定・ビルド | ビルドDSL | 参考情報少なめ |
| QML | 関数型・Lisp・配列 | Qt UI記述 | 参考情報少なめ |
| QuakeC | システム・低レイヤー | ゲーム | 参考情報少なめ |
| Quantitative Type Theory languages | 専門DSL・その他 | 型理論 | 参考情報少なめ |
| Quarto | 専門DSL・その他 | 実行可能文書 | 参考情報少なめ |
| QUEL | データベース・クエリ・分析 | DBクエリ | 参考情報少なめ |
| Quel object extensions | データベース・クエリ・分析 | DB | 参考情報少なめ |
| Quel-like languages | データベース・クエリ・分析 | DB | 参考情報少なめ |
| Quel++ | データベース・クエリ・分析 | DB | 参考情報少なめ |
| R | 科学技術計算・数式処理 | 統計計算・グラフィックス言語 | 開発継続中・公式情報あり |
| Racket | 教育・歴史・難解言語 | 教育・DSL・言語設計 | 参考情報少なめ |
| Ragel | 専門DSL・その他 | 状態機械 | 参考情報少なめ |
| RAISE Specification Language | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| RAML | 関数型・Lisp・配列 | API記述 | 参考情報少なめ |
| RAPID | 専門DSL・その他 | ロボット | 参考情報少なめ |
| Rapira | 教育・歴史・難解言語 | ロシア語 / 教育 | 参考情報少なめ |
| Rascal | 専門DSL・その他 | メタプログラミング | 公式リンクあり・基本情報確認済み |
| Rascal MPL | データベース・クエリ・分析 | メタプログラミング | 参考情報少なめ |
| Ratfor | 教育・歴史・難解言語 | 構造化プログラミングを導入するFortran向けプリプロセッサ言語 | 歴史的言語・原著論文あり |
| RDF | データベース・クエリ・分析 | データモデル | 参考情報少なめ |
| re2c | システム・低レイヤー | 字句解析 | 参考情報少なめ |
| ReactiveML | 関数型・Lisp・配列 | リアクティブ | 参考情報少なめ |
| Reason / ReScript | 関数型・Lisp・配列 | OCaml系・JS出力・Web | 参考情報少なめ |
| Rebol | データベース・クエリ・分析 | DSL・データ交換思想 | 参考情報少なめ |
| Red | 専門DSL・その他 | Rebol系・軽量言語 | 参考情報少なめ |
| RedPRL | 専門DSL・その他 | 定理証明 | 参考情報少なめ |
| REDUCE | 教育・歴史・難解言語 | 数式処理 | 参考情報少なめ |
| Regular Expression | データベース・クエリ・分析 | パターン記述 | 参考情報少なめ |
| Rel | データベース・クエリ・分析 | 関係DB | 参考情報少なめ |
| Relax NG | 関数型・Lisp・配列 | スキーマ | 参考情報少なめ |
| RenderMan Shading Language | データベース・クエリ・分析 | シェーダ | 参考情報少なめ |
| reStructuredText | 専門DSL・その他 | 文書 | 参考情報少なめ |
| Retina | 教育・歴史・難解言語 | 難解 / 正規表現 | 参考情報少なめ |
| REXX | 業務・メインフレーム・製品内言語 | メインフレーム / スクリプト | 参考情報少なめ |
| RMarkdown | データベース・クエリ・分析 | 実行可能文書 | 参考情報少なめ |
| Robot Framework | 専門DSL・その他 | テストDSL | 参考情報少なめ |
| Roc | システム・低レイヤー | 関数型 / アプリ開発 | 参考情報少なめ |
| Rockstar | データベース・クエリ・分析 | ネタ | 参考情報少なめ |
| RPG | 業務・メインフレーム・製品内言語 | IBM i / 業務 | 参考情報少なめ |
| RPython | 専門DSL・その他 | 処理系実装 | 参考情報少なめ |
| RTL/2 | 教育・歴史・難解言語 | リアルタイム | 参考情報少なめ |
| Ruby | Web・UI・テンプレート | Web、スクリプト、DSL | 公式リンクあり |
| Rule 110 | 専門DSL・その他 | 計算モデル | 参考情報少なめ |
| RuleML | 関数型・Lisp・配列 | ルール記述 | 参考情報少なめ |
| Rust | システム・低レイヤー | システム、安全重視バックエンド | 公式リンクあり |
| S-algol | システム・低レイヤー | 教育 / 歴史 | 参考情報少なめ |
| SableCC grammar | システム・低レイヤー | パーサ生成 | 参考情報少なめ |
| SAC | システム・低レイヤー | 配列 / HPC | 参考情報少なめ |
| SageMath Python | データベース・クエリ・分析 | 数学 | 参考情報少なめ |
| Salesforce Flow formulas | 業務・メインフレーム・製品内言語 | SaaS DSL | 参考情報少なめ |
| Salesforce Marketing Cloud AMPscript | 汎用プログラミング言語 | MA | 参考情報少なめ |
| SAOL | ゲーム・クリエイティブ | MPEG-4 Structured Audioの音響合成・処理言語 | 歴史的標準・MIT一次資料あり |
| Sass / SCSS | Web・UI・テンプレート | CSSプリプロセッサ言語 | 開発継続中・公式情報あり |
| SCADE | 専門DSL・その他 | 安全重要系 | 参考情報少なめ |
| Scala | 専門DSL・その他 | JVM 関数型、分散処理 | 公式リンクあり |
| Scheme | 関数型・Lisp・配列 | Lisp系・教育・言語処理系 | 参考情報少なめ |
| SCL | 専門DSL・その他 | ICL系 | 参考情報少なめ |
| Scratch | 教育・歴史・難解言語 | 教育・ビジュアルプログラミング | 参考情報少なめ |
| ScratchJr | データベース・クエリ・分析 | 教育 | 参考情報少なめ |
| Scribble | 専門DSL・その他 | 文書 | 参考情報少なめ |
| SDC | 形式手法・証明・論理 | タイミング制約 | 参考情報少なめ |
| sed | 専門DSL・その他 | ストリーム編集 | 参考情報少なめ |
| Self | Web・UI・テンプレート | OOP / 研究 | 参考情報少なめ |
| Semgrep pattern language | データベース・クエリ・分析 | 静的解析 | 参考情報少なめ |
| Sentinel | 専門DSL・その他 | ポリシー | 参考情報少なめ |
| Sequential Function Chart | システム・低レイヤー | PLC | 参考情報少なめ |
| Seriously | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Setonas | 専門DSL・その他 | リトアニア語 | 参考情報少なめ |
| SGML | 関数型・Lisp・配列 | マークアップ | 参考情報少なめ |
| SHACL | 専門DSL・その他 | RDF検証 | 参考情報少なめ |
| Shakespeare Programming Language | 専門DSL・その他 | ネタ | 公式仕様・実装あり |
| ShEx | 専門DSL・その他 | RDF検証 | 参考情報少なめ |
| Shopify Liquid objects DSL | システム・低レイヤー | EC | 参考情報少なめ |
| Short Code | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| Siddhi | 専門DSL・その他 | ストリーム処理 | 参考情報少なめ |
| Sigma rules | 専門DSL・その他 | セキュリティ | 参考情報少なめ |
| Signal | ハードウェア・EDA・制御 | 同期データフロー | 参考情報少なめ |
| SIMAN | 専門DSL・その他 | シミュレーション | 参考情報少なめ |
| SimScript | 専門DSL・その他 | シミュレーション | 参考情報少なめ |
| Simula | 専門DSL・その他 | オブジェクト指向の源流 | 参考情報少なめ |
| SIMULA I | 専門DSL・その他 | OOP以前 | 参考情報少なめ |
| Singular | 科学技術計算・数式処理 | 数学 | 参考情報少なめ |
| SISAL | システム・低レイヤー | 関数型 / HPC | 参考情報少なめ |
| SKI combinator calculus | 科学技術計算・数式処理 | 計算モデル | 参考情報少なめ |
| Skyrim Papyrus | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| Slang | ゲーム・クリエイティブ | シェーダ | 参考情報少なめ |
| Slim | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Smalltalk | 専門DSL・その他 | オブジェクト指向の源流 | 参考情報少なめ |
| Smartsheet formulas | 業務・メインフレーム・製品内言語 | 業務表計算 | 参考情報少なめ |
| Smithy | 専門DSL・その他 | API記述 | 参考情報少なめ |
| SML# | 関数型・Lisp・配列 | Standard ML互換の拡張を持つオープンソース関数型プログラミング言語 | 現行公式サイトあり・オープンソースで継続配布 |
| SMV | システム・低レイヤー | モデル検査 | 参考情報少なめ |
| Snakemake DSL | 専門DSL・その他 | 科学ワークフロー | 参考情報少なめ |
| SNOBOL | 教育・歴史・難解言語 | 文字列処理 | 参考情報少なめ |
| Snort rules | 専門DSL・その他 | IDS | 参考情報少なめ |
| Solidity | 専門DSL・その他 | Ethereumスマートコントラクト | 参考情報少なめ |
| Sonic Pi | システム・低レイヤー | 音楽教育・ライブコーディング | 参考情報少なめ |
| Soufflé Datalog | 形式手法・証明・論理 | 静的解析 | 参考情報少なめ |
| SourcePawn | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| SPARK | システム・低レイヤー | Ada系の形式検証向け | 参考情報少なめ |
| Specman e | 専門DSL・その他 | 検証 | 参考情報少なめ |
| Spectre netlist | ハードウェア・EDA・制御 | 回路 | 参考情報少なめ |
| Speedcoding | 教育・歴史・難解言語 | 歴史 | 参考情報少なめ |
| SPEF | システム・低レイヤー | 寄生抽出 | 参考情報少なめ |
| SPICE | ハードウェア・EDA・制御 | 回路シミュレーション | 参考情報少なめ |
| SpiceDB schema language | DevOps・設定・ビルド | 認可 | 参考情報少なめ |
| SPL | データベース・クエリ・分析 | Splunkの検索・ログ分析向けドメイン固有言語 | Splunk公式資料あり・SPL/SPL2を区別 |
| Spoofax SDF3 | 専門DSL・その他 | 言語ワークベンチ | 参考情報少なめ |
| Sporth | 専門DSL・その他 | 音響 | 参考情報少なめ |
| SQL | データベース・クエリ・分析 | データベース問い合わせ言語 | 参考情報少なめ |
| SQL dialects | データベース・クエリ・分析 | DB | 参考情報少なめ |
| SQL/PSM | データベース・クエリ・分析 | DB手続き | ISO/IEC標準・公式規格情報あり |
| Squirrel | ゲーム・クリエイティブ | ゲーム組み込みスクリプト | 公式サイト・公式リポジトリあり |
| SR | データベース・クエリ・分析 | 並行 | 参考情報少なめ |
| Ssiat | 専門DSL・その他 | 韓国語 | 参考情報少なめ |
| SSJS for SFMC | システム・低レイヤー | MA | 参考情報少なめ |
| StableHLO | 関数型・Lisp・配列 | ML IR | 参考情報少なめ |
| Stagecast Creator | データベース・クエリ・分析 | 教育 | 参考情報少なめ |
| Stan | 専門DSL・その他 | 統計モデリング | 参考情報少なめ |
| Standard ML | 関数型・Lisp・配列 | 関数型・言語理論 | 参考情報少なめ |
| StarCraft Trigger | データベース・クエリ・分析 | ゲームDSL | 参考情報少なめ |
| Starlark | DevOps・設定・ビルド | 設定 / ビルド | 参考情報少なめ |
| StarLogo | システム・低レイヤー | 教育 / エージェント | 参考情報少なめ |
| StarLogo TNG | システム・低レイヤー | 教育 | 参考情報少なめ |
| Stax | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| STL | ゲーム・クリエイティブ | 3D | 参考情報少なめ |
| Stratego | システム・低レイヤー | 変換DSL | 参考情報少なめ |
| Stratego/XT | システム・低レイヤー | 変換ツール | 参考情報少なめ |
| StreamIt | データベース・クエリ・分析 | ストリーム処理 | 参考情報少なめ |
| Subleq | システム・低レイヤー | OISC | 参考情報少なめ |
| sudoers syntax | DevOps・設定・ビルド | 設定DSL | 参考情報少なめ |
| Suika2 script | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| Sumo Logic query language | 形式手法・証明・論理 | ログ | 参考情報少なめ |
| Sunder | データベース・クエリ・分析 | システム | 参考情報少なめ |
| SuperCollider | データベース・クエリ・分析 | 音響合成・ライブコーディング | 参考情報少なめ |
| SuperTalk | 専門DSL・その他 | HyperCard系 | 参考情報少なめ |
| Suricata rules | 専門DSL・その他 | IDS | 参考情報少なめ |
| SurrealQL | データベース・クエリ・分析 | DBクエリ | 参考情報少なめ |
| SVA | ハードウェア・EDA・制御 | HDL検証 | 参考情報少なめ |
| SVG | 関数型・Lisp・配列 | ベクター | 参考情報少なめ |
| Swift | システム・低レイヤー | iOS/macOS、Apple サーバ・ツール | 公式リンクあり |
| SwiftUI DSL | システム・低レイヤー | UI DSL | 参考情報少なめ |
| SWRL | 関数型・Lisp・配列 | セマンティックWeb | 参考情報少なめ |
| Synopsys Tcl | ハードウェア・EDA・制御 | EDA | 参考情報少なめ |
| System F | 専門DSL・その他 | 理論言語 | 参考情報少なめ |
| System T | 形式手法・証明・論理 | 高階型の原始再帰を備える理論計算体系 | 歴史的・学術資料あり（現行の汎用処理系ではない） |
| SystemC | システム・低レイヤー | ハードウェア / C++ | 参考情報少なめ |
| systemd unit files | DevOps・設定・ビルド | 設定DSL | 参考情報少なめ |
| SystemTap | 専門DSL・その他 | 観測DSL | 参考情報少なめ |
| SystemVerilog | ハードウェア・EDA・制御 | 高度なハードウェア設計・検証 | 参考情報少なめ |
| T-SQL | データベース・クエリ・分析 | SQL Server内手続き | 参考情報少なめ |
| TACPOL | 汎用プログラミング言語 | 軍事 | 参考情報少なめ |
| TADS | ゲーム・クリエイティブ | IF | 参考情報少なめ |
| Taskfile | 関数型・Lisp・配列 | タスクDSL | 参考情報少なめ |
| Taxi | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Tcl | 教育・歴史・難解言語 | 組み込み・EDA・古典的スクリプト | 参考情報少なめ |
| Tcl/Tk | ハードウェア・EDA・制御 | GUI / EDA | 参考情報少なめ |
| TECO | 専門DSL・その他 | エディタ / 言語 | 参考情報少なめ |
| TensorFlow GraphDef | 関数型・Lisp・配列 | ML IR | 参考情報少なめ |
| Terra | データベース・クエリ・分析 | メタプログラミング / Lua系 | 参考情報少なめ |
| TeX | 専門DSL・その他 | 組版エンジン言語 | 参考情報少なめ |
| Textile | 専門DSL・その他 | マークアップ | 参考情報少なめ |
| TFX DSL | 関数型・Lisp・配列 | ML Ops | 参考情報少なめ |
| Thengascript | Web・UI・テンプレート | Malayalam / JS系 | 参考情報少なめ |
| Thrift IDL | DevOps・設定・ビルド | IDL | 参考情報少なめ |
| Thue | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| TikZ / PGF | 専門DSL・その他 | 図版 | 参考情報少なめ |
| TinyGo | システム・低レイヤー | 組み込みGo | 参考情報少なめ |
| TJS | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| TLA+ | 汎用プログラミング言語 | 分散システム仕様検証 | 参考情報少なめ |
| TLA+ PlusCal | 専門DSL・その他 | 仕様記述 | 参考情報少なめ |
| Tom language | 専門DSL・その他 | 書換 | 参考情報少なめ |
| TOML | 関数型・Lisp・配列 | 設定ファイル | 参考情報少なめ |
| ToonTalk | 教育・歴史・難解言語 | 教育 / ビジュアル | 参考情報少なめ |
| Touchstone | 専門DSL・その他 | RF | 参考情報少なめ |
| TRAC | システム・低レイヤー | マクロ | 参考情報少なめ |
| Tree-sitter grammar | データベース・クエリ・分析 | パーサ生成 | 参考情報少なめ |
| Trefunge | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| TriG | 専門DSL・その他 | RDF記法 | 参考情報少なめ |
| TrueType hinting bytecode | 専門DSL・その他 | フォント | 参考情報少なめ |
| TTCN-3 | 専門DSL・その他 | 通信テスト | 参考情報少なめ |
| TTSneo | 専門DSL・その他 | 日本語 / OOP | 参考情報少なめ |
| Turing | 教育・歴史・難解言語 | 教育 / Pascal系 | 参考情報少なめ |
| Turing Tarpit variants | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Turtle | 専門DSL・その他 | RDF記法 | 参考情報少なめ |
| Tutorial D | 専門DSL・その他 | 関係モデル | 参考情報少なめ |
| Twelf | 専門DSL・その他 | 論理フレームワーク | 参考情報少なめ |
| Twig | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Twine Chapbook | 専門DSL・その他 | 物語 | 参考情報少なめ |
| Twine Harlowe | 専門DSL・その他 | 物語 | 参考情報少なめ |
| Twine SugarCube | 専門DSL・その他 | 物語 | 参考情報少なめ |
| TXL | データベース・クエリ・分析 | ソース変換 | 参考情報少なめ |
| TXR | 関数型・Lisp・配列 | テキスト処理 | 参考情報少なめ |
| TXR Lisp | 関数型・Lisp・配列 | Lisp系 | 参考情報少なめ |
| TypeQL | データベース・クエリ・分析 | 知識DB | 参考情報少なめ |
| TypeScript | Web・UI・テンプレート | 大規模 Web、Node | 公式リンクあり |
| Typst | 専門DSL・その他 | 組版 | 参考情報少なめ |
| Typst scripting | 汎用プログラミング言語 | 組版 / 関数型 | 参考情報少なめ |
| TyranoScript | ゲーム・クリエイティブ | ノベルゲーム | 参考情報少なめ |
| UCF | ハードウェア・EDA・制御 | FPGA制約 | 参考情報少なめ |
| Unchiku | 教育・歴史・難解言語 | 日本語 / 教育 | 参考情報少なめ |
| Underload | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Unicon | 専門DSL・その他 | Icon派生 | 参考情報少なめ |
| Unison | 専門DSL・その他 | 分散 / 関数型 | 参考情報少なめ |
| Unlambda | 教育・歴史・難解言語 | 難解 / 関数型 | 参考情報少なめ |
| UnQL | データベース・クエリ・分析 | 文書指向データ向けのSQL風問い合わせ言語案（歴史的） | 歴史的提案・現行公式仕様サイトは確認できず |
| Unreal Verse | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| UPF | データベース・クエリ・分析 | 電源仕様 | 参考情報少なめ |
| Ur/Web | 関数型・Lisp・配列 | Web / 関数型 | 参考情報少なめ |
| URScript | 汎用プログラミング言語 | ロボット | 参考情報少なめ |
| USD ASCII | ゲーム・クリエイティブ | 3Dシーン記述 | 参考情報少なめ |
| UVM | 専門DSL・その他 | 検証フレームワーク | 参考情報少なめ |
| V | システム・低レイヤー | Go風のシンプル言語 | 参考情報少なめ |
| VAL | 教育・歴史・難解言語 | ロボット | 参考情報少なめ |
| Vale | 汎用プログラミング言語 | システム | 参考情報少なめ |
| Varnish VCL | 専門DSL・その他 | キャッシュ | 参考情報少なめ |
| VBA | 業務・メインフレーム・製品内言語 | Excel/Office自動化 | 参考情報少なめ |
| VDM-SL | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| VDM++ | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| Velato | ゲーム・クリエイティブ | 難解 / 音楽 | 参考情報少なめ |
| Velocity Template Language | Web・UI・テンプレート | テンプレート | 参考情報少なめ |
| Verilog | ハードウェア・EDA・制御 | FPGA/ASIC記述 | 参考情報少なめ |
| Verilog-A | ハードウェア・EDA・制御 | アナログHDL | 参考情報少なめ |
| Verilog-AMS | ハードウェア・EDA・制御 | 混在信号HDL | 参考情報少なめ |
| VHDL | ハードウェア・EDA・制御 | FPGA/ASIC記述 | 参考情報少なめ |
| Vim9script | 専門DSL・その他 | Vim新構文 | 参考情報少なめ |
| Vimscript | 専門DSL・その他 | Vim拡張 | 参考情報少なめ |
| Virgil | 汎用プログラミング言語 | システム / VM | 参考情報少なめ |
| Visual Basic .NET | システム・低レイヤー | .NET既存資産・業務システム | 参考情報少なめ |
| VisuAlg | システム・低レイヤー | ポルトガル語 | 参考情報少なめ |
| VRML | 関数型・Lisp・配列 | 3D Web | 参考情報少なめ |
| Vyper | データベース・クエリ・分析 | Python風スマートコントラクト | 参考情報少なめ |
| Vyxal | 教育・歴史・難解言語 | コードゴルフ | 参考情報少なめ |
| Warcraft III JASS | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| WATFIV | 専門DSL・その他 | Fortran系 | 参考情報少なめ |
| WATFOR | データベース・クエリ・分析 | Fortran系 | 参考情報少なめ |
| Wavefront OBJ | ゲーム・クリエイティブ | 3D | 参考情報少なめ |
| WDL | 専門DSL・その他 | 科学ワークフロー | 参考情報少なめ |
| WebAssembly Text Format | Web・UI・テンプレート | Wasm低レベル表現 | 参考情報少なめ |
| WFL | 専門DSL・その他 | Burroughs | 参考情報少なめ |
| WGSL | Web・UI・テンプレート | WebGPUシェーダ | 参考情報少なめ |
| Whenever | データベース・クエリ・分析 | 難解 | 参考情報少なめ |
| Whirl | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| Wierd | 教育・歴史・難解言語 | 難解 | 参考情報少なめ |
| WikiText | 専門DSL・その他 | マークアップ | 参考情報少なめ |
| WML | 関数型・Lisp・配列 | ゲーム設定 | 参考情報少なめ |
| Wolfram 2,3 Turing machine | 科学技術計算・数式処理 | 計算モデル | 参考情報少なめ |
| Wolfram Language | 科学技術計算・数式処理 | 数式処理・計算知識 | 参考情報少なめ |
| Wren | 汎用プログラミング言語 | 組み込みスクリプト | 参考情報少なめ |
| WSDL | Web・UI・テンプレート | API記述 | 参考情報少なめ |
| X++ | 専門DSL・その他 | Microsoft Dynamics AX / Finance & Operations | 参考情報少なめ |
| X10 | 専門DSL・その他 | 並列分散計算・研究寄り | 参考情報少なめ |
| X3D | 関数型・Lisp・配列 | 3D Web | 参考情報少なめ |
| XAML | 関数型・Lisp・配列 | UI記述 | 参考情報少なめ |
| xBase | データベース・クエリ・分析 | DB系総称 | 参考情報少なめ |
| XDC | ハードウェア・EDA・制御 | FPGA制約 | 参考情報少なめ |
| XML | 関数型・Lisp・配列 | データ / マークアップ | 参考情報少なめ |
| XPath | 関数型・Lisp・配列 | XML問い合わせ | 参考情報少なめ |
| XSL-FO | 関数型・Lisp・配列 | 組版 | 参考情報少なめ |
| XSLT | 関数型・Lisp・配列 | XML変換 | 参考情報少なめ |
| xTalk | 専門DSL・その他 | HyperCard系総称 | 参考情報少なめ |
| XTDB Datalog | 形式手法・証明・論理 | DBクエリ | 参考情報少なめ |
| Xtend | 専門DSL・その他 | JVM | 参考情報少なめ |
| yacc grammar | システム・低レイヤー | パーサ生成 | 参考情報少なめ |
| YAML | 関数型・Lisp・配列 | 設定・CI/CD・Kubernetes | 参考情報少なめ |
| YARA | 専門DSL・その他 | マルウェア検知 | 参考情報少なめ |
| Yedalog | 形式手法・証明・論理 | Datalog系 | 参考情報少なめ |
| YQL | 教育・歴史・難解言語 | クエリ | 参考情報少なめ |
| Z notation | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| Z-machine bytecode | ゲーム・クリエイティブ | IF VM | 参考情報少なめ |
| Z/Eves | 専門DSL・その他 | 形式仕様 | 参考情報少なめ |
| Zanzibar-style DSLs | 専門DSL・その他 | 関係ベース認可モデル記述DSL群 | 実装ごとに仕様確認が必要・公式情報あり |
| Zapier Formatter expressions | データベース・クエリ・分析 | 自動化 | 参考情報少なめ |
| Zeek script | 汎用プログラミング言語 | ネットワーク監視 | 参考情報少なめ |
| Zig | システム・低レイヤー | C代替・システム・組み込み・ビルドツール | 参考情報少なめ |
| ZIL | ゲーム・クリエイティブ | IF / 歴史 | 参考情報少なめ |
| ZScript | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| Zsh | 汎用プログラミング言語 | シェル・対話環境・スクリプト | 参考情報少なめ |
| ZZT-OOP | ゲーム・クリエイティブ | ゲーム | 参考情報少なめ |
| π-calculus notation | 専門DSL・その他 | 形式モデル | 参考情報少なめ |
| КуМир | 教育・歴史・難解言語 | ロシア語 / 教育 | 参考情報少なめ |
| قلب | 専門DSL・その他 | アラビア語 | 参考情報少なめ |
| ひまわり | データベース・クエリ・分析 | 日本語 | 参考情報少なめ |
| プロデル | データベース・クエリ・分析 | 日本語 | 参考情報少なめ |
| 言語 | 専門DSL・その他 | 主な用途 | 参考情報少なめ |
| 言語 / 記法 | 専門DSL・その他 | 分類 | 参考情報少なめ |
| 記法 | 専門DSL・その他 | 分類 | 参考情報少なめ |