{ Correct, Fast, Usable } -- Choose three

Scala 3 to GLSL transpiler library

Flexible level editor

Vim-fork focused on extensibility and usability

The open source coding agent.

Generate type-safe code from SQL

a fast, scalable, multi-language and extensible build system

Gazelle is a Bazel build file generator for Bazel projects. It natively supports Go and protobuf, and it may be extended to support new languages and custom rule sets.

Bazel Python Rules

A collection of board games and bots which can play them.

OpenGL and SDL2 bindings for Scala Native

⚡ The official implementation of the MultiversX blockchain protocol, written in golang.

Generate mocks for efficiently testing executables

An FP game engine for Scala.

A dead simple 2D game engine for Go

LITIENGINE 🕹 The pure 2D java game engine.

A scala-native bridge to Cocoa

CUE has moved to https://github.com/cue-lang/cue

An easy-to-use sbt plugin for working with all Android projects

Repository hosting the open-source Nu Game Engine and related projects.

Interactive Theorem Proving based on Inox

Verification framework and tool for higher-order Scala programs. https://gitlab.epfl.ch/lara/stainless

Solver for higher-order functional programs, used by Stainless

Some simple games ported to Scala-Js

Scala library for cross-platform 2D game development

🎮 📝 A list of Game Development resources to make magic happen.

The Z3 Theorem Prover

Tiny Scala library to generate class files for the JVM

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

Probabilistic programming in Scala