Haskell lends itself well to concurrent programming due to its explicit handling of effects. Its flagship compiler, GHC, comes with a high-performance parallel garbage collector and light-weight concurrency library containing a number of useful concurrency primitives and abstractions.

Related contents:

• Lambda calculus @ Wikipedia.
• Functional Programming & Haskell @ Computerphile's YouTube.
• Episode 123 @ Linux Dev Time.
• Death💀 to type classes @ Jappie.
• Episode #529 consacré à podenv et au développement sécurisé @ NoLimitSecu :fr:.
• A sufficiently detailed spec is code @ Haskell for all.
• A Couple Million Lines of Haskell: Production Engineering at Mercury @ Haskell Blog.

Lean enables correct, maintainable, and formally verified code.

Lean is a theorem prover and programming language that enables correct, maintainable, and formally verified code.

• Lean 4 @ GitHub.

Related contents:

• The Math Is Haunted @ overreacted.
• Beyond Booleans @ overreacted.
• Lean for JavaScript Developers @ overreacted.
• Claude Can (Sometimes) Prove It @ galois.

A language for building concurrent software with confidence

Inko makes it easy to build concurrent software, without having to worry about unpredictable performance, unexpected runtime errors, data races, and type errors. Inko features deterministic automatic memory management, move semantics, static typing, type-safe concurrency, efficient error handling, and more.

• Inko @ GitHub.

Related contents:

• Three HTTP versions later, forms are still a mess @ Yorick Peterse.

A dynamic, open source programming language with a focus on simplicity and productivity. It has an elegant syntax that is natural to read and easy to write.

• Ruby @ GitHub.

Related contents:

• The 60-Second Wait: How I Spent Months Solving the Ruby’s Most Annoying Gem Installation Problem @ Closer to Code.
• How Ruby Executes JIT Code: The Hidden Mechanics Behind the Magic @ Rails at Scale.
• How Ruby Went Off the Rails @ 404 media.
• Open Source is the Most Fragile and Most Resilient Ecosystem @ Peter Zhu.
• Frozen String Literals: Past, Present, Future? @ byroot's blog.
• When Your Hash Becomes a String: Hunting Ruby’s Million-to-One Memory Bug @ Closer to Code.
• In Praise of dhh @ Filipa Mendonça-Vieira.
• Optimizing Ruby performance: Observations from thousands of real-world services @ Datadog.
• Can Bundler Be as Fast as uv? @ Tenderlove Making.
• Why Ruby Still Feels Like Home After All These Years @ Caio Bianchi.

Python is a programming language that lets you work quickly and integrate systems more effectively.

Related contents:

• Python: The Documentary | An origin story @ CultRepo's YouTube (source: Python - Comment un petit projet de Noël est devenu le langage de l'IA et de la science @ Korben :fr:).
• I'm Switching to Python and Actually Liking It @ César Soto Valero.
• Python has had async for 10 years -- why isn't it more popular? @ Anthony Shaw.
• Why Today’s Python Developers Are Embracing Type Hints @ Pyrefly.
• The Parameter Laboratory: Decorators with Arguments @ Aaron Rose's dev.to.
• Why Is Python So Popular in 2025? @ JetBrains Blog.
• Why Reactive Programming Hasn't Taken Off in Python (And How Signals Can Change That) @ bui.app.
• Python's splitlines does a lot more than just newlines @ william woodruff.
• dev-requirements.txt is bad @ koaning.io.
• The future of Python web services looks GIL-free @ Fluxus.
• How often does Python allocate? @ zackoverflow.
• 10 Smart Performance Hacks For Faster Python Code @ Jetbrains Blog.
• Python is not a great language for data science. Part 1: The experience @ Genes, Minds, Machines.
• Use Python for Scripting! @ hyPiRion.
• Deprecations via warnings don’t work for Python libraries @ Seth Larson.
• 4 mois de Python de manière intensive: mon retour sur le langage @ (mcorbin.fr) :fr:.
• Python Numbers Every Programmer Should Know @ Michael Kennedy.
• WebAssembly as a Python extension platform @ null program.
• Stop Writing Spaghetti if-else Chains: Parsing JSON with Python’s match-case @ toward data science.
• Python Basics: The Complete Beginner’s Guide to Programming in 2026 🐍 @ Peter Njuguna's Medium.
• How we made Python's packaging library 3x faster @ ISciNumPy.dev.
• Python Only Has One Real Competitor @ Ethan McCue.
• Python Type Checker Comparison: Empty Container Inference @ Pyrefly.
• The Story of Python's Lazy Imports: Why It Took Three Years and Two Attempts @ TechLife.

Clojure/LLVM/C++.

jank is a general-purpose programming language which embraces the interactive, value-oriented nature of Clojure as well as the desire for native compilation and minimal runtimes. jank is strongly compatible with Clojure and considers itself a dialect of Clojure. Please note that jank is under heavy development; assume all features are planned or incomplete.

• jank @ GitHub.

Common Lisp is the modern, multi-paradigm, high-performance, compiled, ANSI-standardized, most prominent (along with Scheme) descendant of the long-running family of Lisp programming languages.

Common Lisp is known for being extremely flexible, having excellent support for object oriented programming, and fast prototyping capabilities. It also sports an extremely powerful macro system that allows you to tailor the language to your application, and a flexible run-time environment that allows modification and debugging of running applications (excellent for server-side development and long-running critical software). It is a multi-paradigm programming language that allows you to choose the approach and paradigm according to your application domain.

Related contents:

• Common Lisp ces deux dernières années: un monstre de l'évolution parmi nous @ LinuxFr.org :fr:.

Powerful CPU+GPU Programming. Mojo is a pythonic language for blazing-fast CPU+GPU execution without CUDA. Optionally use it with MAX for insanely fast AI inference.

• Modular Platform @ GitHub.

Related contents:

• Python can run Mojo now @ koaning.io.

ombined language, editor, and infrastructure to make it easy to build backends and CLIs.

Dark is a new way of building serverless backends. Just code your backend, with no infra, framework or deployment nightmares. Build APIs, CRUD apps, internal tools and bots - whatever your backend needs.

• Darklang @ GitHub.

Related contents:

• Darklang Goes Open Source @ Darklang.

Portable Computing Language.

PoCL is a portable open source (MIT-licensed) implementation of the OpenCL standard. In addition to being an easily portable/layered multi-device open-source OpenCL implementation, a major goal of this project is improving interoperability of diversity of OpenCL-capable devices by integrating them to a single centrally orchestrated platform. Also one of the key goals is to enhance performance portability of OpenCL programs across device types utilizing runtime and compiler techniques.

• PoCL @ GitHub.

A programming language designed to fix Go’s frustrating design choices — without sacrificing its strengths 👾

Gauntlet is a programming language designed to address many of Golang’s shortcomings. It transpiles exclusively to Go code, fully supports all of its features, and integrates seamlessly with its entire ecosystem — without the need for bindings.

• Gauntlet @ GitHub.

C3 is an evolution, not a revolution: the C-like for programmers who like C.

C3 is a programming language that builds on the syntax and semantics of the C language, with the goal of evolving it while still retaining familiarity for C programmers.

Thanks to full ABI compatibility with C, it's possible to mix C and C3 in the same project with no effort. As a demonstration, vkQuake was compiled with a small portion of the code converted to C3 and compiled with the c3c compiler.

• C3 Language @ GitHub.

Related contents:

• 2025-05-29 # Learning C3 @ alloc.dev.
• Forget Borrow Checkers: C3 Solved Memory Lifetimes With Scopes @ The C3 Blog.

The fastest way to code multiplayer games.

Easel is a 2D game programming language that makes multiplayer as easy as singleplayer. Whether you are a beginner or expert coder, you'll love making games with Easel!

C# is the modern, open-source, cross-platform object-oriented programming language for the .NET developer platform with free tools for Linux, macOS, and Windows.C# is a modern, innovative, open-source, cross-platform object-oriented programming language and one of the top 5 programming languages on GitHub.

• Why C#? @ Tech World With Milan Newsletter.

A language empowering everyone to build reliable and efficient software.

Rust is blazingly fast and memory-efficient: with no runtime or garbage collector, it can power performance-critical services, run on embedded devices, and easily integrate with other languages.

Related contents:

• Pitfalls of Safe Rust @ corrode.
• Does using Rust really make your software safer? @ tweede golf.
• Matt Godbolt sold me on Rust (by showing me C++) @ Collabora.
• Rust Dependencies Scare Me @ Vincents.dev.
• Why doesn't Rust care more about compiler performance? @ Kobzol's blog.
• Is Rust faster than C? @ Steve Klabnik.
• "Why is the Rust compiler so slow?" @ sharnoff.io.
• On Error Handling in Rust @ Felix' Blog.
• Tree Borrows @ ETHzürich.
• The borrowchecker is what I like the least about Rust @ viralinstruction.
• Rust running on every GPU @ Rust GPU.
• Stages of Learning Rust @ bigboxSWE's YouTube.
• Writing a Rust GPU kernel driver: a brief introduction on how GPU drivers work @ Collabora.
• Rust, Python, and TypeScript: the new trifecta @ baby steps.
• The unexpected productivity boost of Rust @ Lubeno.
• Why Everyone's Switching to Rust (And Why You Shouldn't) @ ForrestKnight's YouTube.
• Elements of Rust – Core Types and Traits @ RustCurious.com.
• Rust is easy? Go is… hard? @ Bryan Hyland's Medium.
• the core of rust @ the website of jyn.
• Faster Rust builds on Mac @ Nicholas Nethercote.
• No Extra Boxes, Please: When (and When Not) to Wrap Heap Data @ hackintoshrao.
• Let's write a macro in Rust - Part 1 @ hackeryarn.
• Rust 2025: $400K Salaries, C++, AI & Why It's Not Everywhere (Yet) — Jon Gjengset Explains @ JetBrains et Jon Gjengset's YouTube.
• The state of the Rust dependency ecosystem @ Frank DENIS random thoughts.
• Memory Safety for Skeptics @ acmqueue.
• Rust in Android: move fast and fix things @ Google Security Blog.
• What Now? Handling Errors in Large Systems @ Marc's Blog.
• Thoughts on Go vs. Rust vs. Zig @ Sinclair Target.
• Stop Forwarding Errors, Start Designing Them @ FastLabs / Blog .
• Pourquoi les devs réécrivent tout avec ce langage ? @ Underscore_'s YouTube.
• Rust at Scale: An Added Layer of Security for WhatsApp @ Engineering at Meta.
• Pourquoi les devs réécrivent tout avec ce langage ? @ Underscore_'s YouTube :fr:.
• Rewriting Our Database in Rust @ The Airtable Engineering Blog's Medium.
• Using Rust and Postgres for everything: patterns learned over the years @ Sylvain Kerkour.
• Bugs Rust Won't Catch @ corrode.
• Async Rust never left the MVP state @ tweede golf.
• Migrating from Go to Rust @ corrode.
• Work In Progress Rust @ Naming is hard.

Elixir is a dynamic, functional language for building scalable and maintainable applications.

Elixir runs on the Erlang VM, known for creating low-latency, distributed, and fault-tolerant systems. These capabilities and Elixir tooling allow developers to be productive in several domains, such as web development, embedded software, machine learning, data pipelines, and multimedia processing, across a wide range of industries.

Related contents:

• How to PURGE a global CDN in Elixir @ Gerhard Lazu's YouTube.
• I'm switching languages again... @ ThePrimeTime's YouTube.
• 150,000 Lines of Vibe Coded Elixir: The Good, The Bad, and The Ugly @ BoothIQ.
• Why Elixir is the best language for AI @ Dashbit.
• Phoenix Creator Argues Elixir Is AI’s Best Language @ The New Stack.

Cedar is a language for defining permissions as policies, and a specification for evaluating those policies. Use Cedar to define who is authorized to do what within your application. Cedar is open source.

• Cedar @ GitHub.

Related contents:

• Cedar: A New Approach to Policy Management for Kubernetes @ Cloud Native computing foundation.
• Cedar Joins CNCF as a Sandbox Project @ InfoQ.

TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.

Related contents:

• TLA+ Helps Programmers Squash Bugs Before Coding @ IEEE Spectrum.
• Episode #552 - Thinking outside the box of code @ Changelog Interviews.

The R Project for Statistical Computing.

R is a free software environment for statistical computing and graphics. It compiles and runs on a wide variety of UNIX platforms, Windows and MacOS.

Related contents:

