Developer

  3.1k

编程语言

Dafny

Dafny是一种支持验证的编程语言。（Dafny is a verification-aware programming...

NOASSERTION

C#

FastView Compare 4.2k

其他资源

SmartHotel360

SmartHotel360 - Connect(); 2017 keynote demo apps

MIT

CSS

FastView Compare 2.2k

  1.8k

IDE

vscode-eslint

VSCode扩展将eslint集成到VSCode中。（VSCode extension to integrate esl...

MIT

TypeScript

FastView Compare 7.2k

IDE

vsts-vscode

VS Code 的Visual Studio Team Services扩展。（Visual Studio Team S...

NOASSERTION

TypeScript

FastView Compare 2.2k

  9.3k

示例代码

vscode-extension-samples

演示VS Code扩展API的示例代码。Sample code illustrating the VS Code ext...

MIT

TypeScript

FastView Compare 2.9k

  2.9k

版本控制

Git-Credential-Manager-for-Windows

适用于Windows的Secure Git凭据存储，支持Visual Studio Team Services、GitH...

NOASSERTION

C#

FastView Compare 3.5k

ORM系统

vscode-cosmosdb

Azure Cosmos DB的VS Code扩展。（VS Code extension for Azure Cosmo...

MIT

TypeScript

FastView Compare 2.7k

IDE

RTVS

适用于Visual Studio的R工具。（R Tools for Visual Studio.）

MIT

C#

FastView Compare 2.8k

  2.6k

原型设计

Bond

Bond是一个用于处理模式化数据的跨平台框架。 它支持跨语言的de/serialization和强大的通用机制，可以有效...

MIT

C++

FastView Compare 2.6k

  1k

IDE

vs-threading

Microsoft.VisualStudio.Threading是一个xplat库，提供Visual Studio和其他...

NOASSERTION

C#

FastView Compare 2.1k

  1.7k

ORM系统

vscode-mssql

Visual Studio代码SQL Server扩展。（Visual Studio Code SQL Server e...

NOASSERTION

TypeScript

FastView Compare 3.1k

  3.2k

C/C++

Checked C

Checked C是C的扩展，它添加了检查以检测或防止常见的编程错误，例如缓冲区溢出和越界内存访问。 这个repo有一个...

NOASSERTION

C

FastView Compare 2.9k