قائمة البرامج المطورة في الجامعات

هذه قائمة بالبرامج التي تم تطويرها في الجامعات، بما في ذلك البرامج ولغات البرمجة وأنظمة التشغيل ومتصفحات الويب وأدوات رسومات الحاسوب وأنظمة قواعد البيانات وبرامج الحوسبة العلمية أو أطر التعلم الآلي التي نشأت أو يتم صيانتها من قبل البحث الجامعي أو الطلاب أو المختبرات الأكاديمية.

• ACT-R – بنية معرفية لنمذجة الإدراك البشري ( جامعة كارنيجي ميلون )
• أليكس نت – بنية شبكة عصبية التفافية مؤثرة للتعرف على الصور ( تورنتو )
• أباتشي إم إكس نت – إطار عمل للتعلم العميق ( جامعة واشنطن )
• أباتشي أوبن إن إل بي – مجموعة أدوات معالجة اللغة الطبيعية التي بدأها طلاب الدراسات العليا في جامعة إدنبرة ( إدنبرة )
• كافيه – إطار عمل للتعلم العميق ( جامعة كاليفورنيا، بيركلي )
• سيفيوس – برنامج ذكاء اصطناعي للعب البوكر ( ألبرتا )
• شينوك – برنامج ذكاء اصطناعي للعب لعبة الداما ( ألبرتا )
• كلاوديكو – برنامج بوكر بالذكاء الاصطناعي (جامعة كارنيجي ميلون )
• نظام التعرف على الكلام CMU Sphinx ( جامعة كارنيجي ميلون )
• ديندرال – نظام خبير مبكر للتحليل الكيميائي ( ستانفورد )
• إليزا – روبوت محادثة مبكر لمعالجة اللغة الطبيعية ( معهد ماساتشوستس للتكنولوجيا )
• ELKI – إطار عمل لاستخراج البيانات وتجميعها ( جامعة لودفيغ ماكسيميليان في ميونخ )
• GATE – إطار عمل لمعالجة اللغة الطبيعية واستخراج النصوص ( شيفيلد )
• HTK – مجموعة أدوات نموذج ماركوف المخفي للتعرف على الكلام ( كامبريدج )
• Kaldi – مجموعة أدوات التعرف على الكلام التي بدأت في ورشة عمل بجامعة جونز هوبكنز ( جونز هوبكنز )
• KNIME – منصة تحليل البيانات والتعلم الآلي ( كونستانز )
• LIBSVM – مكتبة برمجيات آلة المتجهات الداعمة ( جامعة تايوان الوطنية )
• ليبراتوس – برنامج بوكر بالذكاء الاصطناعي (جامعة كارنيجي ميلون )
• MALLET – مجموعة أدوات التعلم الآلي ومعالجة اللغة الطبيعية ( جامعة ماساتشوستس أمهيرست )
• مامبا – بنية التعلم العميق لنمذجة التسلسل ( كارنيجي ميلون وبرينستون ) ^{[ 1 ]}
• التحليل الضخم عبر الإنترنت - إطار عمل استخراج البيانات المتدفقة والتعلم الآلي ( وايكاتو )
• mlpack – مكتبة برمجيات التعلم الآلي ( معهد جورجيا للتكنولوجيا )
• موسى – نظام الترجمة الآلية الإحصائية ( إدنبرة )
• MovieLens – منصة بحثية لأنظمة التوصية ( مينيسوتا )
• مجموعة أدوات معالجة اللغة الطبيعية - مجموعة أدوات معالجة اللغة الطبيعية ( جامعة بنسلفانيا )
• التعلم اللغوي المستمر – نظام التعلم الآلي الدلالي ( جامعة كارنيجي ميلون )
• مشروع الذكاء الاصطناعي القائم على الحس السليم ( معهد ماساتشوستس للتكنولوجيا )
• أورانج – مجموعة برامج استخراج البيانات والتعلم الآلي ( ليوبليانا )
• بولاريس – برنامج ذكاء اصطناعي للعب البوكر ( ألبرتا )
• RapidMiner – منصة علوم البيانات والتعلم الآلي التي نشأت باسم YALE ( جامعة دورتموند التقنية )
• SGLang – إطار عمل للتوليد المنظم وخدمة LLM ( جامعة كاليفورنيا في بيركلي ، وستانفورد ، وتكساس إيه آند إم ، وغيرها) ^{[ 2 ]}
• SHRDLU – برنامج الفهم المبكر للغة الطبيعية ( معهد ماساتشوستس للتكنولوجيا )
• SNePS – نظام تمثيل المعرفة والاستدلال والتصرف ( بوفالو )
• Soar – بنية معرفية لأبحاث الذكاء الاصطناعي (جامعة كارنيجي ميلون )
• ثيانو – مكتبة حسابية عددية للتعلم العميق ( مونتريال )
• Torch – إطار عمل للتعلم الآلي والحوسبة العلمية ( المعهد الفدرالي السويسري للتكنولوجيا في لوزان وجامعة جنيف )
• vLLM – محرك الاستدلال والخدمة LLM ( جامعة كاليفورنيا في بيركلي ) ^{[ 3 ]}
• ويكا – مجموعة برامج التعلم الآلي ( وايكاتو )
• WordNet – قاعدة بيانات معجمية تُستخدم في معالجة اللغة الطبيعية ( برينستون )

