Open-source implementation of the K programming language

Clojure Desktop UI framework

A list of Lisp-flavored programming languages

Official chibi-scheme repository

Context sensitive completion for OCaml in Vim and Emacs

Gerbil Scheme

A language for building concurrent software with confidence

Clozure Common Lisp

clasp Common Lisp environment

The Superior Lisp Interaction Mode for Emacs

Low-level UI infrastructure & framework for Pharo

A widget framework on top of Bloc

The MLton repository

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

Compiler for the Vale programming language - http://vale.dev/

A friendly programming language from the future

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

The compiler for ReScript.

Red is a next-generation programming language strongly inspired by Rebol, but with a broader field of usage thanks to its native-code compiler, from system programming to high-level scripting and c…

The Racket repository

Pony is an open-source, actor-model, capabilities-secure, high performance programming language

Mozart Programming System v2

Odin Programming Language

The core OCaml system: compilers, runtime system, base libraries

A dependently-typed programming language with static memory management

🌙 A language that compiles to Lua

MetaCall: The ultimate polyglot programming experience.

The Lobster Programming Language

Lean 4 programming language and theorem prover