#
Starred repositories
4
stars
written in Java
Clear filter
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+.
Deep learning library for Java, with fully connected, convolutional, and recurrent layers. Also features many gradient descent optimization algorithms.