Some Lists of finite Structures

• Lists of some finite universal (partial) algebras
• Display concept lattices
• All 1595 planar distributive lattices up to size 15
• All 1730 planar vertically indecomposable distributive lattices up to size 22
• All 59 connected posets of size 1 to 5 (dynamic)
• All 78 lattices of size 1 to 7 (dynamic)
• All 92 subdirectly irreducible lattices of size 2 to 8 (dynamic)
• All 67 modular lattices of size up to 8 (dynamic)
• All 110 vertically indecomposable modular lattices of size up to 11 (dynamic)
• All 64 subdirectly irreducible modular lattices of size up to 13 (dynamic)
• All 82 vertically indecomposable distributive lattices of size up to 14 (dynamic)
• Residuated Lattices with 6 or less elements
• Boolean algebras up to size 256
• BCK algebras
• Commutative Integral Residuated Lattices with 6 elements
• Some Posets and Lattices (and a Java Applet to view them)
• Commutative Nil Semigroups
• Relation Algebras
• Sequential Algebras
• A directory with text files of finite structures