विषय · lambda-calculus
lambda-calculus
lambda-calculus टैग वाली ट्रैक की गई ओपन सोर्स रिपॉजिटरी, स्टार के हिसाब से क्रमबद्ध।
रिपॉजिटरी
4
कुल स्टार
6,478
औसत स्टार
1,620
हिस्सा
0.00%
मिलते-जुलते विषय
वे विषय जो अक्सर एक ही रिपॉजिटरी पर lambda-calculus के साथ आते हैं।
हाल में उभरे
पिछले 90 दिनों में बनी और lambda-calculus टैग वाली रिपॉजिटरी।
पिछले 90 दिनों में इस विषय के टैग वाली कोई नई रिपॉजिटरी नहीं आई।
- #1★ 3,764-3पिछले 7 दिनों में स्टार का बदलाव
- #2
Rust में कार्यात्मक प्रोग्रामिंग (functional programming) के लिए एक लाइब्रेरी
★ 1,428+0पिछले 7 दिनों में स्टार का बदलाव - #3
HOL4 प्रमेय-प्रमाण प्रणाली के लिए कैनोनिकल स्रोत। 'develop' ब्रांच में मुख्य विकास होता है; जब यह रिग्रेशन टेस्ट पास कर लेता है, तो इसे 'master' ब्रांच में मर्ज कर दिया जाता है।
★ 755+0पिछले 7 दिनों में स्टार का बदलाव - #4
फंक्शनों का झुंड: JS में कॉम्बिनेटर, लैम्ब्डा कैलकुलस और चर्च एनकोडिंग
★ 532+0पिछले 7 दिनों में स्टार का बदलाव