• Episode 608: R With Eric Nantz @ Coder Radio.
• R Weekly Highlights.
• R Podcast.
• If all the world were a monorepo @ Julie's Substack.
• Python is not a great language for data science. Part 1: The experience @ Genes, Minds, Machines.

A High-Level Grammar of Interactive Graphics.

Vega-Lite is a high-level grammar of interactive graphics. It provides a concise, declarative JSON syntax to create an expressive range of visualizations for data analysis and presentation.

• Vega-Lite @ GitHub.

Welcome to the open source Citation Style Language (CSL) project! Our goal is to facilitate scholarly publishing by automating the formatting of citations and bibliographies. We develop the Citation Style Language and maintain a crowdsourced repository with over 10,000 free CSL citation styles.

• Schemas describing the Citation Style Language @ GitHub.

LinguaCafe is a self-hosted software that helps language learners read foreign languages.

LinguaCafe is a free, web-based and self-hosted platform that helps language learners read in foreign languages. It allows users to import texts from different sources, and provides a set of tools that helps them easily acquire vocabulary.

• LinguaCafe @ GitHub.

Racket is a general-purpose programming language and an ecosystem for language-oriented programming.

Racket is a flexible, multi-paradigm language from the Lisp family, ideal for language-oriented programming. It supports functional, procedural, and object-oriented paradigms, and features a powerful macro system, robust modules, and extensive libraries. Racket is also widely used in education to teach programming concepts and language design.

• Racket @ GitHub.

Related contents:

• Ansible is a Lisp @ astrid dot tech.
• Beau­tiful Racket homepage.
• Episode 123 @ Linux Dev Time.

🪐 Markdown with superpowers.

Quarkdown is a modern Markdown-based typetting system, designed around the key concept of versatility, by seamlessly compiling a project into a print-ready book or an interactive presentation. All through an incredibly powerful Turing-complete extension of Markdown, ensuring your ideas flow automatically into paper.

• Quarkdown @ GitHub.

GNU's programming and extension language.

Guile is designed to help programmers create flexible applications that can be extended by users or other programmers with plug-ins, modules, or scripts.

Swift is a powerful and intuitive programming language optimized when running on iOS, macOS, and other Apple platforms.

Related contents:

• Apple is Killing Swift: A great language strangled by governance @ Jacob's Tech Tavern.
• Bits & Side Tables: How Reference Counting Works in Swift @ Jacob’s Tech Tavern.
• Announcing the Swift SDK for Android @ Swift.
• Lessons from a Swift Interview @ Oskar Groth.

A Kubernetes Query Language.

Cyphernetes is a Cypher-inspired query language for Kubernetes. Cypher is a mixture of ASCII-art, SQL and JSON that lets us express graph operations in an efficient way that is also fun and creative. Cyphernetes extends Cypher with Kubernetes-specific syntax and features. It allows you to query and mutate Kubernetes resources in a natural way, works out-of-the-box with your CRDs, supports multi-cluster queries, and more.

• Cyphernetes @ GitHub.

Our upgrade path from bash to a better language and runtime.

• Oils @ GitHub.

Build simple, secure, scalable systems with Go

• The Go Programming Language @ GitHub.

Related contents:

