Skip to content
View mhecker's full-sized avatar
4 followers · 4 following
  • KIT

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: Pull Shark

Block or report mhecker

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

Pinned Loading

  1. joana-team/joana joana-team/joana Public

    Joana - Information Flow Control for Java

    Java 91 32

  2. KITPraktomatTeam/Praktomat KITPraktomatTeam/Praktomat Public

    quality control for programming assignments

    Python 46 22

  3. KASTEL-SCBS/PCM2Prolog KASTEL-SCBS/PCM2Prolog Public

    Generate Prolog code for Palladio software architecture models

    Xtend 1

  4. eclipse-nullannotation-wala eclipse-nullannotation-wala Public

    Experimental support for Eclipse Null-Annotations for the WALA Nullpointer analysis

    Java

  5. wala/WALA wala/WALA Public

    T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses

    Java 751 221

  6. fgl-control-order-dependence fgl-control-order-dependence Public

    Algorithms for Dependency Based Information Flow Control in Arbitrary Graphs

    Haskell