Skip to content
View michel-ludwig's full-sized avatar
2 followers · 0 following

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Mars 2020 ContributorAchievement: Arctic Code Vault Contributor

Block or report michel-ludwig

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Popular repositories Loading

  1. cex3 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)…

    OCaml 1

  2. cex25 cex25 Public

    OCaml

  3. tspass 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

  4. lazy-package-mirror 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

  5. dnf-local-mirror-detection dnf-local-mirror-detection Public

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

    Python 1

  6. osTicket-plugins osTicket-plugins Public

    Forked from osTicket/osTicket-plugins

    Core plugins for osTicket (v1.8+)

    PHP