• أليس – بيئة برمجة تعليمية ( جامعة فرجينيا وجامعة كارنيجي ميلون )
• BlueJ – بيئة تطوير جافا تعليمية ( كينت وديكين )
• DrJava – بيئة تطوير جافا خفيفة الوزن ( Rice )
• DrRacket – بيئة برمجة رسومية لـ Racket و Scheme ( جامعة رايس ، جامعة نورث إيسترن ، جامعة يوتا ، وغيرها)
• جرينفوت - بيئة تطوير جافا تعليمية ( كينت ولا تروب )
• كاريل – لغة برمجة تعليمية للمبتدئين ( ستانفورد )
• Logo – لغة برمجة تعليمية تم تطويرها في BBN و MIT ( MIT )
• NetLogo – لغة وبيئة نمذجة قائمة على الوكلاء ( جامعة نورث وسترن )
• بروسيسينج – لغة برمجة وبيئة للفنون البصرية ( معهد ماساتشوستس للتكنولوجيا )
• سكراتش – لغة برمجة تعليمية قائمة على الكتل ( معهد ماساتشوستس للتكنولوجيا )
• سكراتش جونيور – لغة برمجة مرئية تمهيدية ( جامعة تافتس ومعهد ماساتشوستس للتكنولوجيا )
• Snap! – لغة برمجة تعليمية قائمة على الكتل ( جامعة كاليفورنيا، بيركلي )
• ستارلوغو – لغة محاكاة قائمة على الوكلاء ( معهد ماساتشوستس للتكنولوجيا )

