Archive of Formal Proofs 2011

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

• ADAM Abstract Data Access Models मुफ्त

  2 जावा अमानक दृष्टिकोण (कम स्पष्ट लेकिन तेज विकास) के आधार पर क्षणिक और लगातार ऑब्जेक्ट मॉडल के साथ चौखटे: एक वस्तु नामित क्षेत्रों का एक सेट है। आरडीबी, टेक्स्ट फाइल्स आदि में संग्रहित तालिकाओं तक पहुंच को सरल बनाने वाले 3 ग

• Jedora Remix VM मुफ्त

  एक वर्चुअल मशीन लिनक्स उपकरण (वर्चुअलबॉक्स के लिए)। यह फेडोरा रीमिक्स जावा आधारित अनुप्रयोगों पर जोर देता है। OpenOffice.org, ओपनजेडीके, ब्राउज़र प्लग-इन (IcedTea), और लोकप्रिय जावा आधारित अनुप्रयोगों जैसे Azureus/Vuze, jEdit

• DataAide मुफ्त

  डेटाएइड एक VB.Net डेस्कटॉप एप्लिकेशन है जो एसक्यूएल सर्वर 2k डेटाबेस में टेबल के लिए VB.Net, सी #, या वीबी 6 कक्षाएं और संग्रहीत प्रक्रियाओं को उत्पन्न करने के लिए एसक्यूएल सर्वर 2000 क्लाइंट टूल का उपयोग करता है। यह संग्रहीत

• BlackFox OM (30' Series) मुफ्त

  ब्लैकफॉक्स ओम (ब्लैकफॉक्स, द ऑब्जेक्ट मॉडल) किसी भी सिस्टम, अनुप्रयोगों और पुस्तकालयों के ऑब्जेक्ट मॉडल को रखने और हेरफेर करने के लिए एक पुस्तकालय है। आप इसे यूएमएल टूल के हिस्से, कोड जनरेटर का हिस्सा, ऑब्जेक्ट-ओरिएंटेड ऑपरेट

• InfraHID मुफ्त

  परियोजना का उद्देश्य एक सामान्य वेबकैम को मानव इंटरफेस डिवाइस (एचआईडी) के रूप में उपयोग करने की अनुमति देना है। इस सॉफ़्टवेयर का उपयोग करने के तरीके के उदाहरण हैं: माउस, नियंत्रण वीडियो गेम, इलेक्ट्रॉनिक व्हाइट बोर्ड, या टैबल

• Prop compiler compiler मुफ्त

  प्रोप सी + + पर आधारित एक पैटर्न मिलान भाषा है। यह बीजीय डेटाटाइप, पैटर्न मिलान और पुनर्लेखन को लागू करता है, और आउटपुट के रूप में सी + + कोड उत्पन्न करता है।

• ga-flamoot मुफ्त

  केवल 7 निर्देशों और प्रवाह उत्क्रमण के साथ एक मेड-अप मशीन भाषा का उपयोग करके, आवंटित डेटास्पेस को दी गई स्ट्रिंग लिखने वाले कार्यक्रमों को विकसित करने के लिए पायथन में एक आनुवंशिक एल्गोरिदम।

• Fennel मुफ्त

  सौंफ सी + + में लिखे गए डेटा स्टोरेज और प्रोसेसिंग कंपोनेंट्स की लाइब्रेरी है । यह Eigenbase परियोजना की एक उप परियोजना के रूप में विकसित किया गया है, और यह भी Farrago परियोजना के लिए एक सब्सट्रेट के रूप में कार्य करता है ।

• NExcel मुफ्त

  NExcel पुस्तकालय एमएस एक्सेल फ़ाइलों को पढ़ने के लिए .NET एप्लिकेशन की अनुमति देता है, एक्सेल 97 और ऊपरी के साथ संगत। एमएस ऑफिस एक्सेल या किसी तीसरे पक्ष के पुस्तकालयों को स्थापित करने की आवश्यकता नहीं है। एंड्रयू खान द

• OpenTag मुफ्त

  ओपनैग डैश7 मोड 2 (आईएसओ 18000-7.4) के लिए एक पूर्ण-विशेष रुप से प्रदर्शित संचार स्टैक है। यह एम्बेडेड एचडब्ल्यू, विशेष रूप से आरएफ एसओसी पर चलाने का इरादा है, लेकिन इसे लगभग कुछ भी पोर्ट किया जा सकता है। ओपनैग की मुख्य उपलब्ध