全部标签
目录标签

#programming-language

公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。

84 条记录
标签为“programming-language”按健康指数排序
Maven
98卓越健康指数
ballerina-platform/ballerina-lang
The Ballerina Programming Language
Ballerina · Java★ 3,8562026年9月18日
Apache-2.02026年9月18日 · 指标 2.10.0
npm · crates.io
98卓越健康指数
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
Rust · Noir★ 1,401↓ 56.1K/月2026年9月15日
Apache-2.02026年9月15日 · 指标 2.10.0
crates.io
98卓越健康指数
ruby/ruby
The Ruby Programming Language
Ruby · C★ 23.7K2026年9月16日
自定义许可证2026年9月16日 · 指标 2.10.0
Go · crates.io · Maven +2
96卓越健康指数
BoundaryML/baml
The programming language for agents
Rust · TypeScript★ 9,0832026年8月28日
Apache-2.02026年8月28日 · 指标 2.10.0
PyPI
95卓越健康指数
spcl/dace
DaCe - Data Centric Parallel Programming
Python · Jupyter Notebook★ 592↓ 20.7K/月2026年9月13日
BSD-3-Clause2026年9月13日 · 指标 2.10.0
PyPI · crates.io
94卓越健康指数
Quantinuum/guppylang
Pythonic quantum-classical programming language
Python★ 146↓ 66.2K/月2026年9月16日
Apache-2.02026年9月16日 · 指标 2.10.0
PyPI
94卓越健康指数
argotorg/solidity
Solidity, the Smart Contract Programming Language
C++ · Solidity★ 25.7K2026年9月18日
GPL-3.02026年9月18日 · 指标 2.10.0
—
94卓越健康指数
crystal-lang/crystal
The Crystal Programming Language
Crystal★ 20.4K2026年9月16日
Apache-2.02026年9月16日 · 指标 2.10.0
RubyGems
94卓越健康指数
dafny-lang/dafny
Dafny is a verification-aware programming language
C# · Dafny★ 3,5442026年9月17日
自定义许可证2026年9月17日 · 指标 2.10.0
Go · npm · PyPI
94卓越健康指数
onflow/cadence
Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics
Go★ 5482026年9月18日
Apache-2.02026年9月18日 · 指标 2.10.0
crates.io · PyPI
94卓越健康指数
paradigmxyz/solar
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Rust · Solidity★ 573↓ 87.7K/月2026年10月21日
Apache-2.02026年10月21日 · 指标 2.10.0
Go
93卓越健康指数
goplus/xgo
XGo is a programming language that reads like plain English. But it's also incredibly powerful — it lets you leverage assets from C/C++, Go, Python, and JavaScript/TypeScript, creating a unified software engineering ecosystem. Our vision is to enable everyone to become a builder of the world.
Go★ 9,4812026年10月20日
Apache-2.02026年10月20日 · 指标 2.10.0
—
92优秀健康指数
dlang/dmd
dmd D Programming Language compiler
D★ 3,3082026年9月13日
BSL-1.02026年9月13日 · 指标 2.10.0
—
90优秀健康指数
metacall/core
MetaCall: The ultimate polyglot programming experience.
C · C++ · CMake★ 1,8192026年9月18日
Apache-2.02026年9月18日 · 指标 2.10.0
npm
90优秀健康指数
penrose/penrose
Create beautiful diagrams just by typing notation in plain text.
TypeScript · HTML★ 7,985↓ 5,521/月2026年10月4日
MIT2026年10月4日 · 指标 2.10.0
Packagist
90优秀健康指数
phel-lang/phel-lang
A functional, Lisp-inspired language that compiles to PHP. Inspired by Clojure, Phel brings macros, persistent data structures, and expressive functional idioms to the PHP ecosystem.
PHP · Clojure★ 526↓ 319/月2026年9月12日
MIT2026年9月12日 · 指标 2.10.0
Go
90优秀健康指数
refaktor/rye
Programming and interaction language. Flexible about syntax, strict about state.
Go★ 7032026年9月17日
BSD-3-Clause2026年9月17日 · 指标 2.10.0
crates.io · npm · PyPI
88优秀健康指数
burin-labs/harn
Harn is a programming language and runtime for building AI agents.
Rust · C★ 27↓ 2,442/月2026年10月20日
Apache-2.02026年10月20日 · 指标 2.10.0
crates.io
87优秀健康指数
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
Rust★ 6↓ 3,292/月2026年9月14日
MIT2026年9月14日 · 指标 2.10.0
npm
87优秀健康指数
darklang/dark
Darklang main repo, including language, backend, and infra
F#★ 2,1682026年9月19日
Apache-2.02026年9月19日 · 指标 2.10.0
crates.io · PyPI
87优秀健康指数
rigetti/quil-rs
Quil Parser & Program Builder
Rust · Python★ 22↓ 13K/月2026年9月14日
Apache-2.02026年9月14日 · 指标 2.10.0
crates.io · PyPI
87优秀健康指数
starkware-libs/cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one party can prove to another that a certain computation was executed correctly without the need for this party to re-execute the same program.
Rust · Cairo★ 5872026年10月2日
Apache-2.02026年10月2日 · 指标 2.10.0
Maven
86优秀健康指数
apache/groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Java · Groovy★ 5,4642026年8月28日
Apache-2.02026年8月28日 · 指标 2.10.0
crates.io
86优秀健康指数
inko-lang/inko
A language for building concurrent software with confidence
Rust★ 1,3032026年9月17日
MPL-2.02026年9月17日 · 指标 2.10.0
Go
84优秀健康指数
135yshr/meow
Meow Programming Language — a cat-themed functional programming language that transpiles .nyan files to Go
Go★ 62026年10月20日
MIT2026年10月20日 · 指标 2.10.0
—
84优秀健康指数
flix/flix
The Flix Programming Language
Flix · Scala★ 2,7412026年9月18日
自定义许可证2026年9月18日 · 指标 2.10.0
Go
84优秀健康指数
golang/go
The Go programming language
Go★ 138.8K2026年9月16日
BSD-3-Clause2026年9月16日 · 指标 2.10.0
npm · PyPI
84优秀健康指数
moonbitlang/moonbit-docs
The docs of MoonBit programming language
MoonBit★ 2,4722026年10月20日
自定义许可证2026年10月20日 · 指标 2.10.0
npm · crates.io
84优秀健康指数
winglang/wing
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
TypeScript · Rust · CWeb★ 5,403↓ 5,816/月2026年10月6日
自定义许可证2026年10月6日 · 指标 2.10.0
PyPI
83优秀健康指数
Masterplanner25/Nodus
An orchestration DSL and embedded runtime for hosting agentic systems. Durable, inspectable workflows with deterministic step ordering, running in-process under a capability jail — the model lives in your host, not in the runtime. 30+ companion packages for memory, transport and governance.
Python★ 5↓ 4,773/月2026年10月19日
MIT2026年10月19日 · 指标 2.10.0