Official website of the Lua language
Lua can be a really cool HTML templating engine
It’s a pretty cool language. It is also one of my favourite programming languages, for which I made a case in a past blog post.
Lua
Lua is a general-purpose high-level language created since the 1990s at PUC Rio de Janeiro.
The Green Side of the Lua
The United Nations' 2030 Agenda for Sustainable Development highlights the importance of energy-efficient software to reduce the global carbon footprint. Programming languages and execution models...
Lumis - Syntax Highlighter
Syntax highlighting powered by Tree-sitter and Neovim themes. One API across CLI, Rust, Elixir, JavaScript / TypeScript, browsers, and Java.
Terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language:
Programming Language Foundations in Agda – Table of Contents
This book is an introduction to programming language theory using the proof assistant Agda.
Zena: A new Wasm-first programming language
In a pretty big departure from what I usually work on, I've been building a new programming language recently that I want to start talking about more publicly, called Zena.
nyigoro/lumina-lang
Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebraic types, and trait-based polymorphism, compiled to JavaScript and WebAssembly. Build reactive UIs, WebGPU workloads, and WASM modules in the same language, with the same type system.
Devlog ⚡ Zig Programming Language
This page contains a curated list of recent changes to main branch Zig.
Learn C • Build Your Own Lisp
If you're looking to learn C, or you've ever wondered how to build your own programming language, this is the book for you.
pldb: programming languages papers
Search 22,324 papers from POPL, PLDI, ICFP, OOPSLA and other programming languages venues, from 1973 to today.
The Topos of Programming | Yon
A topos-oriented programming language. Native via MLIR and LLVM, with a content-addressed heap on the Leech lattice.
The State of the Octoverse: top programming languages of 2018
Take a closer look into why—and where—top programming languages are popular.
