仓库档案库

The Go programming language

The Kotlin Programming Language.

A collection of learning resources for curious software engineers

The Julia Programming Language

👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

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)

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Dafny is a verification-aware programming language

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages