programming-language

:books: Go语言圣经中文版 🇨🇳

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

Wrangling Untrusted File Formats Safely

Borgo is a statically typed language that compiles to Go.

Gravity Programming Language

A language for constraint-guided and efficient LLM programming.

精心收集并分类整理的Swift开发学习资源，包括Apple官方提供的示例代码和文档，以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。https://t.me/SwiftCN QQ交流群 32958950 申请请注明开发经验

The P programming language.

Dafny is a verification-aware programming language

A static, type inferred and embeddable language written in Rust.

😀😜🔂 World’s only programming language that’s bursting with emojis

Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

💎 Artichoke is a Ruby made with Rust

A statically typed language compatible with Python

Collection of resources spanning key areas of Computer Science

A list of awesome compiler projects and papers for tensor computation and deep learning.

A statically typed programming language for scientific computations with first class support for physical dimensions and units

An embedded scheme interpreter in Rust

一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。

A Nonsense Collection of Disgusting Codes