यह ProofOS नाम का Linux ऐप है जिसकी नवीनतम रिलीज़ को Proofos-all-0.1.tgz के रूप में डाउनलोड किया जा सकता है। इसे वर्कस्टेशन के लिए मुफ्त होस्टिंग प्रदाता ऑनवर्क्स में ऑनलाइन चलाया जा सकता है।
ProofOS नाम के इस ऐप को OnWorks के साथ मुफ्त में ऑनलाइन डाउनलोड करें और चलाएं।
इस ऐप को चलाने के लिए इन निर्देशों का पालन करें:
- 1. इस एप्लिकेशन को अपने पीसी में डाउनलोड करें।
- 2. हमारे फ़ाइल प्रबंधक में https://www.onworks.net/myfiles.php?username=XXXXX उस उपयोगकर्ता नाम के साथ दर्ज करें जो आप चाहते हैं।
- 3. इस एप्लिकेशन को ऐसे फाइल मैनेजर में अपलोड करें।
- 4. इस वेबसाइट से ऑनवर्क्स लिनक्स ऑनलाइन या विंडोज ऑनलाइन एमुलेटर या मैकोज़ ऑनलाइन एमुलेटर शुरू करें।
- 5. ऑनवर्क्स लिनक्स ओएस से आपने अभी शुरुआत की है, हमारे फाइल मैनेजर को https://www.onworks.net/myfiles.php?username=XXXXX उस यूजरनेम के साथ जाएं जो आप चाहते हैं।
- 6. एप्लिकेशन डाउनलोड करें, इसे इंस्टॉल करें और इसे चलाएं।
प्रूफओएस
Ad
वर्णन
इस परियोजना का उद्देश्य एक प्रोटोटाइप सिस्टम विकसित करना है जो यह पता लगाता है कि लोगों को उनके द्वारा चलाए जाने वाले सॉफ़्टवेयर को कैसे प्राप्त होता है, साथ ही सॉफ़्टवेयर के स्थैतिक विश्लेषण में प्रगति के आधार पर हमें कंप्यूटर सिस्टम डिज़ाइन को फिर से कैसे संशोधित करना चाहिए।
दर्शक
डेवलपर्स, सूचना प्रौद्योगिकी, विज्ञान/अनुसंधान
प्रोग्रामिंग भाषा
असेंबली, सी, ओकैमल (उद्देश्य कैमल)
कैटिगरीज
यह एक एप्लिकेशन है जिसे https://sourceforge.net/projects/proofos/ से भी प्राप्त किया जा सकता है। हमारे निःशुल्क ऑपरेटिव सिस्टमों में से एक से सबसे आसान तरीके से ऑनलाइन चलाने के लिए इसे ऑनवर्क्स में होस्ट किया गया है।
