equ-iitg formal equivalence checker 1.2

संबंधित कार्यक्रम

• ArmedBear / J मुफ्त

  आर्म्डबियर (एबीसीएल) जावा में लिखा गया एक आम लिस्प है। इसका कंपाइलर जेवीएम बाइट कोड का उत्पादन करता है, जो जावा के 'एक बार लिखें, हर जगह चलाएं' में टैप करता है। जम्मू जावा में लिखा गया एक टेक्स्ट एडिटर है जिसमें सिंटैक्स हाइल

• Integrated PearPC GUI मुफ्त

  आईपीजी एकीकृत पीयरपीसी जीयूआई है, जो आपको विंडोज-आधारित जीयूआई के भीतर पीयरपीसी एमुलेटर को कॉन्फ़िगर करने और चलाने की अनुमति देता है।

• wxWindows Project Manager for VC7 मुफ्त

  दृश्य सी + + 7 के साथ wxWindows के उपयोग को सरल बनाने के लिए उपकरणों का एक सेट।

• flam3 editor मुफ्त

  Flam3 संपादक पारंपरिक flam3 सॉफ्टवेयर पैक के आसपास बनाया गया है। संपादक आपको बिजली की भेड़ या एपोफिसिस फाइलों की तरह ब्रह्मांडीय रिकर्सिव फ्रैक्टल फ्लेम्स को लोड, एडिट और सेव करने देता है, यह पारंपरिक फ्लेम3 एक्सएमएल पैरामीटर

• InvisiBright Free नि: शुल्क परीक्षण

  ** यदि आपको यह ऐप पसंद है, तो कृपया प्रो संस्करण की कोशिश करने पर विचार करें :) **इनविसिबराइट एक अदृश्य चमक समायोजन उपयोगिता है। किसी भी एप्लिकेशन के अंदर से या तो स्क्रीन पर स्वाइप करके या अपने डिवाइस को झुकाकर समायोजित

• serverM - a powerful host-based IDS मुफ्त

  सर्वरएम एक बेहद लचीला हस्ताक्षर-आधारित मेजबान-आधारित घुसपैठ डिटेक्शन सिस्टम (एचआईडीएस) है। एक पर्ल डेमन के रूप में चल रहा है, यह थोड़ा सीपीयू का उपयोग करता है, और घुसपैठ की एक विस्तृत श्रृंखला का पता लगाने में सक्षम है । हस्त

• Eclipse SpringIDE Extensions मुफ्त

  स्प्रिंगाइड परियोजना के लिए एक्सटेंशन (स्प्रिंगाइड-एक्लिप और स्प्रिंगफ्रेमवर्क देखें)।वर्तमान में शामिल हैं: कक्षा (चाल/नाम बदलने) और विधि (नाम बदलने) प्रतिभागियों को refactoring, खोज समर्थन और ' त्वरित ठीक ' योगदान ।

• Generic Entity Manager मुफ्त

  लुआ बाइंडिंग के साथ सी + + में लिखा गया एक सामान्य खेल इकाई प्रबंधक। शुरुआती दौर में एटीएम। खेल इकाई प्रणाली - वर्तमान में अतिरिक्त परियोजना के सदस्यों की मांग।

• ajaxnet4j मुफ्त

  अजाक्सनेट4जे प्रसिद्ध Ajax.NET व्यावसायिक पुस्तकालय का जावा कार्यान्वयन है। इसकी मदद से, आप सर्वर-साइड बिजनेस लॉजिक, और क्लाइंट-साइड उपयोगकर्ता अनुभवों पर ध्यान केंद्रित कर सकते हैं, और दो पक्षों के बीच संबंध पर अधिक समय बिता

• NSketch, .Net sketch-based algorithms मुफ्त

  एनस्केच लाइब्रेरी सबसे आम स्केच-आधारित एल्गोरिदम (हिस्टोग्राम, क्वांटाइल, लगातार आइटम, ब्लूम फिल्टर ...) का कार्यान्वयन प्रदान करती है। पुस्तकालय के लिए सी # में लिखा है .Net.