• لغة البرمجة الوظيفية Alice ML ( سارلاند )
• لغة برمجة الأنظمة BCPL – تم تنفيذها لأول مرة بواسطة مارتن ريتشاردز ( كامبريدج )
• BLISS – لغة برمجة الأنظمة ( جامعة كارنيجي ميلون )
• Charm++ – لغة برمجة متوازية ونظام تشغيل ( إلينوي )
• تشاك – لغة برمجة صوتية ذات توقيت دقيق ( برينستون )
• لغة البرمجة Cilk – لغة برمجة متوازية متعددة الخيوط ( معهد ماساتشوستس للتكنولوجيا )
• لغة برمجة نظيفة – لغة برمجة وظيفية بحتة ( رادبود )
• CLU – لغة برمجة ذات أنواع بيانات مجردة ( معهد ماساتشوستس للتكنولوجيا )
• تطبيق لغة Common Lisp (جامعة كارنيجي ميلون )
• لغة البرمجة دارتموث بيسك – لغة برمجة تم تطويرها في كلية دارتموث ( دارتموث )
• إلم – لغة وظيفية لواجهات الويب نشأت من أطروحة في جامعة هارفارد ( هارفارد )
• إقليد - لغة برمجة إجرائية ( تورنتو )
• Euphoria – لغة برمجة تم تطويرها من مشروع تخرج في تورنتو ( تورنتو )
• فوثارك – لغة برمجة وظيفية متوازية البيانات ( كوبنهاغن )
• هوب – لغة برمجة وظيفية ( إدنبرة )
• لغة برمجة عالية المستوى ( أريزونا )
• إدريس – لغة برمجة وظيفية ذات كتابة معتمدة ( جامعة سانت أندروز )
• جانوس – لغة برمجة إجرائية قابلة للعكس، كُتبت لأول مرة في معهد كاليفورنيا للتكنولوجيا ( كالتك )
• جوليا – لغة برمجة عالية الأداء للحوسبة التقنية ( معهد ماساتشوستس للتكنولوجيا )
• لغة ليسب – عائلة لغات برمجة تم إنشاؤها لأبحاث الذكاء الاصطناعي ( معهد ماساتشوستس للتكنولوجيا )
• لوا – لغة البرمجة النصية للبرامج التطبيقية ( ريو دي جانيرو )
• MATLAB – بيئة الحوسبة العددية التي نشأت في جامعة نيو مكسيكو وجامعة ستانفورد ( نيو مكسيكو وستانفورد )
• ميركوري - لغة برمجة منطقية وظيفية ( ملبورن )
• ميراندا – لغة برمجة وظيفية كسولة ( كينت )
• MIT/GNU Scheme – تطبيق لغة البرمجة Scheme ( MIT )
• لغة البرمجة الوظيفية ML – لغة برمجة وظيفية تم تطويرها لإثبات النظريات ( إدنبرة )
• Modula-2 – لغة برمجة الأنظمة ( المعهد الفدرالي السويسري للتكنولوجيا في زيورخ )
• NESL – لغة برمجة متوازية البيانات المتداخلة ( جامعة كارنيجي ميلون )
• نيكويست – لغة توليف وتأليف الصوت ( جامعة كارنيجي ميلون )
• أوبرون – لغة برمجة الأنظمة ( المعهد الفدرالي السويسري للتكنولوجيا في زيورخ )
• أوز – لغة برمجة متعددة الأنماط ( جامعة لوفان الكاثوليكية )
• باسكال – لغة برمجة هيكلية ( المعهد الفدرالي السويسري للتكنولوجيا في زيورخ )
• برولوج - لغة برمجة منطقية ( إيكس مارسيليا )
• لغة وبيئة الحوسبة الإحصائية R ( أوكلاند )
• Racket – لغة برمجة للأغراض العامة تم إنشاؤها في الأصل بواسطة مجموعة أبحاث PLT ( جامعة نورث إيسترن ، جامعة يوتا ، وغيرها) ^{[ 4 ]}
• S/SL – لغة بناء الجملة والدلالة ( تورنتو )
• لغة برمجة Scheme – لغة برمجة من عائلة Lisp ( معهد ماساتشوستس للتكنولوجيا )
• لغة البرمجة النصية Tcl – تم إنشاؤها في جامعة كاليفورنيا في بيركلي ( جامعة كاليفورنيا في بيركلي )
• تورينج - لغة برمجة تعليمية ( تورنتو )
• Ur – لغة برمجة وظيفية لتطبيقات الويب ( معهد ماساتشوستس للتكنولوجيا )

• ANTLR – مولد محلل نحوي نشأ من مجموعة أدوات بناء مترجمات جامعة بيردو ( جامعة بيردو )
• Clang – واجهة أمامية لمترجم لغات C و C++ و Objective-C و Objective-C++ مبنية على LLVM ( إلينوي )
• نظام الإصدارات المتزامنة – تم تطوير نظام التحكم في الإصدار في الأصل في Vrije Universiteit Amsterdam
• مترجم لغة هاسكل غلاسكو - مترجم للغة البرمجة هاسكل ( غلاسكو )
• LLDB – مكون تصحيح الأخطاء في مشروع LLVM ( إلينوي )
• مشروع البنية التحتية للمترجم LLVM ( إلينوي )
• NetBeans – بيئة تطوير متكاملة نشأت كمشروع طلابي ( جامعة تشارلز )
• نظام التحكم في المراجعات – نظام التحكم في الإصدارات المبكرة ( جامعة بيردو )
• SPIM – محاكي MIPS لتعليم لغة التجميع ( ويسكونسن )
• Standard ML of New Jersey – مترجم وبيئة تطوير متكاملة لـ Standard ML ( برينستون ومختبرات بيل )
• WATBOL – مُجمِّع لغة كوبول التعليمي ( واترلو )
• WATFIV – نظام مترجم لغة فورتران التعليمي ( واترلو )
• نظام WATIAC – نظام تعليم لغة التجميع ( واترلو )