• Go Optimization Guide.
• Go monk @ GitHub.
• Go away, Python! @ lorentz app.
• Le Go : décryptage du langage et premiers retours d'expérience @ AXOPEN :fr:.
• Idiomatic Go @ Dmitri Shuralyov.
• Why Go's Error Handling is Awesome @ rauljordan::blog.
• Were multiple return values Go's biggest mistake? @ MOND←TECH MAGAZINE.
• Episode #3: The Go Programming Language from Google @ Changelog Interviews.
• Testing Frameworks and Mini-Languages @ MatttProud.com (Blog).
• A JavaScript Developer's Guide to Go @ Prateek's digital home.
• Why Go is a good fit for agents @ hatchet.
• Modern (Go) application design @ Office Hours.
• Gist of Go: Race conditions @ Anton Zhiyanov.
• Go is 80/20 language @ Krzysztof Kowalczyk.
• Go should be more opinionated @ My name is Elton Minetto.
• The Evolution of Caching Libraries in Go @ Otter.
• What's //go:nosplit for? @ mcyoung.
• A deep dive into deeply recursive Go @ Mattermost.
• How Go 1.24's Swiss Tables saved us hundreds of gigabytes @ Datadog Engineering Blog.
• Go features by version @ Anton Zhiyanov.
• Making Games in Go: 3 Months Without LLMs vs 3 Days With LLMs! @ Mariano Gappa's Blog.
• From Python to Go: Why We Rewrote Our Ingest Pipeline at Telemetry Harbor @ Telemetry Harbor.
• Understanding Go Error Types: Pointer vs. Value @ Fillmore Labs Blog.
• A practical guide to error handling in Go @ Datadog.
• Default Methods in Go @ mcyoung.
• Rust is easy? Go is… hard? @ Bryan Hyland's Medium.
• We tried Go's experimental Green Tea garbage collector and it didn't help performance @ DoltHub.
• Mastering Go’s Network I/O: Build Scalable, High-Performance Apps @ Jones Charles' dev.to.
• How to Use Closures in Go @ freeCodeCamp.
• The “10x” Commandments of Highly Effective Go @ JETBRAINS Blog.
• Go Bytes playlist @ Gary Clarke's YouTube.
• Go proposal: Type-safe error checking @ Anton Zhiyanov.
• Thoughts on Go vs. Rust vs. Zig @ Sinclair Target.
• Is Golang still a growing programming language? @ Melkey's YouTube.
• Memory Allocation in Go @ Melatoni.
• go.sum Is Not a Lockfile @ Filippo Valsorda.
• Go feature: Modernized go fix @ Anton Zhiyanov.
• CPU Cache-Friendly Data Structures in Go: 10x Speed with Same Algorithm @ Serge Skoredin.
• Golang’s Big Miss on Memory Arenas @ Andrew Vittiglio.
• From Naive Go to Thread Pools: A Tiny CLI That Taught Me Concurrency @ Sulav Shrestha's Medium.
• Should you learn Go in 2026? @ Melkey's YouTube.
• Understanding Escape Analysis in Go – Explained with Example Code @ freeCodeCamp.
• Go 1.26 interactive tour @ Anton Zhiyanov.
• Using go fix to modernize Go code @ The Go Blog.
• How we reduced the size of our Agent Go binaries by up to 77% @ Datadog.
• Go is the Best Language for AI Agents @ Bruin.
• Best Practices for Secure Error Handling in Go @ The GoLand Blog.
• Debugging a Go Memory Leak: From OOM to Stable with pprof @ Trendyol Tech.
• Understanding the Go Runtime: The Scheduler @ Internals for Interns.
• How to Get Started Coding in Golang @ freeCodeCamp.
• How Datadog Cut the Size of Its Agent Go Binaries by 77% @ InfoQ.
• How AI Agents Want to Write Go @ Encore.
• Why does SSH send 100 packets per keystroke? @ eieio.games.
• Go Naming Conventions: A Practical Guide @ Alex Edwards.
• My favorite Go Backend architecture pattern @ codinginspiration's Medium.
• Use boring languages with LLMs @ jry.io.
• Optimization catalog. How 4 bytes of padding make array clearing 49% faster @ Andrii's Blog.
• Eliminating Go bound checks with unsafe @ Andrii's Blog.
• Using Go for Mobile Apps @ David's Obsessions.

Cross-Language Serialization for Relational Algebra. A cross platform way to express data transformation, relational algebra, standardized record expression and plans.

Substrait is a format for describing compute operations on structured data. It is designed for interoperability across different languages and systems.

• Substrait @ GitHub.
• Your November Dose of Data - November 2024 @ Data Council.

Flock is Flutter+ • Flock is a fork of Flutter. Flock stays up to date with Flutter, and also adds new community features.

• Flock @ GitHub.
• We're forking Flutter. This is why. @ Flock blog.

The goal of this proposal is to advance a superset of C++ with a rigorously safe subset. Begin a new project, or take an existing one, and start writing safe code in C++. Code in the safe context exhibits the same strong safety guarantees as code written in Rust.

• Episode 592 - C++ Safety Dance @ <Coder Radio>.
• What is the new safe C++ proposal and what do programmers need to know? @ TNW.

A TypeScript superset that favors more types and less typing.

