Sound As Pure Form - a Forth-like language for audio synthesis using lazy lists and APL-like auto-mapping.

Synthesine

AI Code Completions

A dependently typed programming language, a successor to Idris

A simple example language built using the Truffle API.

A Rust language and style specification for the LaTeX-package listings

Compile-Time Purity and Immutability Semantics For The Java Language

♞ lichess.org: the forever free, adless and open source chess server ♞

A computational geometry library using arbitrary-precision arithmetic where possible, written in Java.

A friendly programming language from the future

A free and strong UCI chess engine

Kotlin's Undo Framework to ease undo/redo operations and allow (de)serialize undo-stack to string

GraalVM compiles applications into native executables that start instantly, scale fast, and use fewer compute resources 🚀

Kotlin Evolution and Enhancement Process

Kotlin multiplatform / multi-format serialization

Immutable persistent collections for Kotlin

Java Annotation Processor which allows to simplify development

lamdu - towards the next generation IDE

Hamcrest for Kotlin

Simple and clean testing for JavaFX.

A collections of extension functions to make the JVM Future, CompletableFuture, ListenableFuture API more functional and Kotlin like.

Painless Kotlin Dependency Injection

Using Mockito with Kotlin

The Scala 3 compiler, also known as Dotty.

An experimental library for Functional Reactive Programming in Scala

Lightweight JavaFX Framework for Kotlin

Java Native Access

Empowering everyone to build reliable and efficient software.

Haskell LLVM JIT Compiler Tutorial