programming-language

究極のPython学習ガイド 🐍 🐍 🐍

音楽家向けの音楽プログラミング言語。:notes:

Luaをベースとした、小規模で高速、埋め込み可能な、段階的型システムを備えたプログラミング言語。

Rustの書籍リスト

:books: 《Go言語カスタムガイド》 (原題: Go構文木入門/オープンソース無料書籍/Go言語上級/抽象構文木を習得/Go言語AST)

Apache Groovy：JVMプラットフォーム向けの強力で多面的なプログラミング言語

クラウドのためのプログラミング言語 ☁️ インフラストラクチャとランタイムコードを単一の言語に統合した統一されたプログラミングモデル ⚡

JVM上でホストされる高性能なスクリプト言語。

エソテリックプログラミング言語

:books: Go言語聖書（中国語版） 🇨🇳

次世代のビジュアルプログラミングシステム

🦁 Leoプログラミング言語。形式的に検証されたゼロ知識アプリケーションのためのプログラミング言語

信頼できないファイルフォーマットを安全に扱う

BorgoはGoにコンパイルされる静的型付け言語である。

Gravityプログラミング言語

😎 WebAssemblyに直接コンパイルされる、またはVMを持つ言語のキュレーションされたリスト

シンプルでエレガントなPython的な関数型プログラミング。

🍃 フロントエンドWebのための爽快なプログラミング言語。

制約駆動型かつ効率的なLLMプログラミングのための言語。

Typescriptで書かれたおもちゃのプログラミング言語。

Ballerinaプログラミング言語。

Go向けの高速スクリプト言語

楽しむために、他のプログラミング言語の標準ライブラリをTypeScriptに持ち込む

Pプログラミング言語。

Dafny は、検証機能を備えたプログラミング言語です

Rustで書かれた、静的型付きで型推論をサポートする埋め込み可能な言語。

jank は、C++ とシームレスに相互運用できるネイティブの Clojure 方言です。

dmd D プログラミング言語コンパイラ

Checked C は、プログラマが境界チェックと型安全性の向上を備えた C コードを書けるようにする C 言語の拡張です。既存の C コードを簡単に型安全にし、すべてのエラークラスを排除できるようにすることを目的としています。

厳選された素晴らしいOCamlのツール、フレームワーク、ライブラリ、記事のコレクション。