主题 · programming-language

programming-language

标记 programming-language 主题、收录中的开源项目，按星标数排序。

共 191 个项目

#31
ultimate-python ↗@huangsamPython
终极 Python 学习指南 🐍 🐍 🐍
★ 5,943+2近 7 天星标变化
#32
alda ↗@alda-langGo
为音乐人设计的音乐程序语言。
★ 5,940+5近 7 天星标变化
#33
luau ↗@luau-langC++
基于 Lua、具渐进式类型系统的小型快速嵌入式编程语言
★ 5,825+10近 7 天星标变化
#34
RustBooks ↗@sger
Rust 书籍清单
★ 5,616+9近 7 天星标变化
#35
go-ast-book ↗@chai2010Go
:books: 《Go语言定制指南》（原名：Go语法树入门/开源免费图书/Go语言进阶/掌握抽象语法树/Go语言AST）
★ 5,514+3近 7 天星标变化
#36
groovy ↗@apacheJava
Apache Groovy：一种强大的多面向 JVM 程序语言
★ 5,466+3近 7 天星标变化
#37
wing ↗@winglangTypeScript
云端编程语言 ☁️ 统一编程模型，将基础设施与运行码结合于同一语言 ⚡
★ 5,399+1近 7 天星标变化
#38
aviatorscript ↗@killme2008Java
一种高效能的脚本语言，执行于 JVM 上。
★ 5,242+2近 7 天星标变化
#39
Orca ↗@hundredrabbitsJavaScript
Esoteric Programming Language
★ 5,079+4近 7 天星标变化
#40
gopl-zh.github.com ↗@gopl-zhGo
📚 Go 语言圣经中文版 🇨🇳
★ 4,991+1近 7 天星标变化
#41
unit ↗@samuelmtimboTypeScript
下一代视觉化程序设计系统
★ 4,920+0近 7 天星标变化
#42
leo ↗@ProvableHQRust
🦁 Leo 编程语言。为形式验证、零知识应用而设计的编程语言
★ 4,821+0近 7 天星标变化
#43
wuffs ↗@googleC
安全处理不受信任的文件格式
★ 4,821+0近 7 天星标变化
#44
borgo ↗@borgo-langRust
Borgo 是一种静态类型语言，编译至 Go
★ 4,638-1近 7 天星标变化
#45
gravity ↗@marcobambiniC
Gravity Programming Language
★ 4,564+3近 7 天星标变化
#46
awesome-wasm-langs ↗@appcypher
😎 精选直接编译至 WebAssembly 或其 VM 为 WebAssembly 的语言
★ 4,440+0近 7 天星标变化
#47
coconut ↗@evhubPython
简单、优雅、Pythonic 的函数式编程。
★ 4,354+2近 7 天星标变化
#48
mint ↗@mint-langCrystal
🍃 一种为前端网页设计的清新程序语言
★ 4,264-2近 7 天星标变化
#49
lmql ↗@eth-sriPython
一种用于约束引导和高效 LLM 编程的语言
★ 4,209+0近 7 天星标变化
#50
bhai-lang ↗@DulLabsTypeScript
用 Typescript 编写的玩具程序语言
★ 4,091-1近 7 天星标变化
#51
ballerina-lang ↗@ballerina-platformBallerina
Ballerina程式语言
★ 3,849+2近 7 天星标变化
#52
tengo ↗@d5Go
为Go提供的快速脚本语言
★ 3,831+0近 7 天星标变化
#53
locutus ↗@locutusjsTypeScript
将其他编程语言的标准库带到 TypeScript，纯粹为了好玩
★ 3,763+0近 7 天星标变化
#54
P ↗@p-orgC#
The P programming language
★ 3,673+3近 7 天星标变化
#55
dafny ↗@dafny-langC#
Dafny is a verification-aware programming language
★ 3,520+1近 7 天星标变化
#56
gluon ↗@gluon-langRust
静态、类型推断且可嵌入的语言，使用 Rust 写成
★ 3,441+6近 7 天星标变化
#57
jank ↗@jank-langC++
jank 是一个具备无缝 C++ 互操作性的原生 Clojure 方言。
★ 3,322+1近 7 天星标变化
#58
dmd ↗@dlangD
dmd D 编程语言编译器
★ 3,305+3近 7 天星标变化
#59
checkedc ↗@checkedcC
Checked C 是 C 的扩充，允许程序设计师以边界检查与改进型别安全写 C 代码。目标是让使用者轻松将现有 C 代码转为型别安全，消除整类错误
★ 3,258+1近 7 天星标变化
#60
awesome-ocaml ↗@ocaml-community
精选的 OCaml 工具、框架、函数库与文章集合。
★ 3,112+1近 7 天星标变化

← 返回主题列表