主題 · programming-language

programming-language

標記 programming-language 主題、收錄中的開源專案，依星數排序。

共 191 個專案

#61
FStar ↗@FStarLangF*
面向證明的程式語言
★ 3,103+4近 7 天星數變化
#62
jakt ↗@SerenityOSC++
Jakt 程式語言
★ 2,988-1近 7 天星數變化
#63
ispc ↗@ispcC++
Intel® 隱式 SPMD 程式編譯器
★ 2,950+0近 7 天星數變化
#64
agda ↗@agdaHaskell
Agda 是一種依賴型編程語言 / 交互式定理證明器
★ 2,922+3近 7 天星數變化
#65
erg ↗@erg-langRust
與 Python 相容的靜態類型語言
★ 2,859-1近 7 天星數變化
#66
Beef ↗@beefytechC++
Beef 程式語言
★ 2,846+0近 7 天星數變化
#67
Computer-Science-Resources ↗@the-akira
涵蓋電腦科學關鍵領域的資源集合
★ 2,809+2近 7 天星數變化
#68
awesome-tensor-compilers ↗@merrymercy
張量運算與深度學習的優秀編譯器專案及論文列表
★ 2,776+1近 7 天星數變化
#69
flix ↗@flixFlix
Flix 程式語言
★ 2,734+0近 7 天星數變化
#70
zig-book ↗@pedropark99Zig
一本開放、具技術性且適合入門的 Zig 程式語言書籍 📚📖
★ 2,687+3近 7 天星數變化
#71
numbat ↗@sharkdpRust
用於科學計算的靜態型別程式語言，原生支援實體維度與單位
★ 2,675+4近 7 天星數變化
#72
steel ↗@mattwparasRust
一個用 Rust 寫的嵌入式 Scheme 直譯器
★ 2,564+7近 7 天星數變化
#73
ACM-ICPC-Preparation ↗@BedirTC++
ACM-ICPC 準備指南
★ 2,500+2近 7 天星數變化
#74
CS-Ebook ↗@lining808Python
一個高品質、經典電腦書籍推薦清單，特點為：只收集高品質、各方向經典書籍，不求書多，只求書精。
★ 2,443+0近 7 天星數變化
#75
nelua-lang ↗@edubartLua
極簡、高效、具靜態型別且支援元編程的系統程式語言，深受 Lua 啟發，可編譯為 C 與原生程式碼。
★ 2,416+0近 7 天星數變化
#76
kcl ↗@kcl-langRust
KCL 程式語言核心與 API（CNCF 沙箱專案）。https://kcl-lang.io
★ 2,408+4近 7 天星數變化
#77
moonbit-docs ↗@moonbitlangMoonBit
MoonBit 程式語言的文件
★ 2,400+8近 7 天星數變化
#78
CreepyCodeCollection ↗@MinhasKamalC
噁心程式碼的無意義集合
★ 2,400-1近 7 天星數變化
#79
catala ↗@CatalaLangOCaml
用於文學編程法律規範的程式語言
★ 2,373+4近 7 天星數變化
#80
rune ↗@rune-rsRust
一個適用於 Rust 的可嵌入動態程式語言。
★ 2,317+3近 7 天星數變化
#81
nature ↗@nature-langC
Nature 程式語言
★ 2,254+0近 7 天星數變化
#82
dark ↗@darklangF#
Darklang 主儲存庫，包含語言、後端與基礎設施
★ 2,169+0近 7 天星數變化
#83
awesome-games-of-coding ↗@michelpereira
精選的遊戲清單，教你如何學習程式語言。
★ 2,149+0近 7 天星數變化
#84
pocketpy ↗@pocketpyC
以現代 C 語言實作的遊戲腳本用可攜式 Python 3.x 直譯器
★ 2,113+1近 7 天星數變化
#85
umka-lang ↗@vtereshkovC
Umka：靜態型別嵌入式手稿語言
★ 2,098+5近 7 天星數變化
#86
command-line-rust ↗@kyclarkRust
命令列 Rust 程式碼（O'Reilly, 2024, ISBN 9781098109417）
★ 2,025+0近 7 天星數變化
#87
chapel ↗@chapel-langChapel
具生產力的並行程式設計語言
★ 2,020+1近 7 天星數變化
#88
Vale ↗@ValeLangScala
Vale 程式語言的編譯器 - http://vale.dev/
★ 2,008+0近 7 天星數變化
#89
fut ↗@fusionlanguageC++
Fusion 程式語言。可轉譯為 C、C++、C#、D、Java、JavaScript、Python、Swift、TypeScript 與 OpenCL C。
★ 1,927+0近 7 天星數變化
#90
lamdu ↗@lamduHaskell
lamdu - 邁向新一代 IDE
★ 1,899+0近 7 天星數變化

← 返回主題列表