DISCRETA uses the Kramer-Mesner method for the construction of t-designs with large t.
A GAP interface is available.

Tags: discrete mathematics, combinatorics.
Interface: X.
Contributors: Anton Betten, Evi Haberberger, Reinhard Laue, Alfred Wassermann.
Homepage: http://www.mathe2.uni-bayreuth.de/discreta/.