GitHub repository: Ana678/checkers-java-jml
Primary language: Java
Description: A simple command line checkers game implemented in Java. Originated as an AP CS project.