programming-language

Next Generation Visual Programming System

Wrangling Untrusted File Formats Safely

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

Borgo is a statically typed language that compiles to Go.

Gravity Programming Language

😎 A curated list of languages that compile directly to or have their VMs in WebAssembly

Simple, elegant, Pythonic functional programming.

🍃 A refreshing programming language for the front-end web.

A language for constraint-guided and efficient LLM programming.

A toy programming language written in Typescript

The Ballerina Programming Language

A fast script language for Go

精心收集并分类整理的Swift开发学习资源，包括Apple官方提供的示例代码和文档，以及github上的项目和国内外开发者的技术博客。欢迎提交pull-request一起维护。ht...

Bringing stdlibs of other programming languages to TypeScript for fun

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

jank is the native Clojure dialect with seamless C++ interop.

dmd D Programming Language compiler

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...

A Proof-oriented Programming Language

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

💎 Artichoke is a Ruby made with Rust

The Jakt Programming Language

Intel® Implicit SPMD Program Compiler

Agda is a dependently typed programming language / interactive theorem prover.

Beef Programming Language

A statically typed language compatible with Python

Collection of resources spanning key areas of Computer Science

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

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

The Flix Programming Language

An open, technical and introductory book for the Zig programming language 📚📖

An embedded scheme interpreter in Rust

ACM-ICPC Preparation Guide

The docs of MoonBit programming language

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

Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.

KCL Language Core and API

Programming language for literate programming law specification

A Nonsense Collection of Disgusting Codes

An embeddable dynamic programming language for Rust.

The Nature Programming Language

Darklang main repo, including language, backend, and infra

A curated list of games that can teach you how to learn a programming language.

Lean Theorem Prover

Umka: a statically typed embeddable scripting language

Portable Python 3.x Interpreter in Modern C

a Productive Parallel Programming Language