michel-ludwig Goto Github PK

cex25

cex3

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) role inclusions.

dnf-local-mirror-detection

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

lazy-package-mirror

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.

osticket-plugins

Core plugins for osTicket (v1.8+)

tspass

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