LCI - A lambda calculus interpeter 0.6
आप 5 सेकंड में डाउनलोड कर सकेंगे।
डाउनलोड शुरू करने के लिए आप निम्नलिखित बाहरी डाउनलोड लिंक पर भी क्लिक कर सकते हैं:
http://sourceforge.net/projects/lci/files/lci/0.6/lci-0.6-win32.zip/download
करीबन LCI - A lambda calculus interpeter
एलसीआई लैम्ब्डा पथरी के लिए एक दुभाषिया है। यह पूर्णांक, रिकर्सेशन, उपयोगकर्ता परिभाषित ऑपरेटरों और कई मूल्यांकन रणनीतियों जैसी कई अग्रिम सुविधाओं का समर्थन करता है।
संबंधित कार्यक्रम
-
Universal SQL Gateway मुफ्त
यूनिवर्सल एसक्यूएल गेटवे सुरंगों एक विशेष JDBC चालक को लागू करके HTTP पर फायरवॉल के माध्यम से एसक्यूएल अनुरोध करता है। यह आमतौर पर एप्लीकेशन गेटवे के रूप में संदर्भित फायरवॉल घटक के रूप में कार्य करके सुरक्षित डेटाबेस अकांम प
-
Dev65 मुफ्त
Dev65 पोर्टेबिलिटी के लिए जावा में कोडित माइक्रोप्रोसेसर के 6501, 6502, 65C02, 65816 और 65832 परिवार के लिए एक मैक्रो असेंबलर, लिंकर और लाइब्रेरियन सुइट है। कोड एक फ्रेमवर्क पर आधारित है जो अन्य सिस्टम आर्किटेक्चर का समर्थन क
-
GameDirector मुफ्त
गेमडायर्डर वेर 0.1 देवलोपमेंट बिल्ड 10 18-नवंबर-10। गेमडायरेक्टर ओग्रे इंजन पर आधारित एक नया गेम डेवलपमेंट सिस्टम है और भारी विकास में है।
-
Flash and Boom नि: शुल्क परीक्षण
बिजली की दूरी माप आवेदन।गड़गड़ाहट का एक गड़गड़ाहट कुछ सेकंड के बाद बिजली की एक फ्लैश इस प्रकार है ।फ्लैश और बूम एप्लिकेशन इस समय का उपयोग आप और प्रभाव बिंदु के बीच दूरी निर्धारित करने के लिए!
-
Network Transparent Widgets (ntw) मुफ्त
एनटीडब्ल्यू एक क्रॉस-प्लेटफॉर्म क्लाइंट/सर्वर प्रोटोकॉल और विजेट टूलकिट है जो धीमी नेटवर्क पर भी कुशल रिमोट ऑपरेशन की अनुमति देता है । इसका लक्ष्य एक सस्ती सर्वर के साथ सैकड़ों दूरदराज के ग्राहकों की सेवा करने में सक्षम होना
-
subtex मुफ्त
सबटेक्स LaTeX का एक एक्सएमएल संस्करण है, जो लोकप्रिय टाइपसेटिंग सिस्टम है। इसमें लेटेक्स कमांड (इसलिए सुबटेक्स) का एक सबसेट होता है, लेकिन इसमें एक शानदार अंतर्निहित ग्रंथसूची प्रणाली सहित कई सुधार भी शामिल हैं। XML में LaTeX
-
LogJana मुफ्त
लॉगजना प्रोग्राम जना प्रॉक्सी सर्वर V2 के लिए एक लॉग प्रोग्राम है। यह समय पर फाइलों में मुख्य लॉगफाइल "प्रॉक्सी.log और उद्धृत को विभाजित करता है। मुख्य लॉगफाइल और उद्धृत;प्रॉक्सी.log और उद्धृत; परिवर्तन नहीं किया जाएगा ।
-
elisa मुफ्त
एलिसा बाधा प्रोग्रामिंग और बाधा को सुलझाने की तकनीकों के लिए एक खुली सी + + पुस्तकालय है। निरंतर बाधाओं को हल करने के लिए अंतराल-आधारित एल्गोरिदम के लिए आवश्यक है कि गॉल (http://sf.net/projects/gaol) पहले से ही आपके सिस्टम प
-
PersianDate मुफ्त
फारसी और ग्रेगोरियन कैलेंडर और कुछ सहायक वर्गों के बीच तारीख को बढ़ाने की तारीख में बदलने के लिए एक सी + + पुस्तकालय ...
-
Ada 2005 Math Extensions मुफ्त
एडीए 2005 मानक वास्तविक और जटिल मैट्रिक्स और वेक्टर संचालन को परिभाषित करता है। हर संभव ऑपरेशन का समर्थन नहीं किया जाता है, इसलिए उदाहरण के लिए केवल सममित या हर्मिटियन मैट्रिस को हल किया जा सकता है। यह परियोजना जीएनएट के लिए