Skip to content
Pro
  • Facebook
  • London
Block or report user

Report or block andrewjkennedy

Hide content and notifications from this user.

Learn more about blocking users

Contact Support about this user’s behavior.

Learn more about reporting abuse

Report abuse

Popular repositories

  1. visualfsharp

    Forked from dotnet/fsharp

    The Visual F# compiler and tools

    F#

  2. coreclr

    Forked from dotnet/coreclr

    This repo contains the .NET Core runtime, called CoreCLR. It is an execution engine for .NET apps, performing functions such as IL byte code loading, compilation to machine code and garbage collect…

    C++

  3. coq

    Forked from coq/coq

    Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

    Coq

  4. roslyn

    Forked from dotnet/roslyn

    The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.

    C#

182 contributions in the last year

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

Contribution activity

May 2019

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

You can’t perform that action at this time.