Open Source for Academics
Open source software is a powerful way to advance software development and share data for experimentation. Microsoft offers open source code for academic projects as well as key software, such as the .NET Core. Our repositories contain over 50 projects and tools across all areas of computer science.
Read more on the Microsoft Research Open Source blog >
Open Source Projects
Verification
- Automata Toolkit
- Dafny Verifier and Compiler
- F* Program Verification Infrastructure
- Ironclad End-to-End Security
- Lean Theorem Prover
- miTLS Verified Protocol
- Probabilistic Z3 Solver
- SymDiff Tool
- T2 Temporal Prover
- Temporal Logic of Action (TLA+) Tools
- Z3 Theorem Prover
- Zing State Explorer Infrastructure
Programming models
- Code Contracts Tools
- Dafny Verifier and Compiler
- F# Compiler and Tools
- F* Program Verification Infrastructure
- Haskell Programming Language
- Orleans Framework
- Roslyn Compilers
- Safe TypeScript Compiler
- Scalable Joins Parallel Library
- SymDiff Tool
- Tabular Probabilistic Language
- Touch Develop Programming Environment
Artificial intelligence
- CNTK Computational Network Toolkit
- CodaLab Research Platform
- Decision Forests Library
- DMTK Distributed Machine Learning Toolkit
- Filzbach Estimation Engine
- Send2vec Semantic Similarity Mapper
- Tabular Probabilistic Language
Cloud computing
- DMTK Distributed Machine Learning Toolkit
- F# Compiler and Tools
- Madoko Markdown Processor
- Orleans Framework
- rDNS Distributed System Nucleus
- Touch Develop Programming Environment
Visualization
- Decision Forests Library
- Interactive Data Display Toolkit
- MSAGL Tools
- Oculus Rift Toolkit
- RoomAlive Toolkit
- WorldWide Telescope Environment
Education
- Dafny Verifier and Compiler
- Haskell Programming Language
- Madoko Markdown Processor
- Temporal Logic of Action (TLA+) Tools
- Touch Develop Programming Environment
- WorldWide Telescope Environment
Cryptography
- miTLS Verified Protocol
- MSR Cryptography Library
- MSR ECCLib Library
- PBC.Net Library -> NEW
- SEAL Encryption Library
- TPM Software Stack Library
- U-Prove Cryptographic Kit
Systems
- .NET Core Runtime System
- Ironclad End-to-End Security
- NET Micro Framework
- Orleans Framework
- PBC.Net Library -> NEW
- TPM Software Stack Library
Science
- FaST-LMM-EWASher Tool
- FaSTLMM Tools
- Interactive Data Display Toolkit
- Scientific DataSet Library
- WorldWide Telescope Environment
Society
Document Handling
Hardware and Wireless
Interested in working with Microsoft Products or contributing to Microsoft Open source see
Check out Microsoft Imagine Github resources for UG Courses