Skip to content
View robinsalkeld's full-sized avatar
1 follower · 0 following

Highlights

  • Pro
Block or Report

Block or report robinsalkeld

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

  1. retrospect retrospect Public

    Emulating JVMs using bytecode translation for fun and profit

    Java 5

  2. rapl rapl Public

    Ridiculously simple Aspect-oriented programming language with support for retroactive aspects

    Racket

  3. tod-retrospect tod-retrospect Public

    Clone of https://github.com/gpothier/stiq.git with Retrospect patches

  4. amazon-sqs-java-temporary-queues-client amazon-sqs-java-temporary-queues-client Public

    Forked from awslabs/amazon-sqs-java-temporary-queues-client

    An Amazon SQS client that supports creating lightweight, automatically-deleted temporary queues, for use in common messaging patterns such as Request/Response. See http://aws.amazon.com/sqs.

    Java

  5. dafny dafny Public

    Forked from dafny-lang/dafny

    Dafny is a verification-aware programming language

    C#