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 statically typed language that can deeply improve the Python ecosystem.
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.
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).
revo is a dynamic language made for the joy of programming
a 1mb toolkit with a ton of focus on ergonomics.
Like Protobuf, without the pain. The single source of truth for your data types.
Skir is a declarative language for defining data types, constants, and APIs. Write your schema once in a .skir file and generate idiomatic, type-safe code in TypeScript, Python, Java, Go, C++, and more.
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.
Luau (lowercase u, /ˈlu.aʊ/) is a small, fast, and embeddable programming language based on Lua with a gradual type system.
LLM-native spec language. Velocity through clarity.
Give your AI agents something more useful than a prompt.
Related contents:
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.
Better configuration for less. Manage complex configurations. Modular, correct and boilerplate-free.
Nickel is the universal configuration language. Nickel is configuration templating, but done right. Modular, correct and concise.
Its purpose is to automate the generation of static configuration files - think JSON, YAML, XML, or your favorite data representation language - that are then fed to another system. It is designed to have a simple, well-understood core: it is in essence JSON with functions.
Common Expression Language. Fast, safe expression language
Common Expression Language (CEL) is an expression language that’s fast, portable, and safe to execute in performance-critical applications. CEL is designed to be embedded in an application, with application-specific extensions, and is ideal for extending declarative configurations that your applications might already use.
Use CEL for things like list filters for API calls, validation constraints on protocol buffers, and authorization rules for API requests.
Related contents:
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:
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:
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.
PineTS is a TypeScript implementation of the Pine Script language, allowing you to write trading indicators and strategies using TypeScript while leveraging the power of Pine Script’s execution model and functions.
Related contents:
WebAssembly for the Modern Web.
A type-safe, component-based language for building high-performance web apps with WASM and fine-grained reactivity.
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:
Yarg-Lang is an experiment: a dynamic language for microcontroller firmware.
yarg-lang.dev hosts a language and tooling specifically for developing firmware for Microcontrollers. The Yarg language supports an interpreted REPL, direct hardware access and interrupt and multi-core based multiprocessing. Of course, it includes lots of other modern language features.
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.
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:
threat modelling configuration language with hcl.
There are many different ways in which a threat model can be documented. From a simple text file, to more in-depth word documents, to fully instrumented threat models in a centralised solution. Two of the most valuable attributes of a threat model are being able to clearly document the threats, and to be able to drive valuable change.
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.
The World's First LLM-Native Language. the first intermediate language designed for machine authorship.
Modern CLI scripts made easy.
Bash is powerful but painful. Rad gives you Python-like scripting with CLI superpowers built-in.
Write maintainable scripts with declarative argument parsing, built-in JSON processing, HTTP requests, and interactive user prompts - all in a familiar, readable syntax.
Rad is a modern programming language and interpreter designed to make writing CLI scripts delightful. It has a familiar, Python-like syntax with built-in concepts like declarative arguments, JSON handling, first-class shell integration, and user prompts - making common scripting tasks easy and fast to implement.
Microcad (or µcad) is a new open source programming language that can generate 2D sketches and 3D objects.
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 Secret Programming Language Every 10x Programmer Recommends! the clickbait headline programming language.
Tabloid is a turing-complete programming language for writing programs in the style of clickbait news headlines.
A declarative, HTML‑based language that makes building web apps fun.
Marko is HTML re‑imagined as a language for building dynamic and reactive user interfaces.
Just about any valid HTML is valid Marko, but Marko extends the HTML language to allow building modern applications in a declarative way.
Configuration that is Programmable, Scalable, and Safe.
A configuration as code language with rich validation and tooling.
Related contents:
JSON for LLM prompts at half the tokens. Spec, benchmarks & TypeScript implementation.
Token-Oriented Object Notation is a compact, human-readable serialization format designed for passing structured data to Large Language Models with significantly reduced token usage. It's intended for LLM input, not output.
TOON's sweet spot is uniform arrays of objects – multiple fields per row, same structure across items. It borrows YAML's indentation-based structure for nested objects and CSV's tabular format for uniform data rows, then optimizes both for token efficiency in LLM contexts. For deeply nested or non-uniform data, JSON may be more efficient.
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.
The place to collaborate on an open-source implementation of the Java Platform, Standard Edition, and related projects.
Related contents:
A query language for your API.
GraphQL is an open‑source query language for APIs and a server‑side runtime. It provides a strongly‑typed schema to define relationships between data, making APIs more flexible and predictable. And it isn’t tied to a specific database or storage engine — it works with your existing code and data, making it easier to evolve APIs over time.
Related contents:
Dhall is a programmable configuration language that you can think of as: JSON + functions + types + imports
Related contents:
Configure Unify Execute. Validate, define, and use dynamic and text‑based data.
CUE makes it easy to validate data, write schemas, and ensure configurations align with policies.
CUE works with a wide range of tools and formats that you're already using such as Go, JSON, YAML, TOML, OpenAPI, Protobuf, and JSON Schema.
Related contents:
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:
Home Assistant Simple Scripting Language
HASSL is a human-friendly domain-specific language (DSL) for building loop-safe, deterministic, and composable automations for Home Assistant.
It compiles lightweight .hassl scripts into fully functional YAML packages that plug directly into Home Assistant, replacing complex automations with a clean, readable syntax.
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.
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.
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:
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:
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:
A popular general-purpose scripting language that is especially suited to web development. Fast, flexible and pragmatic, PHP powers everything from your blog to the most popular websites in the world.
Related contents:
- PHP 8.5 : Les fonctionnalités qui vont vraiment simplifier le développement @ .Loud :fr:.
- PHP’s New URI Extension: An Open Source Success Story @ The PHP Foundation.
- The Dangers of Dynamic Method Calls in PHP @ Ash Allen Design.
- Les nouveautés de PHP 8.5 qui vont changer votre code ! @ Laravel France :fr:.
- Strict Comparison in PHP Explained at the Zend Engine Level @ István Döbrentei's dev.to.
- Why PHP in 2026?.
- Is PHP Still Relevant in 2026? @ Zend.
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.
Julia is a high-level, high-performance dynamic language for technical computing.
Related contents:
A 💌 to the humans maintaining computer configurations.
KSON combines the best aspects of JSON and YAML—robust and efficient like JSON, clean and readable like YAML. KSON is designed to be toolable and has a flexible syntax that is usually auto-formatted to look like this:
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:
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:
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:
Microsoft BASIC for 6502 Microprocessor - Version 1.1 .
This assembly language source code represents one of the most historically significant pieces of software from the early personal computer era. It is the complete source code for Microsoft BASIC Version 1.1 for the 6502 microprocessor, originally developed and copyrighted by Microsoft in 1976-1978.
Related contents:
An industrial-strength functional programming language with an emphasis on expressiveness and safety.
Related contents:
A lightweight, lightning-fast, type-safe embeddable language for real-time applications.
YAML is a human-friendly data serialization language for all programming languages.
Related contents:
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.
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.
Related contents: