Research tool

研究工具

IVy

IVy is a research tool intended to allow interactive develop...

NOASSERTION

C++

快速查看 比較 2.6k

研究工具

TSS.MSR

The TPM Software Stack from Microsoft Research

NOASSERTION

C

快速查看 比較 2.9k

  1.4k

研究工具

MSRC-Security-Research

Security Research from the Microsoft Security Response Cente...

CC-BY-4.0

N/A

快速查看 比較 2k

研究工具

Sora

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

NOASSERTION

C

快速查看 比較 3.4k

  6k

研究工具

dotty

Research platform for new language concepts and compiler tec...

Apache-2.0

Scala

快速查看 比較 2.9k

  5.7k

研究工具

ResearchKit

ResearchKit is an open source software framework that makes ...

NOASSERTION

Objective-C

快速查看 比較 1.7k

  2.1k

研究工具

ELF

An End-To-End, Lightweight and Flexible Platform for Game Re...

NOASSERTION

C++

快速查看 比較 3.3k

研究工具

python-neo

Neo 是一种用于表示 Python 中的电生理数据的包, 同时支持阅读各种神经生理学文件格式。（Neo is a pa...

BSD-3-Clause

Python

快速查看 比較 2.6k

研究工具

TSS.MSR

The TPM Software Stack from Microsoft Research

NOASSERTION

C

快速查看 比較 2.3k

  63.2k

研究工具

No Code

编写安全可靠应用程序的最佳方法。什么都不用写，什么都不用部署。「The best way to write secure...

Apache-2.0

Dockerfile

快速查看 比較 1.7k

研究工具

ACL2系统和社区书籍

由社区维护的 ACL2 系统和书籍。「ACL2 System and Books as Maintained by th...

NOASSERTION

Common Lisp

快速查看 比較 2.1k

研究工具

VIVO

VIVO 是一个可扩展的语义 web 应用程序，用于研究发现和展示学术成果 。「VIVO is an extensibl...

BSD-3-Clause

Java

快速查看 比較 2.2k