Programming language for literate programming law specification

Maintainable configuration files

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

Stan development repository. The master branch contains the current release. The develop branch contains the latest stable development. See the Developer Process Wiki for details.

A general-purpose probabilistic programming system with programmable inference

A quantum circuit language and formal verification tool

Specification of Quil: A Practical Quantum Instruction Set Architecture

Rune is a programming language developed to test ideas for improving security and efficiency.

Simple, elegant, Pythonic functional programming.

A dialect of Lisp that's embedded in Python

A utility library for Hy

Dak is a Lisp like language that transpiles to JavaScript.

A statically typed concatenative systems programming language.

Better tools for thought

An estimation language

A dynamic language and bytecode vm

A purely functional programming language with first class types

A new markup-based typesetting system that is powerful and easy to learn.

The Lobster Programming Language

The home of the CUE language! Validate and define text-based and dynamic configuration

A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡

The Flix Programming Language

Beef Programming Language

The Eta Programming Language, a dialect of Haskell on the JVM

A Dependently Typed Functional Programming Language

Clio is a functional, parallel, distributed programming language.

lamdu - towards the next generation IDE

Better configuration for less

The Ballerina Programming Language

The fastest way to develop full-stack web apps with React & Node.js.