-
dnf-local-mirror-detection Public
Plugin for letting DNF work together with package repositories that are not always available or accessible.
-
osTicket-plugins Public
Forked from osTicket/osTicket-pluginsCore plugins for osTicket (v1.8+)
PHP GNU General Public License v2.0 UpdatedNov 30, 2020 -
lazy-package-mirror Public
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.
JavaScript GNU General Public License v3.0 UpdatedMay 23, 2020 -
tspass Public
TSPASS is a fair automated theorem prover for monodic first-order temporal logic with expanding domain semantics and propositional linear-time temporal logic.
C GNU General Public License v3.0 UpdatedMay 1, 2018 -
-
cex3 Public
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)…