bendlang/bend

外部のオープンソース リポジトリを紹介するページです。HDATFの製品ではありません。

何をするか

宣言した規則と数学的証明でコードの正しさを確認するプログラミング言語です。コンパイラは並列実行にも対応します。

ATFへの役立ち方

HarnessでAIが生成したコードを明示的な規則に照らして確認する方法を参考にできます。

ライセンス

Apache-2.0 寛容で特許許諾を含みます。商用利用できます。告知を残し、変更点を明記します。

同じ分野のリポジトリ

• qiz029/dscode
  DSCODEはDeepSeek Harnessを基盤とするmacOS向けのターミナル型コーディングエージェントです。永続シェル、TUI、CLI、スクリプトがセッション実行環境を共有し、セッション間でタスクの引き継ぎや独立したレビューの依頼ができます。
• smithy-lang/smithy-rs
  Rustのクライアント、サーバー、AWS SDKを作るSmithyコード生成器です。プロジェクトは内部と外部のインターフェースが不安定だと明記しています。
• zai-org/ZCode
  デスクトップ、ブラウザ、端末のインターフェースを提供するAIコーディング作業環境です。クライアント、バックエンドサービス、共通UI、エージェントCLIとランタイムのソースを含みます。
• miuuyy/codex-chatgpt-web
  Codexのモデル選択リストにChatGPT Webのモデル(Pro含む)を追加するlauncherです。CodexのquotaではなくChatGPT Webの利用上限を使い、full harnessモードではMCPを通じてタスクのファイル、ターミナル、tool、承認をChatGPTにつなぎます。
• zeronsh/zeron
  Claude Code、Codex、Cursorなどのコーディングagentを制御するネイティブなcontrol planeです。端末ごとにローカルエンジンが動いてセッションをその端末に保存し、ログインすると複数端末の同期を選べます。

Trendshiftのランキングに入ったリポジトリだけを載せ、リストは候補を探すためだけに使いました。順位の数字は転載していません。説明、ライセンス、スター数は各GitHubリポジトリで確認しました。解説は私たちの判断です。これらを試験したわけではなく、上昇リストに載ったことは品質の証明ではありません。