Block or report user

Organizations

@xamarin

Pinned repositories

  1. kitten

    A statically typed concatenative programming language.

    Haskell 416 19

  2. Ward

    A static analysis tool for C.

    Haskell 8

  3. protodata

    A textual language for binary data.

    C++ 31 2

  4. fasten

    Searches for more performant software configurations.

    F# 3 1

  5. Hap

    A simple concurrent programming language.

    C++ 7

  6. Pal

    Design palettes by drawing curves through colour space.

    JavaScript 1

247 contributions in the last year

Apr May Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Mon Wed Fri

Contribution activity First pull request First issue First repository Joined GitHub

March 2017

Created a pull request in mono/mono that received 9 comments

[ward] Annotate SGen permissions.

This introduces the following Ward permission annotations in SGen: Mainly getting this out for visibility. I have started annotating other parts o…

Created an issue in evincarofautumn/Ward that received 1 comment

Config file for permission relationships

Re. mono/mono#4529 (comment) and mono/mono#4529 (comment), we want a way to specify how permissions are related. I propose adding a --config=<path> /

Seeing something unexpected? Take a look at the GitHub profile guide.