language
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.
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:
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:
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 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.
Related contents:
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.
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.
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.
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:
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:
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.
Related contents:
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.
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.
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:
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.
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.
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:
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.
Related contents:
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:
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:
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.
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.
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.
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:
🪐 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.
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:
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.
Build simple, secure, scalable systems with Go
Related contents:
- Go Optimization Guide.
- Go monk @ GitHub.
- 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.
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.
Flock is Flutter+ • Flock is a fork of Flutter. Flock stays up to date with Flutter, and also adds new community features.
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 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.
Gleam is a friendly language for building type-safe systems that scale!
Related contents:
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.
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.