Repository Index

The Kotlin Programming Language.

• kotlin
• programming-language
• compiler
• gradle-plugin

Bend 2: a fast language that blocks AI mistakes via proof. Install: curl -fsSL https://bend-lang.com/install.sh | sh

• bend
• cuda
• dependent-types
• gpu

TranslatedA programming language for the ancient Chinese.

• programming-language
• classical-chinese
• esoteric-language
• wenyan-lang

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

• language
• compiler
• metaprogramming
• macros

A TypeScript-like language for WebAssembly.

• typescript
• webassembly
• compiler
• assemblyscript

Less. The dynamic stylesheet language.

• stylesheet-language
• language
• css

HVM1 (2022): a massively parallel, optimal functional runtime in Rust

Expressive, robust, feature-rich CSS language built for nodejs

• stylus
• css
• preprocessor
• styl

Expression language and expression evaluation for Go

• configuration-language
• expression
• evaluator
• go

Melody is a language that compiles to regular expressions and aims to be more readable and maintainable

• regular-expression
• language
• regex
• compiler

jank is the native Clojure dialect with seamless C++ interop.

• functional-programming
• compiler
• clojure
• language

Fast, portable, non-Turing complete expression evaluation with gradual typing (Go)

• golang
• go
• cel
• expression

🦄 The Enterprise™ programming language

• enterprise
• disruptive-technology
• language
• ajax

A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages

• programming-language
• compiler
• virtual-machine
• ring

An esoteric programming language, come se fosse antani.

Gno: An interpreted, stack-based Go virtual machine to build succinct and composable apps + gno.land: a blockchain for timeless code and fair open-source.

• gno
• gnoland
• gnolang
• bft

A high-level assembly language for writing homebrew software and games on retro console platforms.

JQuick Java: a lightweight Java-like scripting language for rule engines. Declare, parse and execute business rules at runtime via XML or inline scripts—no restart needed. Java 8+, embeddable, with LSP and IDEA plugin support.

A scripting language for .NET Core

• c-sharp
• programming-language
• mond
• scripting

Language for high-assurance and high-speed cryptography

• compiler
• language
• coq

Clinical Quality Language (CQL) is an HL7 specification for the expression of clinical knowledge that can be used within both the Clinical Decision Support (CDS) and Clinical Quality Measurement (CQM) domains. This repository contains complementary tooling in support of that specification.

• cql
• clinical-quality-language
• cds
• java

Sound Processing Language for Web Audio

The single instruction language - Flip a bit, then Jump

• esoteric-programming-language
• programming-language
• oisc
• esolang

A cross-platform modding language for GameMaker games. // Moved to Codeberg! https://codeberg.org/katsaii/catspeak-lang

• domain-specific-language
• gamemaker-studio-2
• dynamically-typed
• compiler