Skip to content
View andrewjkennedy's full-sized avatar
21 followers · 1 following
  • Meta
  • London

Achievements

Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Arctic Code Vault Contributor

Block or report andrewjkennedy

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

  • roslyn Public

    Forked from dotnet/roslyn

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

    C# Apache License 2.0 Updated Jul 27, 2015

  • coq Public

    Forked from rocq-prover/rocq

    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 GNU Lesser General Public License v2.1 Updated Mar 11, 2015

  • visualfsharp Public

    Forked from dotnet/fsharp

    The Visual F# compiler and tools

    F# Other Updated Mar 2, 2015

  • coreclr Public

    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++ MIT License Updated Feb 10, 2015