programming-language

एक प्रूफ-ओरिएंटेड प्रोग्रामिंग लैंग्वेज

Jakt प्रोग्रामिंग भाषा

Intel® Implicit SPMD प्रोग्राम कंपाइलर

Agda is a dependently typed programming language / interactive theorem prover.

Python के साथ संगत एक स्टैटिकली टाइप्ड भाषा

Beef प्रोग्रामिंग भाषा

कंप्यूटर साइंस के मुख्य क्षेत्रों को कवर करने वाले संसाधनों का संग्रह

टेंसर कंप्यूटिंग और डीप लर्निंग के लिए बेहतरीन कंपाइलर प्रोजेक्ट्स और पेपर्स की सूची।

Flix प्रोग्रामिंग लैंग्वेज

Zig प्रोग्रामिंग भाषा के लिए एक खुली, तकनीकी और शुरुआती पुस्तक 📚📖

भौतिक आयामों और इकाइयों के लिए प्रथम श्रेणी के समर्थन के साथ वैज्ञानिक गणनाओं के लिए एक स्थैतिक रूप से टाइप की गई प्रोग्रामिंग भाषा

Rust में एक एम्बेडेड स्कीम इंटरप्रटर

ACM-ICPC तैयारी गाइड

उच्च गुणवत्ता वाली, क्लासिक कंप्यूटर पुस्तकों की एक अनुशंसित सूची: केवल उच्च गुणवत्ता वाली और सभी दिशाओं में क्लासिक पुस्तकों का संग्रह, मात्रा पर नहीं बल्कि गुणवत्ता पर ध्यान।

Lua से अत्यधिक प्रेरित न्यूनतम, कुशल, स्थिर-टाइप और मेटा-प्रोग्रामेबल सिस्टम प्रोग्रामिंग भाषा, जो C और नेटिव कोड में संकलित होती है।

KCL प्रोग्रामिंग लैंग्वेज कोर और API (CNCF सैंडबॉक्स प्रोजेक्ट)। https://kcl-lang.io

MoonBit प्रोग्रामिंग भाषा के दस्तावेज़

घृणास्पद कोड का एक बेतुका संग्रह

साक्षर प्रोग्रामिंग कानून विनिर्देश के लिए प्रोग्रामिंग भाषा

Rust के लिए एक एम्बेड करने योग्य गतिशील प्रोग्रामिंग भाषा।

नेचर प्रोग्रामिंग लैंग्वेज

Darklang मुख्य रिपो, जिसमें भाषा, बैकएंड और इन्फ्रा शामिल हैं

उन गेम्स की क्यूरेटेड सूची जो आपको प्रोग्रामिंग भाषा सीखने में मदद कर सकते हैं।

गेम स्क्रिप्टिंग के लिए मॉडर्न C में पोर्टेबल Python 3.x इंटरप्रेटर

Umka: एक स्टैटिकली टाइप्ड एम्बेड करने योग्य स्क्रिप्टिंग भाषा

Command-Line Rust के लिए कोड (O'Reilly, 2024, ISBN 9781098109417)

एक उत्पादक समानांतर प्रोग्रामिंग भाषा

Vale प्रोग्रामिंग भाषा के लिए कंपाइलर - http://vale.dev/

Fusion प्रोग्रामिंग भाषा। इसे C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript और OpenCL C में ट्रांसपाइल किया जाता है।

lamdu - अगली पीढ़ी के IDE की ओर