About
- 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
- Computational Network Toolkit
- Haskell
- Automata Toolkit
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