A Programming Language for the New Millenium. Code More with Less in a TypeScript Superset.

Civet is a programming language that compiles to TypeScript or JavaScript, so you can use existing tooling (including VSCode type checking, hints, completion, etc.) while enabling concise and powerful syntax. It starts with 99% JS/TS compatibility, making it easy to transition existing code bases. Then it adds many features and syntactic sugar, with some highlights below and more comprehensive examples in the reference.

• Civet @ GitHub.

Gleam is a friendly language for building type-safe systems that scale!

• Gleam @ GitHub.

Related contents:

• 6 years with Gleam @ Peter Saxton.
• My First Impressions of Gleam @ Michael Lynch.

Djot is a light markup syntax. It derives most of its features from commonmark, but it fixes a few things that make commonmark's syntax complex and difficult to parse efficiently. It is also much fuller-featured than commonmark, with support for definition lists, footnotes, tables, several new kinds of inline formatting (insert, delete, highlight, superscript, subscript), math, smart punctuation, attributes that can be applied to any element, and generic containers for block-level, inline-level, and raw content. The project began as an attempt to implement some of the ideas I suggested in Beyond Markdown.

• Djot @ GitHub.

BAML is an expressive language for structured text generation. BAML is a domain-specific language to write and test LLM functions.

In BAML, prompts are treated like functions. An LLM function is a prompt template with some defined input variables, and a specific output type like a class, enum, union, optional string, etc.

With BAML you can write and test a complex LLM function in 1/10 of the time it takes to setup a python LLM testing environment.

• BAML @ GitHub.

KDL is a small, pleasing document language with xml-like semantics that looks like you're invoking a bunch of CLI commands! It's meant to be used both as a serialization format and a configuration language, much like JSON, YAML, or XML.

Related contents:

• Abstraction, not syntax @ Ruud van Asseldonk.

Kotlin is a modern but already mature programming language designed to make developers happier. It's concise, safe, interoperable with Java and other languages, and provides many ways to reuse code between multiple platforms for productive programming.

• 287 - Kotlin Multiplatform - Romain Boisselle - One lib to rule them all @ <ifttd> :fr:.
• The Country That Broke Kotlin @ Sam Cooper's Medium.

A simple syntax for complex argumentation.

• Listing pros & cons in Argdown is as simple as writing a twitter message. You don't have to learn anything new, except a few simple rules that will feel very natural.

• With these simple rules you will be able to define more complex relations between arguments or dive into the details of their logical premise-conclusion structures.

• Argdown @ GitHub.

The Programming Language compiled to Bash. Write your scripts in a modern type-safe and runtime-safe programming language that handles many bugs and mistakes during compilation process.

• Amber @ GitHub.

Triton is a language and compiler for parallel programming. It aims to provide a Python-based programming environment for productively writing custom DNN compute kernels capable of running at maximal throughput on modern GPU hardware.

• Triton @ GitHub.

A fast, friendly, functional language.

• Roc @ GitHub.

Related contents:

• Episode #645: The Roc programming language @ Changelog Interviews.
• How Our Rust-to-Zig Rewrite is Going @ rtfeldman.com.

Cadence, the resource-oriented smart contract programming language 🏃‍♂️ .

Cadence is a resource-oriented programming language that introduces new features to smart contract programming that help developers ensure that their code is safe, secure, clear, and approachable.

• Cadence @ GitHub. - Better Smart Contract Security With Fine-Grained Permissions in Cadence @ DZone.

Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software.

• Zig @ GitHub.

Related contents:

• Zig guide.
• Episode #635: The 1000x faster financial database @ Changelog Interviews.
• Things Zig comptime Won’t Do @ matklad.
• Zig’s Lovely Syntax @ matklad.
• Reserve First @ matklad.
• Zig playlist @ Melkey's YouTube.
• Zig: A programming language designed for robustness, optimality, and clarity – Andrew Kelley @ Recurse Center's YouTube.
• Zig's New Async I/O (Text Version) @ Andrew Kelley.
• Why is Zig so Cool? @ Nilo Stolte.
• Opinion piece: On Zig (and the design choices within) @ Blueberry Wren Thoughts.
• Zig C++ Interop @ Jonathan Marler.
• Zig's new plan for asynchronous programs @ LWN.net.
• Thoughts on Go vs. Rust vs. Zig @ Sinclair Target.
• Episode 139 @ Linux Dev Time.
• How Our Rust-to-Zig Rewrite is Going @ rtfeldman.com.

