GitHub repository: thegalactic/java-lattices
Primary language: Java
Description: Java lattices