Ada/SPARK
لغة برمجة حديثة صُمّمت للتطبيقات الكبيرة طويلة العمر التي تكون فيها الموثوقية والكفاءة أساسيتين.
دليلك
نظرة عامة كتبها الذكاء الاصطناعيعلى موقع آخر. من القائمة: sindresorhus/awesome · الرخصة: CC0-1.0 · لغات البرمجة · الترجمات مولّدة بالذكاء الاصطناعي؛ راجع الأصل دائمًا.
كيف تتعلم من مشروع أو قائمة على GitHub
مسارك عبر لغات أخرى
محطة 63
كتابة إطار اختبار MiniTest
مشروع للبناء
محطة 64
درس محرّك فيزياء ثلاثي الأبعاد
مشروع للبناء
محطة 65
Ada/SPARK
قائمة موارد
محطة 66
محرّك شطرنج بلغة C
مشروع للبناء
محطة 67
ClojureScript
قائمة موارد
محطة 68
Common Lisp
قائمة موارد
محطة 69
Coq
قائمة موارد
واصل الاستكشاف
لغات أخرى
رائد فضاء متقدم
الصعوبة
5/5
قائمة موارد
لغات أخرى
رائد فضاء متقدم
Q#
الصعوبة
5/5
قائمة موارد
لغات أخرى
رائد فضاء متقدم
الصوت العلمي
الصعوبة
5/5
قائمة موارد
لغات أخرى
رائد فضاء متقدم
Coq
الصعوبة
5/5
قائمة موارد