Langium is an open source language engineering tool with first-class support for the Language Server Protocol, written in TypeScript and running in Node.js.

Langium @ GitHub.

Parser Building Toolkit for JavaScript.

Chevrotain is a blazing fast and feature rich Parser Building Toolkit for JavaScript with built-in support for LL(K). Grammars and 3rd party plugin for LL(*) grammars. It can be used to build parsers/compilers/interpreters for various use cases ranging from simple configuration files, to full-fledged programing languages.

Chevrotain @ GitHub.

Programming Protocol-independent Packet Processors (P4) is a domain-specific language for network devices, specifying how data plane devices (switches, NICs, routers, filters, etc.) process packets.

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation.

V @ GitHub.

Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.

Reason @ GitHub.

Clojure is a robust, practical, and fast programming language with a set of useful features that together form a simple, coherent, and powerful tool.

Related contents:

• Python Only Has One Real Competitor @ Ethan McCue.

D2 is a diagram scripting language that turns text to diagrams. It stands for Declarative Diagramming. Declarative, as in, you describe what you want diagrammed, it generates the image.

D2 @ GitHub.

TypeScript is JavaScript with syntax for types. TypeScript is a strongly typed programming language that builds on JavaScript, giving you better tooling at any scale.

TypeScript is a language for application-scale JavaScript. TypeScript adds optional types to JavaScript that support tools for large-scale JavaScript applications for any browser, for any host, on any OS. TypeScript compiles to readable, standards-based JavaScript.

• TypeScript @ GitHub.

Related contents:

• The Concise TypeScript Book.
• Hyper-Typing @ Paolo Scanferla.
• Identify and Fix Code Smells in TypeScript @ Engroso's dev.to.
• Satisfies in TypeScript @ Frontend Masters Blog.
• The Temporal Dead Zone, or why the TypeScript codebase is littered with var statements @ Vincent Rolfs.
• TypeScript’s rise in the AI era: Insights from Lead Architect, Anders Hejlsberg @ GitHub Blog.
• The Inner Workings of JavaScript Source Maps @ Polar Signals.
• Experiment: making TypeScript immutable-by-default @ Evan Hahn.
• TIL: satisfies is my favorite TypeScript keyword @ Jerred Shepherd.
• Stop writing if statements for your CLI flags @ Hackers' Pub.
• JSDoc is TypeScript @ culi.bear.blog.
• I was wrong about TypeScript: Part 1 @ Amadu's & Don'ts.
• Fixing TypeScript Performance Problems: A Case Study @ viget.
• TypeScript or Tears @ nicolas.vbgh's dev.to.
• Seven Years to TypeScript: Migrating 11,000 Files at Patreon @ Engineering at Patreon.
• Parse, Don't Validate — In a Language That Doesn't Want You To @ Cekrem.GitHub.IO.

A data templating language for app and tool developers.

• Generate config data

• Side-effect free

• Organize, simplify, unify

• Manage sprawling config

• Jsonnet @ GitHub.

Related contents:

• Abstraction, not syntax @ Ruud van Asseldonk.

A WYSIWYG language for data processing.

Dart helps you craft beautiful, high-quality experiences across all screens, with:

A client-optimized language
Rich, powerful frameworks
Delightful, flexible tooling

CakeML is a functional programming language with a proven-correct compiler and runtime system.

A Language with Dependent Types. Idris is a general purpose pure functional programming language with dependent types. Dependent types allow types to be predicated on values, meaning that some aspects of a program’s behaviour can be specified precisely in the type. It is compiled, with eager evaluation. Its features are influenced by Haskell and ML, and include:

Lhogho is a free version of the programming language Logo and a promoter of its educational philosophy. It is specially designed to be performant, miniature, open-minded and ... artistic.

Elixir is a dynamic, functional language designed for building scalable and maintainable applications.

Elixir leverages the Erlang VM, known for running low-latency, distributed and fault-tolerant systems, while also being successfully used in web development and the embedded software domain.

Statically typed programming language for the JVM, Android and the browser