• ECCE – محرر نصوص مصمم في ( إدنبرة )
• إيماكس – عائلة محررات نصوص قابلة للتوسيع نشأت في مختبر الذكاء الاصطناعي التابع لمعهد ماساتشوستس للتكنولوجيا ( MIT )
• محرر نصوص سابق تطور إلى محرر vi ( جامعة كاليفورنيا، بيركلي )
• لابيس – محرر نصوص تجريبي ومتصفح ويب تم تطويره في معهد ماساتشوستس للتكنولوجيا
• nvi – تطبيق مجاني لـ vi لأنظمة BSD ( جامعة كاليفورنيا، بيركلي )
• بيكو – محرر نصوص من مشروع برنامج البريد الإلكتروني باين ( واشنطن )
• TECO – محرر نصوص وبيئة برمجة مرتبطة بأنظمة المشاركة الزمنية في معهد ماساتشوستس للتكنولوجيا ( MIT )
• vi – محرر نصوص موجه للشاشة تم إنشاؤه لنظام BSD Unix ( جامعة كاليفورنيا في بيركلي )

• Alluxio – نظام ملفات افتراضي موزع كان يُسمى في الأصل Tachyon ( جامعة كاليفورنيا في بيركلي )
• أباتشي فلينك – إطار عمل لمعالجة البيانات المتدفقة نشأ من مشروع ستراتوسفير ( جامعة برلين التقنية )
• أباتشي ميسوس – إطار عمل لإدارة موارد المجموعة ( جامعة كاليفورنيا، بيركلي )
• أباتشي سبارك – محرك تحليلات البيانات والحوسبة العنقودية ( جامعة كاليفورنيا، بيركلي )
• قاعدة بيانات بيركلي - مكتبة قواعد بيانات مضمنة تعتمد على نظام المفتاح والقيمة ( جامعة كاليفورنيا في بيركلي )
• C-Store – نظام إدارة قواعد البيانات الموجهة بالأعمدة ( براون ، برانديز ، معهد ماساتشوستس للتكنولوجيا ، وجامعة ماساتشوستس بوسطن )
• Ceph – منصة تخزين موزعة للكائنات والكتل والملفات ( جامعة كاليفورنيا، سانتا كروز )
• Chord – بروتوكول جدول التجزئة الموزع من نظير إلى نظير ( MIT )
• Dataverse – برنامج مستودع بيانات البحث ( جامعة هارفارد )
• إنجرس – نظام قاعدة بيانات علائقية ( جامعة كاليفورنيا، بيركلي )
• InterMezzo – نظام ملفات موزع بدأ من مشروع Coda ( جامعة كارنيجي ميلون )
• Mimer SQL – نظام قاعدة بيانات علائقية نشأ كمشروع بحثي ( أوبسالا )
• PostgreSQL – نظام قاعدة بيانات علائقية كائنية ( جامعة كاليفورنيا في بيركلي ) ^{[ 5 ]}
• ترانسبايس – نظام إدارة قواعد البيانات العلائقية الذي نشأ في جامعة ميونخ التقنية

• برنامج 3D Slicer – برنامج لتحليل الصور الطبية والتصور العلمي ( معهد ماساتشوستس للتكنولوجيا ومستشفى بريغهام والنساء )
• بامب توب – بيئة سطح مكتب ثلاثية الأبعاد ( تورنتو )
• برنامج Coot – برنامج بناء نماذج الرسومات الجزيئية ( يورك )
• برنامج FITS Liberator – برنامج معالجة صور FITS الفلكية تم تطويره بالتعاون مع Caltech/IPAC ( Caltech )
• برنامج GIMP - محرر الرسومات النقطية، بدأ كمشروع طلابي في جامعة كاليفورنيا في بيركلي ( جامعة كاليفورنيا في بيركلي )
• Jmol – برنامج تصوير جزيئي تم تطويره في الأصل في جامعة نوتردام
• Matplotlib – مكتبة للرسم البياني وتصور البيانات نشأت من أبحاث جامعة شيكاغو ( شيكاغو )
• مونتاج – مجموعة أدوات برمجية لدمج صور علم الفلك ( كالتك )
• بروسيسينج – لغة وبيئة برمجة إبداعية ( معهد ماساتشوستس للتكنولوجيا )
• Sketchpad – برنامج رائد في مجال رسومات الحاسوب التفاعلية ( معهد ماساتشوستس للتكنولوجيا )
• برنامج UCSF Chimera – برنامج تصوير وتحليل الجزيئات ( UCSF )
• برنامج Visual Molecular Dynamics - برنامج تصوير الجزيئات ( إلينوي )
• VPython – بيئة عرض ثلاثي الأبعاد قائمة على لغة بايثون ( جامعة كارنيجي ميلون )

• نظام PLATO – نظام التعليم بمساعدة الحاسوب ( إلينوي )
• VisiCalc – برنامج جداول بيانات مبكر تم إنشاؤه بواسطة دان بريكلين وبوب فرانكستون ( معهد ماساتشوستس للتكنولوجيا وجامعة هارفارد )

