Various semiring-related libraries.