npm · crates.io
noir-lang/noir
Noir is a domain specific language for zero knowledge proofs
Apache-2.02026年8月2日 · 指标 2.10.0
全部标签
目录标签
#programming-language
公开记录中带有此标签的全部仓库——标签来自其 GitHub 主题或软件包注册表发布的关键词。健康度量遵循与记录其余部分相同的版本化方法论。
66 条记录
crates.io
ruby/ruby
The Ruby Programming Language
自定义许可证2026年8月5日 · 指标 2.10.0
Go · crates.io · Maven +2
BoundaryML/baml
The programming language for agents
Apache-2.02026年8月28日 · 指标 2.10.0
PyPI · crates.io
Quantinuum/guppylang
Pythonic quantum-classical programming language
Apache-2.02026年8月3日 · 指标 2.10.0
PyPI
spcl/dace
DaCe - Data Centric Parallel Programming
BSD-3-Clause2026年7月26日 · 指标 2.10.0
RubyGems
dafny-lang/dafny
Dafny is a verification-aware programming language
自定义许可证2026年8月13日 · 指标 2.10.0
PyPI
argotorg/solidity
Solidity, the Smart Contract Programming Language
GPL-3.02026年8月13日 · 指标 2.10.0
—
crystal-lang/crystal
The Crystal Programming Language
Apache-2.02026年8月5日 · 指标 2.10.0
crates.io
paradigmxyz/solar
Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust
Apache-2.02026年9月5日 · 指标 2.10.0
Go
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.
Apache-2.02026年8月29日 · 指标 2.10.0
Packagist
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.
MIT2026年7月21日 · 指标 2.10.0
—
dlang/dmd
dmd D Programming Language compiler
BSL-1.02026年7月23日 · 指标 2.10.0
—
metacall/core
MetaCall: The ultimate polyglot programming experience.
Apache-2.02026年8月15日 · 指标 2.10.0
Go
refaktor/rye
Programming and interaction language. Flexible about syntax, strict about state.
BSD-3-Clause2026年8月7日 · 指标 2.10.0
—
flix/flix
The Flix Programming Language
自定义许可证2026年8月15日 · 指标 2.10.0
Maven
apache/groovy
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
Apache-2.02026年8月28日 · 指标 2.10.0
Go
emil14/neva
Next-Gen programming language for humans and AI. Hybrid visual/textual, parallelism by default, strict static typing, compiles to machine code and integrates with Go.
MIT2026年7月17日 · 指标 2.10.0
Go
golang/go
The Go programming language
BSD-3-Clause2026年8月4日 · 指标 2.10.0
npm · PyPI
moonbitlang/moonbit-docs
The docs of MoonBit programming language
自定义许可证2026年8月22日 · 指标 2.10.0
crates.io
assura-lang/assura
Contract-first AI-native language. Write what it should do. AI proves it does.
MIT2026年7月28日 · 指标 2.10.0
crates.io · npm · PyPI
burin-labs/harn
Harn is a programming language and runtime for building AI agents.
Apache-2.02026年8月22日 · 指标 2.10.0
crates.io
mattwparas/steel
An embedded scheme interpreter in Rust
Apache-2.02026年8月22日 · 指标 2.10.0
crates.io
inko-lang/inko
A language for building concurrent software with confidence
MPL-2.02026年8月8日 · 指标 2.10.0
PyPI · crates.io
rigetti/quil-rs
Quil Parser & Program Builder
Apache-2.02026年7月30日 · 指标 2.10.0
Go
135yshr/meow
Meow Programming Language — a cat-themed functional programming language that transpiles .nyan files to Go
MIT2026年8月22日 · 指标 2.10.0
Go
goplus/ixgo
The Go/XGo Interpreter
Apache-2.02026年8月20日 · 指标 2.10.0
Go · crates.io · npm
ivov/lisette
A little language inspired by Rust that compiles to Go
MIT2026年7月26日 · 指标 2.10.0
Maven
jolie/jolie
The Jolie programming language
LGPL-2.12026年7月22日 · 指标 2.10.0
crates.io
gluon-lang/gluon
A static, type inferred and embeddable language written in Rust.
MIT2026年7月17日 · 指标 2.10.0
PyPI
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.
MIT2026年8月17日 · 指标 2.10.0