टूल-स्टेट - क्लाउड में ऑनलाइन

उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर पर ऑनवर्क्स फ्री होस्टिंग प्रदाता में टूल-स्टेट चलाएं

यह कमांड टूल-स्टेट है जिसे हमारे कई मुफ्त ऑनलाइन वर्कस्टेशन जैसे कि उबंटू ऑनलाइन, फेडोरा ऑनलाइन, विंडोज ऑनलाइन एमुलेटर या मैक ओएस ऑनलाइन एमुलेटर का उपयोग करके ऑनवर्क्स फ्री होस्टिंग प्रदाता में चलाया जा सकता है।

उबंटू में चलाएं फेडोरा में दौड़ें विंडोज सिम में चलाएं मैकोज़ सिम में चलाएं

कार्यक्रम:

नाम

क्यों - एक बहु-भाषा बहु-प्रोवर सत्यापन उपकरण

SYNOPSIS

क्यों [ विकल्पों ] फ़ाइलों

वर्णन

क्यों एक सत्यापन उपकरण है। यह एनोटेट प्रोग्राम को इनपुट के रूप में लेता है (एमएल या सी सिंटैक्स में) और
कई प्रूफ सहायकों (Coq, PVS, HOL Light, Mizar) के लिए सत्यापन शर्तों को आउटपुट करता है
और निर्णय प्रक्रिया (haRVey, सरलीकृत)।

विकल्प

-h मदद। आपको कमांड लाइन विकल्पों की पूरी सूची देगा।

लेखक

जीन क्रिस्टोफ़ फ़िलिअट्रे <[ईमेल संरक्षित]>

onworks.net सेवाओं का उपयोग करके ऑनलाइन टूल-स्टेट का उपयोग करें

फ्री सर्वर और वर्कस्टेशन

1

Xubuntu

उबंटू सर्वर

सर्वर चलाएँ
2

प्राथमिक ओएस

उबंटू सर्वर

सर्वर चलाएँ
3

Kubuntu

उबंटू सर्वर

सर्वर चलाएँ
अधिक "

विंडोज और लाइनेक्स एप डाउनलोड करें

1

एवोगेड्रो

अवोगाद्रो एक उन्नत आणविक है
क्रॉस-प्लेटफ़ॉर्म उपयोग के लिए डिज़ाइन किया गया संपादक
कम्प्यूटेशनल रसायन विज्ञान में, आणविक
मॉडलिंग, जैव सूचना विज्ञान, सामग्री
विज्ञान और ...

अवोगाद्रो डाउनलोड करें
2

एक्सएमएलटीवी

XMLTV प्रोसेस करने के लिए प्रोग्राम का एक सेट है
टीवी (टीवीगाइड) लिस्टिंग और प्रबंधन में मदद
आपका टीवी देखना, लिस्टिंग को एक में संग्रहित करना
एक्सएमएल-आधारित प्रारूप। करने के लिए उपयोगिताएँ हैं
करना...

एक्सएमएलटीवी डाउनलोड करें
3

स्ट्राइकर

स्ट्राइकर फ्री सॉफ्टवेयर प्रोजेक्ट। कलाकृतियों
'आशय आधारित' के तहत जारी
दोहरा लाइसेंस: AGPLv3 (समुदाय) और
सीसी-बाय-एनसी-एनडी 4.0 अंतरराष्ट्रीय
(व्यावसायिक)...

स्ट्राइकर डाउनलोड करें
5

GIFLIB

giflib पढ़ने के लिए एक पुस्तकालय है और
जीआईएफ चित्र लिखना। यह एपीआई और एबीआई है
लिबंगिफ के साथ संगत जो अंदर था
LZW संपीड़न के दौरान व्यापक उपयोग
एल्गोरिथम था...

GIFLIB डाउनलोड करें
6

ऑल्ट-एफ

Alt-F एक मुफ़्त और खुला स्रोत प्रदान करता है
DLINK के लिए वैकल्पिक फर्मवेयर
DNS-320/320L/321/323/325/327L and
DNR-322L। Alt-F में सांबा और NFS हैं;
ext2/3/4 का समर्थन करता है...

ऑल्ट-एफ डाउनलोड करें
अधिक "

1

KompoZer

KompoZer एक wysiwyg HTML संपादक है जो उपयोग कर रहा है
मोज़िला संगीतकार कोडबेस। जैसा
Nvu के विकास को रोक दिया गया है
2005 में, KompoZer कई बग्स को ठीक करता है और
एक एफ जोड़ता है ...

