OlivierBlanvillain

monadic-html

Tiny DOM binding library for Scala.js

regsafe

Schnapsella

cs210-2020

scala-community-bench

bga-coinche

Coinche (belote card game) implementation for BoardGameArena

Binding.scala

Reactive data-binding for Scala

blobby-SE

cards

dotty

Research platform for new language concepts and compiler technologies for Scala.

flitter

A Livesplit-inspired speedrunning split timer for terminal / command-line. Supports global hotkeys.

FStar

Verification system for effectful programs

junit4

A programmer-oriented testing framework for Java.

lizzie

Lizzie - Leela Zero Interface

MiMIs

Supplemental material for MiMIs: Simple, Efficient, and Fast Bounded-Exhaustive Test Case Generators (in ICST'20)

munit

Scala testing library with actionable errors and extensible APIs

pre-commit

A framework for managing and maintaining multi-language pre-commit hooks.

resume

rg

Sabaki

An elegant Go board and SGF editor for a more civilized age.

scala-seed.g8

Giter8 template for a simple hello world app in Scala.

scalacheck

Property-based testing for Scala

scalafix

Prepare Scala 2.x code for Dotty

scodec

Scala combinator library for working with binary data

shapeless

Generic programming for Scala

teeworlds

A retro multiplayer shooter

tinyb

TinyB exposes the BLE GATT API for C++, Java and other languages, using BlueZ over DBus.

tsumego

it sorta works in 2018

tsumego-web

Redesign of tsumego.tasuki.org

TypeScript-Website

The Website and web infrastructure for learning TypeScript