programming-language

証明指向プログラミング言語

Jaktプログラミング言語

Intel® Implicit SPMD Program Compiler

Agda は依存型プログラミング言語および対話型定理証明系です

Python と互換性のある静的型付け言語

Beef プログラミング言語

コンピュータ科学の主要分野にわたるリソースコレクション

テンソル計算とディープラーニングに関する素晴らしいコンパイラプロジェクトと論文のリスト

Flix プログラミング言語

Zig プログラミング言語のためのオープンで技術的な入門書 📚📖

物理次元と単位をファーストクラスでサポートする、科学計算用の静的型付けプログラミング言語

Rust製の埋め込み型Schemeインタプリタ

ACM-ICPC 準備ガイド

高品質で定番のコンピュータ書籍の推薦リスト。厳選された高品質な各分野の名著のみを集めています。

Lua に強く影響を受けた、ミニマルで効率的、静的型付きでメタプログラミング可能なシステムプログラミング言語。C およびネイティブコードにコンパイルされます。

KCLプログラミング言語のコアおよびAPI（CNCFサンドボックスプロジェクト）。https://kcl-lang.io

MoonBitプログラミング言語のドキュメント。

不気味なコードの無意味なコレクション

リテレートプログラミングの仕様記述のためのプログラミング言語

Rust向けの組み込み可能な動的プログラミング言語。

Natureプログラミング言語

言語、バックエンド、インフラを含むDarklangのメインリポジトリ

プログラミング言語の学習に役立つゲームの厳選リスト

ゲームスクリプト向けのモダンな C で書かれたポータブルな Python 3.x インタープリター

Umka: 静的型付けを持つ組み込み可能なスクリプト言語

Command-Line Rustのコード（O'Reilly、2024年、ISBN 9781098109417）

生産性の高い並行プログラミング言語

Valeプログラミング言語用コンパイラ - http://vale.dev/

Fusion プログラミング言語。C、C++、C#、D、Java、JavaScript、Python、Swift、TypeScript、OpenCL C にトランスパイルします。

次世代IDEを目指すlamdu