
About
Featured tools
- Computational Network Toolkit: for production-quality, multi-machine, multi-GPU, RNN training
- Haskell: an advanced purely-functional programming language
- Automata Toolkit: for manipulating and analyzing regular expressions, automata and transducers
Microsoft Open Source Challenges
We offer Open Source Challenges to students from around the world to prove their skills and solve real-world problems with open source tools from Microsoft.
Stay informed
To stay up to date on what is new in Open Source send us an email using this format:
To: listserv@lists.research.microsoft.com
Subject: Subscribe
SUB opensource-news FirstName LastName
Project directory
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
- 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
- TPM Software Stack Library
Science
- FaST-LMM-EWASher Tool
- FaSTLMM Tools
- Interactive Data Display Toolkit
- Scientific DataSet Library
- WorldWide Telescope Environment