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.

Ebitengine - 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

Cross-platform bindings for OpenGL ES

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

Solver for higher-order functional programs, used by Stainless

Library behind the Polymorph password generator.

A discrete random variable library in Javascript.

Password scatterer. Eliminates password reuse by generating deterministically unique passwords for each service (website, email address, etc.), all from a single password.

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

sbt, the interactive build tool

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

Dotfiles and tools for the command line.

Casbah is now officially end-of-life (EOL).

A repository of fine recipes.

The recommender system behind GroupStreamer.