• لعبة Rogue - لعبة فيديو لاستكشاف الأبراج المحصنة ( جامعة كاليفورنيا في سانتا كروز وجامعة كاليفورنيا في بيركلي )
• حرب الفضاء! – لعبة كمبيوتر رقمية مبكرة ( معهد ماساتشوستس للتكنولوجيا )
• لعبة Tux Racer – لعبة سباق مفتوحة المصدر بدأت كمشروع رسومات ( واترلو )
• زورك – لعبة مغامرات نصية تم تطويرها في معهد ماساتشوستس للتكنولوجيا ( MIT )

• دي سبيس – برنامج المستودع الرقمي ( معهد ماساتشوستس للتكنولوجيا )
• نظام إدارة التعلم مفتوح المصدر ILIAS ( كولونيا )
• منتدى المعرفة – برنامج التعلم التعاوني المدعوم بالحاسوب ( تورنتو )
• MIT App Inventor – بيئة برمجة مرئية لتطبيقات أندرويد ( MIT )
• أنظمة المجلات المفتوحة – برامج إدارة ونشر المجلات ( كولومبيا البريطانية وسيمون فريزر )
• pdfTeX – امتداد TeX لإخراج ملفات PDF مباشرة ( Masaryk )
• ساكاي – نظام إدارة التعلم الذي طوره اتحاد جامعي ( ميشيغان ، إنديانا ، معهد ماساتشوستس للتكنولوجيا ، وستانفورد )
• سكرايب – نظام إعداد الوثائق الذي تم تطويره كمشروع دكتوراه (جامعة كارنيجي ميلون )
• برنامج زوتيرو لإدارة المراجع ( جامعة جورج ماسون )

• ACL2 – برنامج إثبات النظريات ولغة برمجة ( تكساس )
• أغدا – لغة برمجة تعتمد على النوع ومساعد إثبات ( تشالمرز )
• Alloy – لغة ومحلل مواصفات البرمجيات ( معهد ماساتشوستس للتكنولوجيا )
• مُثبت نظرية بوير-مور – مُثبت نظريات آلي ( تكساس )
• مدقق تحسينات FDR – CSP ( أكسفورد )
• نظام إثبات النظريات HOL ( كامبريدج )
• أداة التحقق الرسمي لبرامج ISP – أداة التحقق الرسمي لبرامج MPI ( يوتا )
• إيزابيل – برنامج إثبات النظريات الذي تم تطويره في كامبريدج وجامعة ميونخ التقنية ( كامبريدج وجامعة ميونخ التقنية )
• KeY – أداة التحقق الرسمي لبرامج جافا ( KIT ، TU Darmstadt ، و Chalmers )
• منطق الدوال القابلة للحساب – برنامج إثبات النظريات الذي تم تطويره في ستانفورد وإدنبرة ( ستانفورد وإدنبرة )
• ميزر – مساعد البرهان ونظام الرياضيات الرسمي ( بياليستوك ، ألبرتا ، وشينشو )
• Murφ – مدقق نموذج الحالة الصريحة ( ستانفورد )
• نظام تطوير الأدلة Nuprl ( جامعة كورنيل )
• برنامج PRISM – مدقق النماذج الاحتمالية ( برمنغهام وأكسفورد )
• روك – مساعد الإثبات المعروف سابقًا باسم Coq ( INRIA ، École Polytechnique ، Paris-Sud ، وغيرها)
• أداة رودين – أداة نمذجة رسمية لمشروع Event-B ( نيوكاسل وشركاء المشروع الآخرين)
• اثنا عشر - إطار منطقي وبيئة لإثبات النظريات ( جامعة كارنيجي ميلون )
• UPPAAL – مدقق النماذج للأنظمة في الوقت الحقيقي ( أوبسالا وآلبورغ )

• أدوات رسم الخرائط العامة – أدوات ^توليد الخرائط ومعالجة بيانات علوم الأرض ( كولومبيا وهاواي ) ^{[ 6} ]
• GeoDa – برنامج تحليل البيانات المكانية والتصور الجغرافي ( إلينوي وشيكاغو )
• برنامج GPlates – برنامج لتصور الصفائح التكتونية ( سيدني وكالتك )
• MapServer – بيئة تطوير تطبيقات الخرائط على الويب ( مينيسوتا )
• برنامج SAGA GIS – برنامج نظم المعلومات الجغرافية الجيوعلمية ( غوتينغن وهامبورغ )
• TerrSet – برنامج نظم المعلومات الجغرافية والاستشعار عن بعد الذي طورته شركة Clark Labs ( Clark )
• أدوات التحليل الجغرافي المكاني من وايت بوكس ​​– برامج نظم المعلومات الجغرافية والاستشعار عن بعد ( جولف )

