Popular repositories Loading

1. FStar FStar Public

   Forked from FStarLang/FStar

   An ML-like language with a type system for program verification

   OCaml 1

2. mono mono Public

   Forked from mono/mono

   Mono open source ECMA CLI, C# and .NET implementation.

   C#

3. sri-prasanna.github.io sri-prasanna.github.io Public

4. xqy-swagger xqy-swagger Public

   Antlr based swagger document generator for Xquery files

   C# 1

5. protobuf protobuf Public

   Forked from protocolbuffers/protobuf

   Protocol Buffers - Google's data interchange format

   C#

6. roslyn 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#