Skip to content
View Mmaz1988's full-sized avatar
8 followers · 7 following
  • Konstanz

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pull SharkAchievement: Arctic Code Vault Contributor
Block or Report

Block or report Mmaz1988

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. GlueSemWorkbench_v2 GlueSemWorkbench_v2 Public

    The Glue semantics workbench provides two Glue provers for calculating semantic representations based on the semantic formalism Glue semantics.

    Java 5 1

  2. xle-glueworkbench-interface xle-glueworkbench-interface Public

    Illustrates how the Glue semantics workbench can be called from XLE.

    Prolog 3

  3. liger liger Public

    Java 3 1

  4. xleplusglue xleplusglue Public

    The complete XLE+Glue toolset. This repository contains XLE+Glue's new version, supporting the GSWB glue notation, the XLE+Glue web interface, the latest version of the GSWB jar, the latest version…

    Prolog 2

  5. xleplusglue-client xleplusglue-client Public

    TypeScript 1

  6. purplemonkeydishwasher purplemonkeydishwasher Public

    Forked from flammie/purplemonkeydishwasher

    A public git version of my research projects, i.e. articles and all that

    Shell