language
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:
Python is a programming language that lets you work quickly and integrate systems more effectively.
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.
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.
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.
- 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.
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.
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. It looks like this:
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.
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.
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.
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.
A fast, friendly, functional language.
Related contents:
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.
Zig is a general-purpose programming language and toolchain for maintaining robust, optimal and reusable software.
Related contents:
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.
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.
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.
Reason lets you write simple, fast and quality type safe code while leveraging both the JavaScript & OCaml ecosystems.
Clojure is a robust, practical, and fast programming language with a set of useful features that together form a simple, coherent, and powerful tool.
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.
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.