Skip to content
View marcoeilers's full-sized avatar
14 followers · 2 following
  • ETH Zürich

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx3Achievement: Pair ExtraordinaireAchievement: YOLOAchievement: Starstruckx2Achievement: Arctic Code Vault Contributor
BetaSend feedback

Highlights

  • Pro
Block or Report

Block or report marcoeilers

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

  1. nagini nagini Public

    Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

    Python 215 9

  2. nagini-pycharm nagini-pycharm Public

    PyCharm plugin for Nagini

    Java 4

  3. scion scion Public

    Forked from scionproto/scion

    SCION Internet Architecture

    Python 1 1

  4. xtend-compiler xtend-compiler Public

    Just-for-fun implementation of a compiler from Xtend2 source to JVM bytecode

    Xtend 1

  5. xtend-generics xtend-generics Public

    An active annotation enabling reified generics in Xtend

    Xtend 1