Microsoft and open source: Difference between revisions

Content deleted Content added
Products: "top open source project" and TypeScript
Line 52:
* [[WorldWide Telescope]] – Astronomy software
* [[XML Notepad]] – [[XML editor]]
* [[Z3 Theorem Prover]] – Cross-platform [[satisfiability modulo theories]] (SMT) solver
 
==See also==