programming-languages

Odinプログラミング言語

プログラミング言語理論 λΠ

Telegramグループ、チャンネル、ボットのリスト // Список интересных групп, каналов и ботов телеграма // プログラマー向けチャットリスト

高水準言語のように記述し、Cのように実行する。

Javascriptを使ったプログラミングの基礎を教えるGitBook

主要なアルゴリズムを、分かりやすい言葉と例、さまざまなプログラミング言語での実装へのリンク、その他の必要なリソースとともに解説します。

cuda-oxide は、安全で慣用的な Rust で (SIMT) GPU カーネルを記述できる実験的な Rust-to-CUDA コンパイラです。標準的な Rust コードを直接 PTX にコンパイルします（DSL や外部言語バインディングはなく、純粋な Rust です）。

Rubinius言語プラットフォーム

100 以上のプログラミング言語による素数計算プロジェクト。速度とプログラマーの機知を比較します。

さまざまな言語向けにあらかじめ設定されたスニペットのセット。

設計および開発ガイド

プログラミング言語とコンパイラ技術に関する資料（随時更新）。

Agda によるプログラミング言語理論の入門

すぐに使えるコードプレイグラウンド

テキストベースのプログラミング言語向けの高精度な診断レポート機能。

Py4J を使用すると、Python プログラムから任意の Java オブジェクトに動的にアクセスできます。

HolyC コンパイラおよびトランスパイラ

GitHub の言語統計

Lisp系プログラミング言語のリスト

異なるコミュニティはどのように会話するのか？

PLDB: プログラミング言語データベース

cuTile Rustは、Rustプログラミング言語向けに安全なタイルベースのカーネルプログラミングDSLを提供します。非同期実行されるカーネル関数にテンソルを渡すための安全なホスト側APIを備えています。

さまざまなプログラミング言語の実行速度を比較するリポジトリ

複雑なプログラミング概念をスムーズかつ分かりやすく解説し、優れた図解を用いてソフトウェア工学のさまざまな分野における優れた技術コンテンツを提供します。

すべてのプログラミング言語によるサンプルプログラム

Checked C をサポートするために修正中の clang のバージョンが含まれるリポジトリ。Checked C は、コンパイラによって型安全性が保証された C コードを書くことを可能にする C 言語の拡張です。