Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

The Wa Programming Language

tu-lang(凸)是一种编程语言，旨在创造一种非常简单高效的-零依赖-语言(防秃)。已实现自举

2022 年春季学期清华大学《软件分析与验证》课程实验平台 (Lab for Software Analysis and Verification, 2022 Spring, Tsinghua University)

Rune is a programming language developed to test ideas for improving security and efficiency.

程序语言与编译技术相关资料（持续更新中）

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness,…

ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

KCL Programming Language (CNCF Sandbox Project). https://kcl-lang.io

A configuration as code language with rich validation and tooling.