• ألبين – عميل بريد إلكتروني تم تطويره في ( واشنطن )
• أرشي – محرك بحث مبكر على الإنترنت ( جامعة ماكجيل )
• BIND – برنامج خادم DNS تم تصميمه في الأصل في جامعة كاليفورنيا في بيركلي
• خادم أسماء CCSO – خدمة دليل الإنترنت المبكرة ( إلينوي )
• CU-SeeMe – عميل مبكر لعقد مؤتمرات الفيديو عبر الإنترنت ( جامعة كورنيل )
• خادم سايروس IMAP – برنامج خادم البريد الإلكتروني ( جامعة كارنيجي ميلون )
• يودورا – برنامج عميل للبريد الإلكتروني تم تطويره في جامعة إلينوي
• محرك بحث جوجل – محرك بحث نشأ من مشروع بحث BackRub المدعوم من NSF ( ستانفورد ) ^{[ 7 ]}
• غوفر – بروتوكول ونظام برمجيات لاسترجاع المستندات عبر الإنترنت ( مينيسوتا )
• مشروع الحصاد – مشروع ذاكرة التخزين المؤقت للويب واكتشاف الموارد ( كولورادو بولدر )
• هيسيود – خدمة أسماء الشبكة ( معهد ماساتشوستس للتكنولوجيا )
• نظام الدردشة النصية عبر الإنترنت ( أولو )
• جيتسي – مشروع مؤتمرات فيديو مفتوح المصدر نشأ من مشروع طلابي ( ستراسبورغ )
• كيربيروس – بروتوكول مصادقة الشبكة ( معهد ماساتشوستس للتكنولوجيا )
• كيرميت – بروتوكول نقل الملفات وبرنامج الاتصالات ( كولومبيا )
• ليكوس – محرك بحث مبكر على الإنترنت (جامعة كارنيجي ميلون )
• لينكس – متصفح ويب نصي ( كانساس )
• متصفح الويب موزاييك – متصفح ويب رسومي مبكر ( إلينوي )
• خادم الويب المبكر NCSA HTTPd ( إلينوي )
• تطبيق Telnet في NCSA ( إلينوي )
• باين – عميل بريد إلكتروني وأخبار نصي ( واشنطن )
• برنامج Psiphon – برنامج لتجاوز الرقابة ( تورنتو )
• Squid – وكيل تخزين مؤقت مشتق من مشروع Harvest ( جامعة كولورادو بولدر وجامعة كاليفورنيا في سان دييغو )
• Talkomatic – نظام دردشة متعدد المستخدمين عبر الإنترنت ( إلينوي )
• TkWWW – متصفح ويب مبكر ومحرر HTML ( معهد ماساتشوستس للتكنولوجيا )
• تطبيق خادم IMAP المرجعي لجامعة واشنطن ( UW IMAP )
• ViolaWWW – متصفح ويب رسومي مبكر ( جامعة كاليفورنيا في بيركلي )
• WebCT – نظام إدارة المقررات الدراسية عبر الإنترنت ( جامعة كولومبيا البريطانية )
• زفير – بروتوكول المراسلة الفورية ومجموعة التطبيقات ( معهد ماساتشوستس للتكنولوجيا )
• ZMailer – وكيل نقل البريد ( تورنتو )

