ad-si Follow 
Programming Languages
An Elm-inspired language that transpiles to TypeScript
A verified compiler for a lazy functional language
A simple ML-like programming language with subtyping and full type inference.
A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming
A proof-of-concept compiler targeting SPIR-V for a toy ML functional shading language
A compiler for functional programs on serialized data
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
A categorical programming language with effects
I speak only of myself since I do not wish to convince, I have no right to drag others into my river, I oblige no one to follow me and everybody practices his art in his own way.
A small extensible programming language designed for concise expression with little code.
A language for intent-centric and declarative decentralised applications
A minimalist / functional / dataflow programming language
Language from a parallel universe where Python is functional
A programming language inspired by Lua and Python.
A dynamically typed interpreted scripting language.
Borgo is a statically typed language that compiles to Go.
💎 Amber the programming language compiled to Bash
A static, type inferred and embeddable language written in Rust.
Moved to Codeberg, this repo is just a (temporary) mirror -- luax is a Lua interpreter and REPL based on Lua 5.4, augmented with some useful packages. It is also a "compiler" that produces standalo…
Simple, expressive & portable programming language for efficient scripting