FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+.

State-of-the-Art Source Code Plagiarism & Collusion Detection

Rings: efficient JVM library for polynomial rings