programming-language
Repositories (1502)
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.
😀😜🔂 World’s only programming language that’s bursting with emojis
A static, type inferred and embeddable language written in Rust.
Dafny is a verification-aware programming language
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...
dmd D Programming Language compiler
The native Clojure dialect hosted on LLVM with seamless C++ interop.
💎 Artichoke is a Ruby made with Rust
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
A Proof-oriented Programming Language
The Jakt Programming Language
Intel® Implicit SPMD Program Compiler
A statically typed language compatible with Python
Agda is a dependently typed programming language / interactive theorem prover.
Beef Programming Language
Collection of resources spanning key areas of Computer Science
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 📚📖
A statically typed programming language for scientific computations with first class support for physical dimensions and units
一个高质量、经典计算机书籍推荐清单，特点为：只收集高质量，各方向经典书籍，不求书多，只求书精。
ACM-ICPC Preparation Guide
A Nonsense Collection of Disgusting Codes
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
KCL Programming Language Core and API (CNCF Sandbox Project). https://kcl-lang.io
An embedded scheme interpreter in Rust
Programming language for literate programming law specification
The Nature Programming Language
The docs of MoonBit programming language
An embeddable dynamic programming language for Rust.
Lean Theorem Prover
Darklang main repo, including language, backend, and infra
A curated list of games that can teach you how to learn a programming language.
Portable Python 3.x Interpreter in Modern C for Game Scripting
Umka: a statically typed embeddable scripting language
a Productive Parallel Programming Language
Compiler for the Vale programming language - http://vale.dev/
Code for Command-Line Rust (O'Reilly, 2024, ISBN 9781098109417)
lamdu - towards the next generation IDE