Awesome Open Source
Awesome Open Source

TLC Build Status Toolbox Build Status

For more information, visit


Please read our contribution guide before you start working on your contribution. We also have a feature wishlist.


Copyright (c) 199?-2003 HP Corporation
Copyright (c) 2003-2020 Microsoft Corporation

Licensed under the MIT License

Get A Weekly Email With Trending Projects For These Topics
No Spam. Unsubscribe easily at any time.
java (28,865
algorithms (344
high-performance (169
verification (75
mit-license (62
tla (18
model-checking (17

Find Open Source By Browsing 7,000 Topics Across 59 Categories