オープンソース。新しい可能性。

Kotobaは、AIエージェント向けのセキュリティ重視の宣言型言語およびコンピューティングスタックで、能力安全な実行、既定の耐量子暗号、コンテンツアドレス化された成果物、明示的な権限境界を強制し、信頼できないコードを制限します。

Zapは、スタンドアロンのネイティブランタイムを備えた汎用プログラミング言語で、明確な構文、オプションの型付け、および外部依存関係なしの組み込みWeb機能を備えています。

SparkLangは、.sparkファイルを扱うMITライセンスの言語およびランタイムです。ドライラン優先のCLI、コンパイル/バイトコードダンプ、IDE操作、プレイブック、モデルラボ操作を備え、ライブゲートウェイ、音声、ブラウザ、CUDAなどのオプションサーフェスを提供します。

Xagは、Rustスタイルのメモリ所有権、高いパフォーマンスへの注力、詳細なエラーメッセージを特徴とするコンパイル型プログラミング言語です。LLVMを介してネイティブコードにコンパイルされるか、インタープリタを介して実行されます。ハードウェアおよび独立した参照に対して強力な10進数演算検証が行われている、初期段階の進行中の作業です。

Blockは、Python、JavaScript、Lua、PHP、SQL、PowerShellなど複数言語を単一の.blkファイルに記述できるローカル優先のポリグロット・オーケストレーション・エンジンです。ホストランタイムを連携させ、ブロック間でシリアライズ可能な共有状態を受け渡し、WindowsのCLIで動作します。エディションはLite、Standard、Plusの3種類です。

kansoは、ソースファイルに「決定」のみを含めることを目的とした小規模な言語です。レイアウトや命名、宣言順序をコンパイラが強制するため、非標準的なコードは構文エラーとなります。ツリー歩行インタプリタ、LLVMベースのネイティブコンパイラ、WebAssemblyバックエンドを提供しています。

PromiseはAIエージェントが正しく保守しやすいコードを書くために設計された静的型付けプログラミング言語。明示的所有権、goroutine風並行性、代数的エラー処理、ジェネリクス、パターンマッチを備え、Linux、macOS、Windows、WASM向けにLLVMでネイティブコンパイルする。