• نواة نظام التشغيل Accent - نواة نظام التشغيل والسلف لنظام Mach ( جامعة كارنيجي ميلون )
• نواة ألف – نواة نظام تشغيل مبكرة لمشروع بوابة روتشستر الذكية ( روتشستر )
• الأميبا – نظام التشغيل الموزع ( جامعة فريجي أمستردام )
• نظام ملفات أندرو – نظام ملفات موزع ( جامعة كارنيجي ميلون )
• مشروع أندرو – بيئة الحوسبة الموزعة ( جامعة كارنيجي ميلون )
• Barrelfish – نظام تشغيل موزع مفتوح المصدر ( معهد ETH زيورخ وأبحاث مايكروسوفت )
• توزيعة برامج بيركلي – توزيعة نظام التشغيل يونكس ( جامعة كاليفورنيا في بيركلي )
• مقابس بيركلي – واجهة برمجة تطبيقات الشبكات من BSD ( جامعة كاليفورنيا في بيركلي )
• نظام الحوسبة الموزعة من كامبريدج – نظام تشغيل موزع ( كامبريدج )
• كودا – نظام ملفات موزع ( جامعة كارنيجي ميلون )
• نظام المشاركة الزمنية المتوافق – نظام تشغيل المشاركة الزمنية المبكر ( معهد ماساتشوستس للتكنولوجيا )
• نظام التشغيل البحثي القائم على القدرات ( EROS ) ( جامعة بنسلفانيا وجامعة جونز هوبكنز )
• Exokernel – بنية نواة نظام التشغيل ( معهد ماساتشوستس للتكنولوجيا )
• GFS2 – نظام ملفات القرص المشترك الذي نشأ في جامعة مينيسوتا ( مينيسوتا )
• HelenOS – نظام تشغيل متعدد الخوادم ذو نواة مصغرة للأبحاث ( Charles )
• نظام التشغيل هيدرا – نظام تشغيل قائم على القدرات (جامعة كارنيجي ميلون )
• نظام المشاركة الزمنية غير المتوافق – نظام تشغيل المشاركة الزمنية ( معهد ماساتشوستس للتكنولوجيا )
• K42 – نظام تشغيل بحثي ( تورنتو )
• نواة لينكس – نواة نظام تشغيل شبيه بنظام يونكس، بدأها طالب في جامعة هلسنكي
• Mach (kernel) – نواة نظام التشغيل (جامعة كارنيجي ميلون )
• نظام ميشيغان الطرفي – نظام تشغيل لتقاسم الوقت على الحاسوب المركزي ( ميشيغان وجامعات أخرى)
• MINIX – نظام تشغيل تعليمي يشبه يونكس ( Vrije Universiteit Amsterdam )
• Multics – نظام تشغيل لتقاسم الوقت تم تطويره بمشاركة معهد ماساتشوستس للتكنولوجيا ( MIT )
• MUSIC/SP – نظام تشغيل لتقاسم الوقت على الحواسيب المركزية ( McGill )
• نيميسيس – نظام تشغيل موجه نحو الوسائط المتعددة ( كامبريدج وغيرها)
• أورفيل وويلبور – نظام مراقبة وتحرير نصوص بتقنية المشاركة الزمنية ( ستانفورد )
• RIOT – نظام تشغيل في الوقت الحقيقي لأجهزة إنترنت الأشياء ( جامعة برلين الحرة ، والمعهد الوطني للبحوث في علوم الحاسوب والتحكم الآلي ، وجامعة هامبورغ للعلوم التطبيقية )
• سبرايت – نظام تشغيل تجريبي موزع يشبه نظام يونكس ( جامعة كاليفورنيا في بيركلي )
• نظام البرمجة المتعددة – نظام تشغيل البرمجة المتعددة المبكر ( أيندهوفن )
• ثوث – نظام تشغيل لتمرير الرسائل في الوقت الحقيقي ( واترلو )
• نظام التشغيل المحمول TRIPOS ( كامبريدج )
• نظام تشغيل TRIX – نظام تشغيل شبيه بنظام يونكس ( معهد ماساتشوستس للتكنولوجيا )
• تونس – نظام تشغيل متوافق مع يونكس ( تورنتو )
• V – نظام تشغيل موزع ذو نواة مصغرة ( ستانفورد )
• نظام النوافذ X – نظام النوافذ لشاشات الصور النقطية ( معهد ماساتشوستس للتكنولوجيا )
• شينو – نظام التشغيل التعليمي ( بوردو )
• Xv6 – نظام تشغيل تعليمي قائم على نظام يونكس الإصدار 6 ( معهد ماساتشوستس للتكنولوجيا )

