UNB Theorem Prover?

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

• fastAOP मुफ्त

  फास्टएओपी जावा के लिए एक बहुत ही उच्च प्रदर्शनात्मक एओपी (पहलू उन्मुख प्रोग्रामिंग) ढांचा है। ढांचा शुरू में था लगभग कोई रनटाइम ओवरहाद के साथ बड़े J2EE अनुप्रयोगों के लिए प्रदर्शन प्रोफाइलिंग और निगरानी का समर्थन करने के लि

• Butterfly Code Generator मुफ्त

  तितली किसी भी प्रकार के कोड को उत्पन्न करने के लिए इनपुट और XSLT टेम्पलेट्स के रूप में XMI का उपयोग करके एक सरल कोड जनरेटर है। ईजेबी, जेडीओ और स्ट्रट्स सहित कई टेम्पलेट्स प्रदान किए गए हैं। उपयोगकर्ता टेम्पलेट्स का उपयोग कर

• Neural network designer मुफ्त

  इस परियोजना में एक विंडोज आधारित डिजाइनर एप्लिकेशन और एक पुस्तकालय (जो एंड्रॉइड सहित कई प्लेटफार्मों पर चल सकता है) में से कई डेमो एप्लिकेशन (एमवीसी 3 चैटबॉट क्लाइंट और एक एंड्रॉइड एप्लिकेशन सहित) शामिल हैं।यह शायद डेटाबेस

• DL-Learner मुफ्त

  डीएल-लर्जर उपयोगकर्ता द्वारा प्रदान किए गए उदाहरणों से विवरण तर्क (डीएल) में अवधारणाओं को सीखने के लिए एक उपकरण है। समान रूप से, इसका उपयोग चयनित वस्तुओं से ओरूप लॉगोजी में कक्षाएं सीखने के लिए किया जा सकता है।

• MakeEmbeddedRootfilesystem मुफ्त

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

• VCS Agents and Tools मुफ्त

  इस परियोजना का लक्ष्य ओपन सोर्स आधार पर वेरिटास क्लस्टर सर्वर के लिए प्लगइन्स ("एजेंटों और उद्धृत;) प्रदान करना है।

• Etnia Workbench मुफ्त

  सीडीटी परियोजना के लिए एक्सटेंशन विच विभिन्न प्लैटफॉर्म (वास्तव में टेक्सास इंस्ट्रूमेंट और पीआईसी माइक्रोप्रोसेसर) को एकीकृत करने के लिए अतिरिक्त कंपाइलर और अन्य प्लगइन्स को कॉन्फ़िगर करते हैं

• Steini\'s Mini Compiler मुफ्त

  स्टेनी का मिनी कंपाइलर एक तेज डॉस 16 बिट कंपाइलर है। कृपया प्रोग्रामिंग भाषा लेखन नई आज्ञाओं में सुधार करने में मदद करें। कंपाइलर संकलन प्रक्रिया के लिए असेंबली फाइलों के एक सेट का उपयोग करता है।

• JCustomizer मुफ्त

  JCustomizer परियोजना का लक्ष्य रनटाइम पर हर जावा स्विंग/AWT जीयूआई का सामान्य और लगातार अनुकूलन है: फोंट, रंग, ग्रंथों, त्वरक, ... एक अच्छी संगत प्रोग्रामिंग प्रयासों के बिना अंतर्राष्ट्रीयकरण के लिए एक WYSIWYG का उपयोग है।

• net.sourceforge.ajstruts मुफ्त

  जर्मन "जावा Magazin" पत्रिका में 11/2003 में प्रकाशित एक लेख (http://ajstruts.sf.net) के स्रोत कोड से पता चलता है कि कैसे परियोजना की जरूरत है और पहलूJ और XSLT स्टाइलशीट का उपयोग कर नए पुस्तकालय संस्करण के लिए प्रवा