Kani Rust Verifier

Tom's Obvious, Minimal Language

Kusto Query Language is a simple and productive language for querying Big Data.

A language for Geometry Dash triggers

perfect programming language

Odin Programming Language

Compiler for the C3 language

Jaksel Script, Programming language very modern and Indonesian style

Liquid markup language. Safe, customer facing template language for flexible web apps.

The Clojure programming language

The Crystal Programming Language

Solidity, the Smart Contract Programming Language

The MAX Platform (includes Mojo)

The Rust Programming Language

A guidance language for controlling large language models.

The Ruby Programming Language

Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io

The Julia Programming Language

The Kotlin Programming Language.

Official repository for the Open Vulnerability and Assessment Language

The Bosque programming language is an experiment in regularized design for a machine assisted rapid and reliable software development lifecycle.

Compare languages

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Less. The dynamic stylesheet language.

The Python programming language

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

The Go programming language

Design of the Dart language

an experimental new programming language based on interaction nets

A high-performance observability data pipeline.