A Proof-oriented Programming Language

A safe, easy systems language

Verse Programming Language - Functional logic language developed by Epic Games - all informations, official resources and snippets

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

Status, process, and documents for ECMA-262

The official repo for the design of the C# programming language

A music programming language for musicians. 🎶

A strongly-typed language that compiles to JavaScript

The place to make suggestions, discuss and vote on F# language and core library features

A port of Clojure to the CLR, part of the Clojure project

The Racket repository

Rust wants & tracking for Embark 🦀

Linguagem Potigol - Linguagem de programação funcional moderna para iniciantes - A Functional Programming Language for Beginners

Next generation of ClojureCLR under development.

HLSL Specifications

The compiler for Teal, a typed dialect of Lua

Beef Programming Language