कोम्पोज़र डाउनलोड करें
2

सहयोगात्मक

सहयोगी वेब आधारित सहयोग है
सॉफ़्टवेयर। यह एक ओपन सोर्स है
मालिकाना उपकरण के लिए विकल्प जैसे
सक्रिय सहयोग या बेसकैंप। विशेषताएँ
शामिल हैं: प्रोजेक्ट...

सहयोगी डाउनलोड करें
3

लाजास्र्स

लाजर आईडीई एक स्थिर और सुविधा है
के लिए समृद्ध दृश्य प्रोग्रामिंग वातावरण
फ्रीपास्कल कंपाइलर। यह समर्थन करता है
स्व-स्थायी ग्राफिकल और ... का निर्माण

लाजर डाउनलोड करें
4

गुस्से में आईपी स्कैनर

एंग्री आईपी स्कैनर तेज़ और मैत्रीपूर्ण है
विंडोज़, लिनक्स और के लिए नेटवर्क स्कैनर
Mac। यह बहुत विस्तार योग्य है, इसकी अनुमति देता है
की बहुत विस्तृत श्रृंखला के लिए उपयोग किया जाना है
प्रयोजन...

एंग्री आईपी स्कैनर डाउनलोड करें
5

बॉर्डरलेस गेमिंग

अपने पसंदीदा गेम फुलस्क्रीन और खेलें
बॉर्डरलेस गेमिंग के साथ बॉर्डरलेस।
यह एक सरल उपकरण है जो आपको अनुमति देता है
विंडो वाले वीडियो गेम को चालू करने के लिए
"पूर्ण...

बॉर्डरलेस गेमिंग डाउनलोड करें
6

मददगार

हेल्पी एक आधुनिक, स्व-होस्टेड है,
ऑन-प्रिमाइसेस ग्राहक सहायता हेल्पडेस्क
जमीन से ऊपर तक डिजाइन किया गया मंच
अपने ग्राहकों को एक वीर ग्राहक दें
सेवा व्यय...

हेल्पी डाउनलोड करें
अधिक "

लिनक्स कमांड

1

4s-क्वेरीJ

4s-query - SPARQL क्वेरीज़ को किसी पर चलाएँ
4स्टोर भंडारण बैकएंड ...

4s-queryJ चलाएँ
2

4ti2-सर्किट

4ti2 - बीजीय के लिए सॉफ्टवेयर पैकेज,
ज्यामितीय और संयोजी समस्याओं पर
रैखिक रिक्त स्थान...

4ti2-सर्किट चलाएं
3

cpufreq-सेट

cpufreq-set - एक छोटा उपकरण जो अनुमति देता है
cpufreq सेटिंग्स को संशोधित करने के लिए। वाक्य - विन्यास:
cpufreq-सेट [विकल्प] विवरण:
cpufreq-set आपको cpufreq को संशोधित करने की अनुमति देता है
स्थापना...

cpufreq-सेट चलाएँ
4

cpufreqd-प्राप्त करें

cpufreqd-get - "प्राप्त करें" आदेश जारी करता है
cpufreqd. सिंटेक्स: cpufreqd-get [-l]
पैरामीटर्स: -l सूची के लिए लागू प्रोफाइल
सभी सीपीयू। वर्णन: cpufreqd-get
मुद्दे...

cpufreqd-get चलाएँ
5

गम्मू

गम्मू - आपके साथ कुछ सुन्दर चीजें करता है
सेलुलर फोन या मॉडेम. ...

रन गममु
6

गैंग्लिया2पीसीपी

ganglia2pcp - गैंग्लिया डेटा आयात करें और
एक पीसीपी संग्रह बनाएं...

ganglia2pcp चलाएँ
अधिक "

ऑनवर्क्स एक मुफ्त ऑनलाइन वीपीएस होस्टिंग प्रदाता है जो मुफ्त वर्कस्टेशन, ऑनलाइन एंटीवायरस, मुफ्त वीपीएन सुरक्षित प्रॉक्सी, और मुफ्त व्यक्तिगत और व्यावसायिक ईमेल जैसी क्लाउड सेवाएं देता है। हमारा मुफ्त वीपीएस सेंटोस, फेडोरा, उबंटू और डेबियन पर आधारित हो सकता है। उनमें से कुछ को ऑनलाइन विंडोज या मैकओएस ऑनलाइन की तरह अनुकूलित किया गया है।

T3 फ्रेमवर्क द्वारा संचालित