language
Open-source scripting language for writing interactive fictions.
Tools for writing interactive fiction, video game dialogues and branching narratives.
Write your stories with the open‑source Loreline language using the free Loreline Writer app.
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.
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.
revo is a dynamic language made for the joy of programming
a 1mb toolkit with a ton of focus on ergonomics.
Gleam is a friendly language for building type-safe systems that scale!
Related contents:
A stack-based array programming language. A tacit array programming language.
Uiua (wee-wuh ) is a general purpose array-oriented programming language with a focus on simplicity, beauty, and tacit code. Uiua lets you write code that is as short as possible while remaining readable, so you can focus on problems rather than ceremony.
Related contents:
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.
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.
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.
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.
Related contents:
A modern open source language for analyzing, transforming, and modeling data.
Malloy is a modern open source language for describing data relationships and transformations. It is both a semantic modeling language and a query language that uses an existing SQL engine to execute queries. Malloy currently can connect to BigQuery, Snowflake, PostgreSQL, MySQL, Trino, or Presto, and natively supports DuckDB. We've built a Visual Studio Code extension to facilitate building Malloy data models, querying and transforming data, and creating simple visualizations and dashboards.
Related contents:
Dhall is a programmable configuration language that you can think of as: JSON + functions + types + imports
Related contents:
AI Workflows That Agents Build & Run. Open Language for Agents to Build AI Workflows.
The open standard devtool for repeatable AI workflows. Write business logic, not API calls.
HTML as Template Language.
EHTML transforms standard HTML into a powerful application layer. Write less JavaScript and let HTML handle templating, data loading, rendering, and interactions.
POML (Prompt Orchestration Markup Language) is a novel markup language designed to bring structure, maintainability, and versatility to advanced prompt engineering for Large Language Models (LLMs). It addresses common challenges in prompt development, such as lack of structure, complex data integration, format sensitivity, and inadequate tooling. POML provides a systematic way to organize prompt components, integrate diverse data types seamlessly, and manage presentation variations, empowering developers to create more sophisticated and reliable LLM applications.
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.
Related contents:
A purely functional expression language for No-Code tools. A simple, well-designed, portable, and safe data expression language.
Elo compiles to JavaScript, Ruby, and SQL. Built for No-Code tools where non-technical users need to manipulate data easily and safely.
Related contents:
A data templating language for app and tool developers.
-
Generate config data
-
Side-effect free
-
Organize, simplify, unify
-
Manage sprawling config
Related contents:
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.
Luau (lowercase u, /ˈlu.aʊ/) is a small, fast, and embeddable programming language based on Lua with a gradual type system.
Pharo is a pure object-oriented programming language and a powerful environment, focused on simplicity and immediate feedback (think IDE and OS rolled into one).
A language designed for machines to write. A programming language designed for LLMs to write, not humans.
Vera (v-ERR-a) is a programming language designed for large language models to write. The name comes from the Latin veritas (truth). Programs compile to WebAssembly and run at the command line or in the browser.
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.
Build simple, secure, scalable systems with Go
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.
WebAssembly for the Modern Web.
A type-safe, component-based language for building high-performance web apps with WASM and fine-grained reactivity.
Intent-First Agentic Development Language.
Clear is a programming language where your specification and implementation are the same file. If you can describe what it should do, you have already written it.
Swift is a powerful and intuitive programming language optimized when running on iOS, macOS, and other Apple platforms.
Related contents:
A dynamic programming language built entirely by Claude Code.
Cutlet is a dynamic programming language written in C. Its long-term goal is to replace Bash for anything beyond trivial one-liners, combining the expressiveness of Python, Ruby, Lua, and JavaScript with first-class support for running subprocesses, building pipelines, and scripting your system. It focuses on REPL-driven development.
Related contents:
A tiny experimental language designed to be targeted by coding LLMs.
NanoLang transpiles to C for native performance while providing a clean, modern syntax optimized for both human readability and AI code generation.
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.
A reasonable configuration language.
RCL is a domain-specific language for generating configuration files and querying json documents. It extends json into a simple, gradually typed, functional programming language that resembles Python and Nix.
Related contents:
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:
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:
Law to Code. Programming language for literate programming law specification.
A domain-specific language designed by researchers in Computer Science and Law, for precisely deriving algorithms producing automated legal decisions.
Related contents:
- Atelier BlueHats de présentation du langage Catala @ Dinum's PeerTube :fr:.
- [La Cnaf et Inria s’engagent ensemble pour développer Catala, une solution souveraine de calcul des prestations sociales @ caf.fr :fr:](La Cnaf et Inria s’engagent ensemble pour développer Catala, une solution souveraine de calcul des prestations sociales).
An industrial-strength functional programming language with an emphasis on expressiveness and safety.
Related contents:
Practical functional programming for a parallel world.
Erlang is a programming language used to build massively scalable soft real-time systems with requirements on high availability. Some of its uses are in telecoms, banking, e-commerce, computer telephony and instant messaging. Erlang's runtime system has built-in support for concurrency, distribution and fault tolerance.
Related contents:
The programming language for agents
Zero is a systems language designed so humans and AI agents can read, repair, inspect, and ship small native programs together. It keeps effects explicit, memory predictable, and compiler output structured.
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software.
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.
Julia is a high-level, high-performance dynamic language for technical computing.
Related contents:
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.
Related contents:
Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
Configuration that is Programmable, Scalable, and Safe.
A configuration as code language with rich validation and tooling.
Related contents:
HUML is a simple, strict, serialization language for documents, datasets, and configuration. It prioritizes strict form for human-readability. It looks like YAML, but tries to avoid its complexity, ambiguity, and pitfalls.
A lightweight, lightning-fast, type-safe embeddable language for real-time applications.
Fast development platform for business apps.
4D is an incredibly productive development platform that lets you focus on your data model and your business rules. The 4D framework takes care of running your application code natively on macOS and Windows.
Related contents:
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.
The Data-Oriented Language for Sane Software Development.
Odin is a general-purpose programming language with distinct typing, built for high performance, modern systems, and built-in data-oriented data types. The Odin Programming Language, the C alternative for the joy of programming.
Related contents:
Bring back the joy of shell scripting.
ABS is a programming language that works best when you're scripting on your terminal. It tries to combine the elegance of languages such as Python, or Ruby with the convenience of Bash.
The World's First LLM-Native Language. the first intermediate language designed for machine authorship.
Domain-specific language designed to streamline the development of high-performance GPU/CPU/Accelerators kernels
Tile Language (tile-lang) is a concise domain-specific language designed to streamline the development of high-performance GPU/CPU kernels (e.g., GEMM, Dequant GEMM, FlashAttention, LinearAttention). By employing a Pythonic syntax with an underlying compiler infrastructure on top of TVM, tile-lang allows developers to focus on productivity without sacrificing the low-level optimizations necessary for state-of-the-art performance.
The Web Without JavaScript. A programming language that compiles to WebAssembly, built for the next era of web development.
Nectar compiles to WebAssembly. One language, one binary, zero dependencies. Your entire app — logic, state, rendering — runs in WASM. JavaScript is reduced to a 10 KB syscall layer.
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.
Exploring memory safety that's easier to use.
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
Related contents:
recipe markup language.
Cooklang is a simple, human-readable text format for writing recipes that can be understood by both cooks and computers.
Write @flour{2%cups} and ~{25%minutes} in plain text files. Get automatic shopping lists, scaling, timers, and beautiful formatting — while keeping your recipes in files you own forever.
Related contents:
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.
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.
C Language Family Frontend for LLVM.
The Clang project provides a language front-end and tooling infrastructure for languages in the C language family (C, C++, Objective C/C++, OpenCL, and CUDA) for the LLVM project.
Related contents:
JSON (JavaScript Object Notation) is a lightweight data-interchange format. It is easy for humans to read and write. It is easy for machines to parse and generate.
JSON is a text format that is completely language independent but uses conventions that are familiar to programmers of the C-family of languages, including C, C++, C#, Java, JavaScript, Perl, Python, and many others. These properties make JSON an ideal data-interchange language.
Related contents:
Scientific Programming Language.
Powerful mathematics-oriented syntax with built-in 2D/3D plotting and visualization tools. Free software, runs on GNU/Linux, macOS, BSD, and Microsoft Windows. Drop-in compatible with many Matlab scripts.