Giters
Andrew Kennedy (andrewjkennedy)

andrewjkennedy

Geek Repo

20

followers

1

following

9

stars

Company:Facebook

Location:London

Github PK Tool:Github PK Tool

Andrew Kennedy's repositories

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 development of machine-checked proofs.

Language:CoqLicense:LGPL-2.1Stargazers:0Issues:2Issues:0

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 collection. The repo contains the complete up-to-date CoreCLR codebase.

Language:C++License:MITStargazers:0Issues:0Issues:0

roslyn

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

Language:C#License:Apache-2.0Stargazers:0Issues:0Issues:0

visualfsharp

The Visual F# compiler and tools

Language:F#License:NOASSERTIONStargazers:0Issues:0Issues:0