programming-language

A new Hardware Design Language that keeps you in the driver's seat

A lightweight embeddable scripting language

theseus, functional programming language with fully reversible computation

The Mys programming language - an attempt to create a statically typed Python-like language that produces fast binaries. See https://mys-lang.org for...

A multi-paradigm programming language running on JVM

A domain-specific language for state machines.

xs programming language

FreakC Programming Language - an experimental Batch-like language written in Batch which compiles to Batch

Cicada Language (solo version)

The Adept Programming Language

❴ ● ❵ GSS — GPU Style Sheets. A CSS-like language for 3D scenes: selectors, the cascade, nesting, keyframes and transitions, compiled into one raymarc...

The compiler for the Claw language

RowScript programming language, making a better browser world

Sidef is a modern, expressive programming language that combines the elegance of Ruby, the versatility of Raku, and the mathematical power of a built-...

The Motzi B'She'ela - Official compiler for the Codesh programming language.

Lumina is an eager-by-default natively compiled functional programming language with the core goals of readibility, practicality, compiler-driven deve...

A hybrid programming language written in Rust.

Large Scale Type Systems: ML/C Hybrid Programming Language

A SuperCompiler for Martin-Löf's Type Theory

A graphical and highly interactive programming language

Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust

A structured, dynamic, general-purpose language.

Jacquard is a small programming language designed for a regime in which most code is written by machine-learning models and reviewed by people.

A web crawling programming language

Sacara VM

Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native code.

The Euphoria programming language (https://openeuphoria.org/)

凹(Wa)语言(The Wa Programming Language)

AS3 running on the command line / server side

The Wado Programming Language

Citrine Programming Language

A procedural programming language built in Rust which compiles to QBE

🦄 Brainfuck is an esoteric programming language 🦄

Magelang is a programming language targeting webassembly

The Hook Programming Language

Dependently Typed Lambda Calculus in Haskell

Tunisian Programming Language, Ncodi - Code in your own words.

A programming language based on MATLAB and suitable for code golfing

Code for the TMLR 2023 paper "PPOCoder: Execution-based Code Generation using Deep Reinforcement Learning"

TypoScript is JavaScript-like language with typos. Some typos in variable and function names are acceptable.

List of small programming languages that you can implement in a relatively small amount of time for educational purposes.

Compiler and tools for the Loci programming language.

Список интересных телеграм каналов, чатов, груп в сфере IT & Digital

A secure, embeddable, scripting language for Java-based applications.

The JSON Programming Language

🐝 Wasp : Wasm programming language

Crochet: A tool for creating and remixing interactive experiences, safely.

Most languages make you choose: safety or the web. Lumina doesn't. Lumina is a statically typed, web-native language with HM type inference, algebrai...

A rust implementation of the lox language

A toy language based on LLVM that implements the System Fω type-system