Adaソフトウェアおよびツールの一覧

これは、 Adaプログラミング言語用のソフトウェアおよびプログラミングツールの一覧です。IDE 、コンパイラ、ライブラリ、検証およびデバッグツール、数値計算および科学計算ライブラリ、関連プロジェクトなどが含まれます。

• GNAT — AdaCore ^{[ 1 ]}によって保守されているGCC Ada コンパイラおよびツールチェーン
• AdaCore GNAT Pro — 高信頼性およびリアルタイムシステム向けの高度なツールを備えた商用Adaコンパイラ^{[ 2 ]}
• Green Hillsコンパイラ（Ada用） —組み込みシステムおよび安全性が重要なシステム向けのAdaコンパイラ^{[ 3 ]}
• ObjectAda — 安全性が重視される組み込みシステム向けのAda開発環境^{[ 4 ]}

• GNAT Studio — AdaCoreによって開発されたIDE ^{[ 5 ]}
• Emacs — Adaモードと構文チェックによるAda編集をサポート^{[ 6 ]}
• Eclipseは GNATbench プラグインを介して Ada をサポートしています^{[ 7 ] [ 8 ]}
• Visual Studio Code — Ada Language Server拡張機能によるAdaのサポート^{[ 9 ]}

参照:ウィキブックの Ada ライブラリ

• Ada.Calendar — 日付と時刻のライブラリ
• Ada Web Services (AWS) — RESTfulおよびSOAP Web サービスのサポート^{[ 10 ] [ 11 ]}
• Ada.Text_IO — テキスト入出力のための標準ライブラリ
• Florist（POSIX Adaバインディング） – POSIX Adaバインディングのオープンソース実装
• GNAT – GCCの一部であるAdaコンパイラであり、広範なランタイムおよびライブラリパッケージ階層も提供する。^{[ 12 ]}
• GtkAda – GTK+グラフィカルユーザーインターフェースツールキット用のAdaバインディング
• Matreshka – Unicode、XML、JSONなどをサポートする多目的Adaフレームワーク。
• XML/Ada – XMLおよびUnicode処理ライブラリ

• Adaのタスク処理― タスク、保護オブジェクト、ランデブーによる組み込みの並行処理サポート。
• Ada.Real_Time — リアルタイムクロック、遅延、スケジューリング。
• ARINC 653 Ada プロファイル - 航空電子機器のリアルタイム アプリケーション用^{[ 13 ]}
• OpenMP Adaバインディング — マルチコア組み込みシステム向け並列プログラミング^{[ 14 ]}
• Ravenscarプロファイル- リアルタイムかつ決定論的な実行のためのAdaタスク処理のサブセット^{[ 15 ]}

• Ada.Numerics ― 数値計算、線形代数、および数学関数のためのライブラリ。
• SPARK 数学ライブラリ — 形式手法に準拠した数値ルーチン^{[ 16 ]}

• GNATprove — AdaとSPARKのための形式検証および静的解析ツール^{[ 17 ]}
• GNATstack — ランタイムスタック分析とチェック^{[ 18 ]}
• GNATcoverage — Adaプロジェクトのコードカバレッジ測定^{[ 19 ]}
• AdaControl — Ada のスタイルチェックとメトリクス^{[ 20 ]}

• AUnit — Ada の単体テストフレームワーク^{[ 21 ]}
• GNATtest — Ada 用の自動テストフレームワーク^{[ 22 ]}

• GNATdoc — AdaソースコードからHTMLドキュメントを生成する^{[ 23 ]}

• 高信頼性ソフトウェア
• プログラミング言語別のソフトウェア開発ツール一覧
• SPARK（プログラミング言語） — Ada言語をベースに正式に定義されたコンピュータプログラミング言語
• Wikibooks Adaプログラミング

• AdaCore — GNAT、SPARK、およびその他のAdaツール
• エイダ情報クリアリングハウス
• Awesome-Ada – AdaソフトウェアとツールのGitHubリスト
• 無料かつオープンソースのAdaツール
• GNAT / GCC Adaコンパイラ

• 「ツール | Libre」。2012年7月17日にオリジナルからアーカイブされました。2025年11月27日に取得。