Plugin for letting DNF work together with package repositories that are not always available or accessible.

Lazy mirror for RPM packages running on Node.js. It will download packages from the Internet once and it will cache them for the Linux boxes in your local network, creating a local mirror in this way.

TSPASS is a fair automated theorem prover for monodic first-order temporal logic with expanding domain semantics and propositional linear-time temporal logic.

CEX3 is a prototype tool for computing three types of logical differences between two ELHr terminologies, i.e. EL terminologies with additional domain restrictions, range restrictions, and (simple)…