中國人主導編程語言列表
此 Awesome 列表用于收錄中國人主導的編程語言。
中國人主導編程語言列表
加載中
Unilang —— 深度 deepin 自研編程語言
Unilang 是 deepin 自研的全新編程語言。Unilang 目標是成為一門現代的通用目的編程語言，能夠有效、靈活地開發桌面環境應用，去統籌解決現有不足的新的方案中的語言部分。
更新于 2022/09/18 19:41
ReScript —— 類型化 JavaScript
ReScript 是一種強大的類型化語言，可以編譯成高效且可讀性高的 JavaScript。ReScript 包含了一個快速的編譯器工具鏈，可以擴展到任何代碼庫的大小。
更新于 2022/08/03 16:09
Go+ —— 為數據科學而生的編程語言
Go+ 是一門適用于工程、STEM 教育和數據科學的編程語言。主要特性包括：靜態類型語言、與 Go 完全兼容、腳本化的風格，以及比 Go 更易于閱讀的數據科學代碼。
更新于 2022/08/03 16:07
凹語言 —— 國內 Go 開發者設計的實驗性編程語言
凹語言?（凹讀音 “Wa”）是國內 Go 開發者設計的實驗性編程語言。發起者稱其為“披著 Go 和 Rust 語法外衣的 C++ 語言”。
更新于 2022/08/03 16:06
HVML —— 可編程標記語言
HVML 即 Hybrid Virtual Markup Language，能夠讓熟悉 C/C++ 或其他編程語言的開發者可以通過 HVML 使用 Web 前端技術（如 HTML/SVG/MathML 和 CSS）輕松開發 GUI 應用程序。
更新于 2022/08/03 16:04
CovScript —— 跨平臺腳本編程語言
CovScript 是一門跨平臺、開放源代碼的動態類型腳本編程語言，具有高效、易懂、可靠的特點，充分吸收了現代編程語言研究的成果，與 C、C++ 等現代語言有良好的可交互性。
更新于 2022/08/03 16:04
Calcit —— 縮進語法的 Clojure 方言
Calcit 是縮進語法的 Clojure 方言，基于 Rust 解釋執行，支持編譯為 *.mjs 使用。
更新于 2022/08/03 16:03
Cicada（蟬語）—— 依賴類型編程語言
Cicada（蟬語）是一門依賴類型編程語言，一個交互式定理證明器。蟬語項目主要是為了幫助大眾理解開發軟件和研究數學事實上是同一類活動，實踐這兩項活動的人可以相互學習，并以非常好的方式相互幫助。
更新于 2022/08/03 16:01
Aya —— 形式化數學編程語言
Aya 是一種編程語言和證明助手，專為形式化數學和類型導向編程而設計。Aya 的類型系統具有類似于 Arend 的同源性 (homotopical) 特征、重疊但匯合的模式匹配以及對定義等式 (definitional equalities) 的抽象。
更新于 2022/08/03 16:00
OpenBlock —— 可視化塊編程語言
OpenBlock 是可視化塊編程語言，是一門希望通過將編程簡化、將業務邏輯可視化的圖形化編程語言，語言特性上有 Erlang 和 Smalltalk 的影子，語法層面借鑒了 Scratch，使用 Blockly 作為語言前端。
更新于 2022/08/03 15:59
草蟒 —— 基于 Python 的全中文編程語言
草蟒是 Python 漢化版，開發草蟒的目的是消除英語門檻，提供一種簡單自然、易學易用、功能強大、應用廣泛的中文編程語言，讓普通國人能自由地使用母語進行編程。
更新于 2022/08/03 15:55
木蘭編程語言 —— 基于 Python 實現的編程語言
木蘭編程語言是基于 Python 實現的編程語言，木蘭源代碼轉換為 Python 的中間表示（AST）后執行，可實現各種語法設計與周邊功能，并可方便地利用 Python 現有生態。
更新于 2022/08/03 15:54
KCL —— 開源配置策略語言
Kusion 配置語言 (KCL, Kusion Configuration Language) 是一種開源配置語言，主要用于 Kusion Stack 開放協同技術棧。并且 KCL 是一種基于聲明性和面向對象編程 (OOP) 范式等概念，用于配置和策略場景的靜態類型語言。
更新于 2022/08/03 15:52
氣 (Qi) —— 輕量級中文編程語言
氣 (Qi) 是一種輕量級、快速、開源的中文編程語言。作者表示，他希望這種語言能夠快速、輕巧，并且完全透明，就像空氣一樣。
更新于 2022/08/03 15:51
沒有更多內容
加載失敗，請刷新頁面
沒有更多內容
公眾號
視頻號
深圳市奧思網絡科技有限公司版權所有
粵ICP備12009483號
