Design patterns implemented in Java

Reactive Streams Specification for the JVM

Enjoy programming while playing a game.

Electronic Circuit Simulator in the Browser

An easy-to-learn/use static analysis framework for Java

A proof assistant and a dependently-typed language

A new packaging format for Java programs.

A simple frame used to build a 2D grid game

Java Project MineSweeper Source Code

Project for SUSTech Java course. A raytracing OthellooO game based on LWJGL.