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==
|