takibitakibi-lang
नयाTakibi एक रिसर्च सिस्टम्स लैंग्वेज और Linux-ABI-संगत मोनोलिथिक कर्नल है, जिसे रिफाइनमेंट टाइप्स और एफाइन ओनरशिप का उपयोग करके कर्नल रनटाइम विफलताओं को कंपाइल-टाइम त्रुटियों में बदलने के लिए डिज़ाइन किया गया है।
OPEN SOURCE, OPEN TO EVERYONE
ओपन सोर्स। नई संभावनाएँ।
उत्कृष्ट ओपन-सोर्स प्रोजेक्ट खोजें, गुमनाम रूप से प्रोजेक्ट सबमिट करें और अपने प्रोजेक्ट का दावा कर उसे संपादित करें।
✳संपादकीय चयन · अच्छा ओपन सोर्स खोजें4092खोजे गए
जिज्ञासा के साथ ओपन सोर्स खोजें।
THE FIRST COLLECTIONTopic: llvm-ir清除
unnameableBananaChristian
नयाUnnameable एक प्रयोगशील प्रोग्रामिंग भाषा संकलक है, जो Rust में लिखा गया है। इसमें स्रोत से लेकर HIR तक एक बहु-चरण पाइपलाइन शामिल है, जिसमें语义 विश्लेषण किया जाता है, जबकि कोड जनरेशन अभी विकास में है।