language
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:
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.
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.
The World's First LLM-Native Language. the first intermediate language designed for machine authorship.
Statically typed programming language for the JVM, Android and the browser
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.
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.
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.
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:
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.
Julia is a high-level, high-performance dynamic language for technical computing.
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:
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 data templating language for app and tool developers.
-
Generate config data
-
Side-effect free
-
Organize, simplify, unify
-
Manage sprawling config
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.
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.
- #1022: Bun re-written in Rust, Zig team big mad @ Syntax.
- Inside Zig's Incremental Compilation @ mlugg.co.uk.
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.
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.
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation.
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:
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.
Luau (lowercase u, /ˈlu.aʊ/) is a small, fast, and embeddable programming language based on Lua with a gradual type system.
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:
WebAssembly for the Modern Web.
A type-safe, component-based language for building high-performance web apps with WASM and fine-grained reactivity.
YAML is a human-friendly data serialization language for all programming languages.
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.
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:
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.
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.
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.
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:
satisfiesis 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 statically typed language that can deeply improve the Python ecosystem.
Swift is a powerful and intuitive programming language optimized when running on iOS, macOS, and other Apple platforms.
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.
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).
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:
A Visualization Language for the AI Era.
Flint is a visualization intermediate language that lets AI agents reliably create expressive, good-looking charts from simple, human-editable chart specs. Instead of requiring verbose low-level parameters such as scales, axes, spacing, and layout, the Flint compiler derives optimized chart settings from the data, semantic types, chart type, and encodings. Flint supports 46 chart types, and it supports rendering in Vega-Lite, ECharts, and Chart.js.
revo is a dynamic language made for the joy of programming
a 1mb toolkit with a ton of focus on ergonomics.
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.
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:
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:
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.
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.
Dhall is a programmable configuration language that you can think of as: JSON + functions + types + imports
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 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.
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 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.
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.
- Shrinking Ruby Hashes @ byroot's blog.
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.
Microcad (or µcad) is a new open source programming language that can generate 2D sketches and 3D objects.
Related contents:
Opa is a concise and elegant language for writing distributed web applications.
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:
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.
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.
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:
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.