Developer

其他资源

Ironclad

The MSR Ironclad project builds provably secure and reliable...

NOASSERTION

Dafny

FastView Compare 1.3k

其他资源

SLAyer

SLAyer is an automatic formal verification tool that uses se...

NOASSERTION

OCaml

FastView Compare 1.5k

其他资源

distributed_skipgram_mixture

Distributed skipgram mixture model for multisense word embed...

MIT

C++

FastView Compare 1.2k

JavaScript

winstore-jscompat

JavaScript Dynamic Content shim for Windows Store apps

NOASSERTION

JavaScript

FastView Compare 1.5k

其他资源

IEDiagnosticsAdapter

IE Diagnostics Adapter is a standalone exe that enables tool...

NOASSERTION

C++

FastView Compare 2.1k

其他资源

ngconf2015demo

TodoMVC application demo for ng-conf 2015

to be determined

CSS

FastView Compare 1.5k

JavaScript

JSanity

A secure-by-default, performance, cross-browser client-side ...

NOASSERTION

JavaScript

FastView Compare 1.4k

研究工具

Sora

The Microsoft Research Software Radio (Sora) is a programmab...

NOASSERTION

C

FastView Compare 3.3k

移动框架、库和工具

WebSQL plugin for Apache Cordova

Cordova WebSQL Plugin

NOASSERTION

C#

FastView Compare 1.8k

内容管理系统

Federalist

Federalist是发布静态政府网站的统一界面。（Federalist is a unified interface ...

NOASSERTION

JavaScript

FastView Compare 2.1k

  1.7k

其他资源

optee_os

Trusted side of the TEE

NOASSERTION

C

FastView Compare 2.4k

其他资源

prepose

Scripting Language for Kinect v2 Gestures

MIT

C#

FastView Compare 1.6k