• BAITSSS – نموذج التبخر النتحي والاستشعار عن بعد ( أيداهو )
• جازيبو – منصة محاكاة الروبوتات ( جامعة جنوب كاليفورنيا )
• نيورون – بيئة محاكاة عصبية ( جامعة ديوك وجامعة ييل )
• ns – محاكي شبكة الأحداث المنفصلة ( جامعة كاليفورنيا، بيركلي )
• OpenModelica – بيئة نمذجة ومحاكاة قائمة على لغة Modelica ( لينشوبينغ )
• OpenRAVE – بيئة تخطيط حركة الروبوتات ( جامعة كارنيجي ميلون )
• OpenSees – إطار عمل لمحاكاة هندسة الزلازل ( جامعة كاليفورنيا، بيركلي )
• اللاعب/المرحلة – أدوات التحكم في الروبوت والمحاكاة ( جامعة جنوب كاليفورنيا )
• نظام تشغيل الروبوت – نظام برمجيات وسيطة للروبوتات ذو أصول مبكرة في جامعة ستانفورد ( ستانفورد )
• SU2 – ديناميكيات الموائع الحسابية وبرامج التصميم ( ستانفورد )
• Webots – برنامج محاكاة الروبوتات ( EPFL )

• برنامج CHARMM – برنامج محاكاة جزيئية ( جامعة هارفارد )
• CoCoA – نظام الجبر الحاسوبي ( جنوة )
• أسرع تحويل فورييه في الغرب – مكتبة برمجيات تحويل فورييه السريع ( معهد ماساتشوستس للتكنولوجيا )
• Folding@home – مشروع الحوسبة الموزعة لطي البروتينات ( ستانفورد )
• GAP – نظام الجبر المنفصل الحسابي ( آخن وسانت أندروز )
• برنامج GROMACS – حزمة ديناميكيات الجزيئات ( جرونينجن )
• برنامج GNU Octave – برنامج الحوسبة العددية المرتبط بجامعة ويسكونسن-ماديسون ( ويسكونسن-ماديسون )
• HTCondor – إطار عمل برمجي للحوسبة عالية الإنتاجية ( ويسكونسن-ماديسون )
• Macaulay2 – نظام جبر حاسوبي للهندسة الجبرية والجبر التبادلي ( إلينوي وكورنيل )
• Macsyma – نظام الجبر الحاسوبي ( MIT )
• ماجما – نظام الجبر الحاسوبي ( سيدني )
• مابل – بيئة الحوسبة الرمزية والرقمية ( واترلو )
• ماكسيما – نظام جبر حاسوبي مشتق من ماكسيما ( معهد ماساتشوستس للتكنولوجيا )
• برنامج Meep – برنامج محاكاة المجال الزمني باستخدام طريقة الفروق المحدودة ( معهد ماساتشوستس للتكنولوجيا )
• ميتافونت – لغة ونظام وصف الخطوط ( ستانفورد )
• MPB – حزمة برمجية لحساب هياكل النطاقات الضوئية ( معهد ماساتشوستس للتكنولوجيا )
• برنامج NAMD - برنامج ديناميكيات الجزيئات ( إلينوي )
• NUPACK – مجموعة برامج تحليل وتصميم الأحماض النووية ( معهد كاليفورنيا للتكنولوجيا )
• PARI/GP – نظام الجبر الحاسوبي لنظرية الأعداد ( بوردو )
• روزيتا – مجموعة برامج نمذجة الجزيئات الكبيرة ( واشنطن )
• SageMath – نظام برمجيات الرياضيات ( واشنطن )
• مشروع SETI@home – مشروع حوسبة تطوعي لتحليل الإشارات الراديوية ( جامعة كاليفورنيا، بيركلي )
• SMP – نظام الجبر الحاسوبي والسلف لبرنامج Mathematica ( معهد كاليفورنيا للتكنولوجيا )
• نظام TeX – نظام التنضيد الرقمي ( ستانفورد )

• قائمة جوائز علوم الحاسوب
• قائمة باكتشافات وتطورات مختبرات بيل
• قائمة بحزم البرامج المجانية والمفتوحة المصدر
• قائمة مختبرات البحث والتطوير
• قائمة مراكز أبحاث الذكاء الاصطناعي في الجامعات
• برنامج جامعة كارنيجي ميلون
• برنامج معهد ماساتشوستس للتكنولوجيا
• برامج جامعة تورنتو
• برامج جامعة مينيسوتا
• توزيع برامج بيركلي
• RISC-V – بنية أجهزة مفتوحة المصدر تم تطويرها في جامعة كاليفورنيا في بيركلي
• lowRISC – منظمة غير ربحية مفتوحة المصدر متخصصة في السيليكون، انبثقت من جامعة كامبريدج
• OpenRISC – بنية معالج مفتوحة المصدر بدأها طلاب جامعيون سلوفينيون ^{[ 8 ]}
• مشروع OpenROAD – مشروع مفتوح المصدر لأتمتة تصميم الإلكترونيات بقيادة جامعة كاليفورنيا في سان دييغو