Полная версияСписок программного обеспечения, разработанного в университетах ⇐ Васина Википедия
-
Автор темыwiki_en
- Всего сообщений: 121418
- Зарегистрирован: 16.01.2024
Список программного обеспечения, разработанного в университетах
Это '''список программного обеспечения, разработанного в университетах'''. включая программное обеспечение, языки программирования, операционные системы, веб-браузеры, инструменты компьютерной графики, системы баз данных, программное обеспечение для научных вычислений или среды машинного обучения, которые созданы или поддерживаются программным обеспечением|поддерживаются университетскими исследованиями, студентами или академическими лабораториями.
== Искусственный интеллект и машинное обучение ==
* ACT-R – когнитивная архитектура для моделирования человеческого познания (Университет Карнеги-Меллона|Карнеги-Меллон)
* AlexNet – влиятельная архитектура сверточной нейронной сети для распознавания изображений (Университет Торонто | Торонто)
* Apache OpenNLP — набор инструментов для обработки естественного языка, созданный аспирантами Эдинбурга (Эдинбургский университет | Эдинбург)
* Caffe (программное обеспечение)|Caffe – система глубокого обучения (Калифорнийский университет, Беркли|UC Беркли)
* Cepheus (покерный бот)|Cepheus – программа искусственного интеллекта для игры в покер (Университет Альберты|Альберта)
* Chinook (компьютерная программа)|Chinook – программа искусственного интеллекта для игры в шашки (Университет Альберты|Альберта)
* Claudico – программа покера с искусственным интеллектом (Университет Карнеги-Меллон | Карнеги-Меллон)
* CMU Sphinx – система распознавания речи (Университет Карнеги-Меллона|Карнеги-Меллон)
* Дендрал – ранняя экспертная система химического анализа (Стэнфордский университет|Стэнфорд)
* ELIZA – ранний чат-бот, обрабатывающий естественный язык (Массачусетский технологический институт|MIT)
* ELKI – система интеллектуального анализа данных и кластеризации (Мюнхенский университет Людвига-Максимилиана | LMU Мюнхен)
* Общая архитектура для текстовой инженерии | GATE – среда обработки естественного языка и анализа текста (Университет Шеффилда | Шеффилд)
* HTK (программное обеспечение)|HTK – набор инструментов скрытой марковской модели для распознавания речи (Кембриджский университет|Кембридж)
* Kaldi (программное обеспечение)|Kaldi – набор инструментов для распознавания речи, запущенный на семинаре Джона Хопкинса (Университет Джонса Хопкинса|Джонс Хопкинс)
* KNIME – платформа анализа данных и машинного обучения (Университет Констанца|Констанц)
* LIBSVM – библиотека программного обеспечения для векторных машин (Национальный Тайваньский университет)
* Libratus – покерная программа искусственного интеллекта (Университет Карнеги-Меллон | Карнеги-Меллон)
* Mallet (проект программного обеспечения)|MALLET – набор инструментов машинного обучения и обработки естественного языка (Массачусетский университет в Амхерсте|UMass Amherst)
* Массовый онлайн-анализ – платформа анализа потоков данных и машинного обучения (Университет Вайкато | Вайкато)
* Mlpack|mlpack – библиотека программного обеспечения для машинного обучения (Технологический институт Джорджии|Технологический институт Джорджии)
* Моисей (машинный перевод)|Моисей – статистическая система машинного перевода (Эдинбургский университет|Эдинбург)
* MovieLens – исследовательская платформа рекомендательной системы (Университет Миннесоты | Миннесота)
* Natural Language Toolkit – набор инструментов для обработки естественного языка (Пенсильванский университет | Пенсильвания)
* Бесконечное изучение языка – система семантического машинного обучения (Университет Карнеги-Меллон | Карнеги-Меллон)
* Open Mind Common Sense – проект искусственного интеллекта, основанный на здравом смысле (Массачусетский технологический институт | MIT)
* Orange (программное обеспечение)|Orange – пакет программного обеспечения для интеллектуального анализа данных и машинного обучения (Университет Любляны|Любляна)
* Polaris (покерный бот)|Polaris – программа искусственного интеллекта для игры в покер (Университет Альберты|Альберта)
* RapidMiner — платформа для анализа данных и машинного обучения, созданная YALE (TU Dortmund University|TU Dortmund)
* SGLang – структура структурированного генерирования и обслуживания LLM (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли, Стэнфордский университет | Стэнфордский, Техасский университет A&M | Техасский A&M и другие) * SHRDLU – ранняя программа понимания естественного языка (Массачусетский технологический институт|MIT)
* SNePS – система представления знаний, рассуждений и действий (Университет Буффало | Буффало)
* Soar (когнитивная архитектура)|Soar – когнитивная архитектура для исследований искусственного интеллекта (Университет Карнеги-Меллон|Карнеги-Меллон)
* Theano (программное обеспечение)|Theano – библиотека числовых вычислений для глубокого обучения (Университет Монреаля|Монреаль)
* vLLM – механизм вывода и обслуживания LLM (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли) * Weka (машинное обучение)|Weka – пакет программного обеспечения для машинного обучения (Университет Вайкато|Вайкато)
* WordNet – лексическая база данных, используемая при обработке естественного языка (Принстонский университет | Принстон)
== Образовательные и визуальные среды программирования ==
* Алиса (программное обеспечение)|Алиса – образовательная среда программирования (Университет Вирджинии|Университет Вирджинии и Карнеги-Меллон|Карнеги-Меллон)
* BlueJ – образовательная среда разработки Java (Университет Кента|Кент и Университет Дикина|Дикин)
* DrJava – облегченная среда разработки Java (Университет Райса|Rice)
* DrRacket#Programming Environment|DrRacket – графическая среда программирования для Racket and Scheme (Университет Райса|Райс, Северо-Восточный университет|Северо-Восточный университет штата Юта|Юта, |Университет Кента и Ла-Троба|Ла-Троб)
* Karel (язык программирования)|Karel – образовательный язык программирования для начинающих (Стэнфордский университет|Стэнфорд)
* Логотип (язык программирования)|Логотип – образовательный язык программирования, разработанный в BBN и MIT (Массачусетский технологический институт|MIT)
* NetLogo — язык и среда агентного моделирования (Северо-Западный университет | Северо-Западный)
* Обработка – язык и среда программирования визуальных искусств (Массачусетский технологический институт|MIT)
* Scratch (язык программирования)|Scratch – блочный образовательный язык программирования (Массачусетский технологический институт|MIT)
* ScratchJr — вводный язык визуального программирования (Университет Тафтса|Технологический институт Тафтса и Массачусетса|MIT)
* StarLogo – язык агентного моделирования (Массачусетский технологический институт | MIT)
== Языки программирования ==
* Алиса (язык программирования)|Алиса ML – язык функционального программирования (Саарский университет|Саар)
* BCPL – язык системного программирования, впервые реализованный Мартином Ричардсом (Кембриджский университет | Кембридж)
* BLISS – язык системного программирования (Университет Карнеги-Меллон|Карнеги-Меллон)
* Charm++ – язык параллельного программирования и система выполнения (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* ChucK – язык программирования аудио со строгой синхронизацией (Принстонский университет | Принстон)
* Cilk – язык многопоточного параллельного программирования (Массачусетский технологический институт|MIT)
* Clean (язык программирования)|Clean – чисто функциональный язык программирования (Университет Радбауд в Неймегене|Радбоуд)
* CLU (язык программирования)|CLU – язык программирования с абстрактными типами данных (Массачусетский технологический институт|MIT)
* CMU Common Lisp – реализация Common Lisp (Университет Карнеги-Меллон | Карнеги-Меллон)
* Dartmouth BASIC – язык программирования, разработанный в Дартмутском колледже (Dartmouth College|Dartmouth)
* Elm (язык программирования)|Elm – функциональный язык для веб-интерфейсов, созданный на основе Гарвардской диссертации (Гарвардский университет|Гарвард)
* Евклид (язык программирования)|Евклид – императивный язык программирования (Университет Торонто|Торонто)
* Euphoria (язык программирования)|Euphoria – язык программирования, разработанный на основе дипломного проекта Торонто (Университет Торонто|Торонто)
* Futhark (язык программирования)|Futhark – язык функционального программирования с параллельными данными (Университет Копенгагена|Копенгаген)
* Hope (язык программирования)|Hope – функциональный язык программирования (Эдинбургский университет|Эдинбург)
* Icon (язык программирования)|Icon – язык программирования высокого уровня (Университет Аризоны|Аризона)
* Идрис (язык программирования)|Идрис – функциональный язык программирования с зависимой типизацией (Университет Сент-Эндрюс|Сент-Эндрюс)
* Янус (обратимый во времени язык программирования вычислений)|Янус – обратимый императивный язык программирования, впервые написанный в Калифорнийском технологическом институте (Калифорнийский технологический институт|Калтех)
* Julia (язык программирования)|Julia – высокопроизводительный язык программирования для технических вычислений (Массачусетский технологический институт|MIT)
* Lisp (язык программирования)|Lisp — семейство языков программирования, созданное для исследований искусственного интеллекта (Массачусетский технологический институт|MIT)
* MATLAB – среда численных вычислений, зародившаяся в Университетах Нью-Мексико и Стэнфорде (Университет Нью-Мексико|Нью-Мексико и Стэнфордский университет|Стэнфорд)
* Mercury (язык программирования)|Mercury – язык программирования функциональной логики (Мельбурнский университет|Мельбурн)
* Миранда (язык программирования)|Миранда – ленивый функциональный язык программирования (Университет Кента|Кент)
* MIT/GNU Scheme – реализация языка программирования Scheme (Массачусетский технологический институт|MIT)
* ML (язык программирования)|ML – функциональный язык программирования, разработанный для доказательства теорем (Эдинбургский университет|Эдинбург)
* Modula-2 – язык системного программирования (ETH Zurich)
* NESL – вложенный язык параллельного программирования данных (Университет Карнеги-Меллон | Карнеги-Меллон)
* Найквист (язык программирования)|Найквист – язык синтеза и композиции звука (Университет Карнеги-Меллон|Карнеги-Меллон)
* Оберон (язык программирования)|Оберон – язык системного программирования (ETH Zurich)
* Oz (язык программирования)|Oz – мультипарадигмальный язык программирования (UCLouvain)
* Паскаль (язык программирования)|Паскаль – язык структурированного программирования (ETH Zurich)
* Пролог – язык логического программирования (Университет Экс-Марсель | Экс-Марсель)
* R (язык программирования)|R – язык и среда статистических вычислений (Оклендский университет|Окленд)
* Racket (язык программирования)|Racket – язык программирования общего назначения, первоначально созданный исследовательской группой PLT (Северо-Восточный университет|Северо-Восточный, Университет Юты | Юта и другие) * Язык программирования S/SL|S/SL – синтаксический и семантический язык (Университет Торонто|Торонто)
* Scheme (язык программирования)|Scheme – язык программирования семейства Lisp (Массачусетский технологический институт|MIT)
* Tcl (язык программирования)|Tcl – язык сценариев, созданный в Калифорнийском университете в Беркли (University of California, Berkeley|UC Berkeley)
* Тьюринг (язык программирования)|Тьюринг – образовательный язык программирования (Университет Торонто|Торонто)
* Ur (язык программирования)|Ur – функциональный язык программирования для веб-приложений (Массачусетский технологический институт|MIT)
== Компиляторы, отладчики и инструменты разработки программного обеспечения ==
* ANTLR — генератор синтаксического анализатора, созданный на основе набора инструментов Purdue Compiler Construction Tool (Университет Пердью | Purdue)
* Clang — внешний интерфейс компилятора C, C++, Objective-C и Objective-C++, построенный на LLVM (Университет Иллинойса, Урбана-Шампейн | Иллинойс)
* Система параллельных версий — система контроля версий, первоначально разработанная в Vrije Universiteit Amsterdam
* Glasgow Haskell Compiler – компилятор языка программирования Haskell (Университет Глазго|Глазго)
* LLDB (отладчик)|LLDB – компонент отладчика проекта LLVM (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* LLVM – проект инфраструктуры компилятора (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* NetBeans — интегрированная среда разработки, возникшая как студенческий проект (Карлов университет)
* Система контроля версий – ранняя система контроля версий (Университет Пердью|Purdue)
* SPIM – симулятор MIPS для обучения языку ассемблера (Университет Висконсин-Мэдисон|Висконсин)
* Standard ML of New Jersey — компилятор и IDE для Standard ML (Принстонский университет | Princeton and Bell Labs)
* WATBOL – образовательный компилятор COBOL (Университет Ватерлоо|Ватерлоо)
* WATFIV – образовательная система компилятора FORTRAN (Университет Ватерлоо|Ватерлоо)
* WATIAC – система обучения ассемблерному языку (Университет Ватерлоо|Ватерлоо)
== Текстовые редакторы ==
* Редактор контекста, совместимый с Эдинбургом | ECCE – текстовый редактор, разработанный в (Эдинбургском университете | Эдинбурге)
* Emacs — семейство расширяемых текстовых редакторов, созданное в Лаборатории искусственного интеллекта MIT (Массачусетский технологический институт | MIT)
* ex (текстовый редактор)|ex – построчный редактор, который превратился в vi (Калифорнийский университет, Беркли|UC Беркли)
* Lapis (текстовый редактор)|Lapis – экспериментальный текстовый редактор и веб-браузер, разработанный в Массачусетском технологическом институте|MIT
* nvi – бесплатная реализация vi для систем BSD (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Pico (текстовый редактор)|Pico – текстовый редактор из проекта программного обеспечения электронной почты Pine (Вашингтонский университет|Вашингтон)
* TECO (текстовый редактор)|TECO – текстовый редактор и среда программирования, связанная с системами разделения времени MIT (Массачусетский технологический институт|MIT)
* Vi (текстовый редактор)|vi – экранно-ориентированный текстовый редактор, созданный для BSD Unix (Калифорнийский университет, Беркли|UC Berkeley)
== Базы данных, управление данными и распределенное хранилище ==
* Alluxio — виртуальная распределенная файловая система, первоначально называвшаяся Tachyon (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Apache Flink — платформа потоковой обработки, созданная на основе проекта Stratphere (Берлинский технический университет | TU Berlin)
* Apache Mesos – структура управления ресурсами кластера (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Apache Spark – механизм анализа данных и кластерных вычислений (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Berkeley DB – встроенная библиотека баз данных «ключ-значение» (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* C-Store – система управления базами данных, ориентированная на столбцы (Университет Брауна | Браун, Университет Брандейса | Брандейс, Массачусетский технологический институт | Массачусетский технологический институт и Массачусетский университет в Бостоне | Массачусетский университет в Бостоне)
* Ceph (программное обеспечение)|Ceph – платформа распределенного хранения объектов, блоков и файлов (Калифорнийский университет, Санта-Крус|UC Санта-Крус)
* Chord (одноранговая сеть)|Chord – протокол одноранговой распределенной хеш-таблицы (Массачусетский технологический институт|MIT)
* Dataverse – программное обеспечение для хранения исследовательских данных (Гарвардский университет|Гарвард)
* Ingres (база данных)|Ingres – система реляционных баз данных (Калифорнийский университет, Беркли|UC Беркли)
* InterMezzo (файловая система)|InterMezzo – распределенная файловая система, созданная на основе проекта Coda (Университет Карнеги-Меллон|Карнеги-Меллон)
* Mimer SQL – система реляционных баз данных, созданная в результате исследовательского проекта (Университет Упсалы | Уппсала)
* Postgres|PostgreSQL – объектно-реляционная система баз данных (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли) * Transbase – система управления реляционными базами данных, разработанная Мюнхенским техническим университетом | TU Мюнхен
== Компьютерная графика, визуализация и редактирование изображений ==
* 3D Slicer — программное обеспечение для анализа медицинских изображений и научной визуализации (Массачусетский технологический институт | Массачусетский технологический институт и Бригамская и женская больница)
* BumpTop – среда 3D-рабочего стола (Университет Торонто | Торонто)
* Coot (программное обеспечение)|Coot – программное обеспечение для построения моделей молекулярной графики (Йоркский университет|Йорк)
* FITS Liberator – программное обеспечение для обработки астрономических изображений FITS, разработанное совместно с Калифорнийским технологическим институтом/IPAC (Калифорнийский технологический институт | Калифорнийский технологический институт)
* GIMP — редактор растровой графики, созданный как студенческий проект Калифорнийского университета в Беркли (Калифорнийский университет, Беркли|UC Berkeley)
* Jmol — программное обеспечение для молекулярной визуализации, первоначально разработанное в Университете Нотр-Дам | Нотр-Дам
* Matplotlib — библиотека построения графиков и визуализации данных, созданная на основе исследований Чикагского университета (Чикагский университет | Чикаго)
* Montage (программное обеспечение для обработки изображений)|Montage – набор инструментов для создания мозаики астрономических изображений (Калифорнийский технологический институт|Калифорнийский технологический институт)
* Обработка (язык программирования)|Обработка – творческий язык и среда кодирования (Массачусетский технологический институт|MIT)
* Sketchpad – новаторская программа интерактивной компьютерной графики (Массачусетский технологический институт | MIT)
* UCSF Chimera – программное обеспечение для молекулярной визуализации и анализа (Калифорнийский университет, Сан-Франциско|UCSF)
* Visual Molecular Dynamics – программное обеспечение для молекулярной визуализации (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* VPython — среда 3D-визуализации на основе Python (Университет Карнеги-Меллон | Карнеги-Меллон)
== Раннее программное обеспечение для персональных компьютеров ==
* PLATO (компьютерная система)|PLATO – система компьютерного обучения (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* VisiCalc – первая программа для работы с электронными таблицами, созданная Дэном Бриклином и Бобом Франкстоном (Массачусетский технологический институт | Массачусетский технологический институт и Гарвардская школа бизнеса | Гарвард)
== Игры ==
* Rogue (видеоигра)|Rogue – видеоигра о ползании по подземельям (Калифорнийский университет, Санта-Крус|Калифорнийский университет в Санта-Крузе и Калифорнийский университет в Беркли|Калифорнийский университет в Беркли)
* Tux Racer — гоночная игра с открытым исходным кодом, начатая как графический проект (Университет Ватерлоо|Ватерлоо)
* Zork — текстовая приключенческая игра, разработанная в MIT (Массачусетском технологическом институте | MIT)
== Образовательная, издательская и исследовательская инфраструктура ==
* DSpace – программное обеспечение для цифровых репозиториев (Массачусетский технологический институт | MIT)
* ILIAS – система управления обучением с открытым исходным кодом (Кёльнский университет|Кёльн)
* Форум знаний – программное обеспечение для совместного обучения с компьютерной поддержкой (Университет Торонто | Торонто)
* MIT App Inventor – среда визуального программирования для приложений Android (Массачусетский технологический институт | MIT)
* Open Journal Systems – программное обеспечение для управления и публикации журналов (Университет Британской Колумбии | Британская Колумбия и Университет Саймона Фрейзера | Саймон Фрейзер)
* pdfTeX – расширение TeX для прямого вывода PDF (Масариков университет | Масарик)
* Sakai (программное обеспечение)|Sakai – система управления обучением, разработанная университетским консорциумом (Университет Мичигана|Мичиган, Университет Индианы|Индиана, Массачусетский технологический институт|MIT и Стэнфордский университет|Стэнфорд)
* Scribe (язык разметки)|Scribe – система подготовки документов, разработанная в рамках докторского проекта (Университет Карнеги-Меллона|Карнеги-Меллон)
* Zotero – программное обеспечение для управления ссылками (Университет Джорджа Мейсона | Джордж Мейсон)
== Формальные методы и доказательство теорем ==
* ACL2 – средство доказательства теорем и язык программирования (Техасский университет в Остине | Техас)
* Agda (язык программирования)|Agda – зависимо типизированный язык программирования и помощник по доказательству (Технологический университет Чалмерса|Чалмерс)
* Alloy (язык спецификации)|Alloy – язык спецификации программного обеспечения и анализатор (Массачусетский технологический институт|MIT)
* Средство доказательства теорем Бойера – Мура – автоматизированное средство доказательства теорем (Техасский университет в Остине | Техас)
* FDR (программное обеспечение)|FDR – средство проверки уточнений CSP (Оксфордский университет|Оксфорд)
* HOL (помощник по доказательству)|HOL – система доказательства теорем (Кембриджский университет|Кембридж)
* Инструмент формальной проверки интернет-провайдера – инструмент формальной проверки для программ MPI (Университет Юты | Юта)
* Изабель (помощник по доказательству)|Изабель – средство доказательства теорем, разработанное в Кембридже и Мюнхенском техническом университете (Кембриджский университет|Кембриджский и технический университет Мюнхена|Технический университет Мюнхена)
* KeY – формальный инструмент проверки программ на Java (Технологический институт Карлсруэ|KIT, Технический университет Дармштадта|ТУ Дармштадт, и Технологический университет Чалмерса (Чалмерс)
* Логика для вычислимых функций – средство доказательства теорем, разработанное в Стэнфорде и Эдинбурге (Стэнфордский университет|Стэнфорд и Эдинбургский университет|Эдинбург)
* Система Мицар|Мицар – помощник по доказательству и система формальной математики (Белостокский университет|Белосток, Университет Альберты|Альберта и Университет Синсю|Синшу)
* Murφ – средство проверки моделей в явном состоянии (Стэнфордский университет|Стэнфорд)
* Nuprl – система разработки доказательств (Корнеллский университет|Корнелл)
* Средство проверки моделей PRISM|PRISM – средство проверки вероятностных моделей (Бирмингемский университет|Бирмингем и Оксфордский университет|Оксфорд)
* Рок — помощник по проверке, ранее известный как Кок (INRIA, Политехническая школа, Университет Париж-Юг | Париж-Юг и другие)
* Инструмент Родена – инструмент формального моделирования для Event-B (Университет Ньюкасла | Ньюкасл и другие партнеры проекта)
* Двенадцать – логическая структура и среда доказательства теорем (Университет Карнеги-Меллон | Карнеги-Меллон)
* Uppaal Model Checker|UPPAAL – средство проверки моделей для систем реального времени (Университет Уппсалы|Уппсала и Ольборгский университет|Ольборг)
== Геоинформационные системы и картографирование ==
* Общие картографические инструменты – инструменты для создания карт и обработки геолого-геофизических данных (Колумбийский университет | Колумбия и Гавайский университет в Маноа | Гавайи) * GeoDa – программное обеспечение для анализа пространственных данных и геовизуализации (Университет Иллинойса Урбана-Шампейн | Иллинойс и Чикагский университет | Чикаго)
* GPlates – программное обеспечение для визуализации тектоники плит (Сиднейский университет|Сиднейский и Калифорнийский технологический институт|Калифорнийский технологический институт)
* MapServer – среда разработки веб-картографических приложений (Университет Миннесоты | Миннесота)
* SAGA GIS – программное обеспечение геонаучной ГИС (Геттингенский университет|Геттинген и Гамбургский университет|Гамбург)
* TerrSet — программное обеспечение для ГИС и дистанционного зондирования, разработанное Clark Labs (Университет Кларка | Кларк)
* Инструменты геопространственного анализа Whitebox — программное обеспечение ГИС и дистанционного зондирования (Университет Гвельфа | Гвельф)
== Интернет, Интернет и коммуникационное программное обеспечение ==
* Alpine (клиент электронной почты)|Alpine – клиент электронной почты, разработанный в (Вашингтонском университете|Вашингтоне)
* Арчи (поисковая система)|Арчи – ранняя поисковая система в Интернете (Университет Макгилла|МакГилл)
* BIND — программное обеспечение DNS-сервера, первоначально разработанное в Калифорнийском университете в Беркли | Калифорнийский университет в Беркли
* CCSO Nameserver – ранняя служба каталогов Интернета (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* CU-SeeMe – ранний клиент видеоконференций в Интернете (Корнеллский университет | Корнелл)
* Сервер Cyrus IMAP – программное обеспечение сервера электронной почты (Университет Карнеги-Меллон | Карнеги-Меллон)
* Eudora (клиент электронной почты)|Eudora – клиент электронной почты, разработанный в Университете Иллинойса в Урбане-Шампейне|Иллинойс
* Поиск Google — поисковая система, созданная на основе исследовательского проекта BackRub, поддерживаемого NSF (Стэнфордский университет | Стэнфорд) * Gopher (протокол) | Gopher - протокол поиска документов в Интернете и система программного обеспечения (Университет Миннесоты | Миннесота)
* Проект Harvest – проект веб-кеша и обнаружения ресурсов (Университет Колорадо в Боулдере | Колорадо в Боулдере)
* Hesiod (служба имен)|Hesiod – служба сетевых имен (Массачусетский технологический институт|MIT)
* IRC|Internet Relay Chat – система текстового чата (Университет Оулу|Оулу)
* Jitsi — проект видеоконференцсвязи с открытым исходным кодом, созданный в рамках студенческого проекта (Страсбургский университет | Страсбург)
* Kerberos (протокол)|Kerberos – протокол сетевой аутентификации (Массачусетский технологический институт|MIT)
* Кермит (протокол) | Кермит - протокол передачи файлов и коммуникационное программное обеспечение (Колумбийский университет | Колумбия)
* Lycos – ранняя поисковая система в Интернете (Университет Карнеги-Меллон | Карнеги-Меллон)
* Lynx (веб-браузер)|Lynx – текстовый веб-браузер (Университет Канзаса|Канзас)
* Mosaic (веб-браузер)|Веб-браузер Mosaic – ранний графический веб-браузер (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* NCSA HTTPd – ранний веб-сервер (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* NCSA Telnet – реализация Telnet (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* Pine (клиент электронной почты)|Pine – текстовый клиент электронной почты и новостей (Вашингтонский университет|Вашингтон)
* Psiphon – программное обеспечение для обхода цензуры (Университет Торонто | Торонто)
* Squid (программное обеспечение)|Squid – прокси-сервер кэширования, созданный на основе проекта Harvest (Университет Колорадо в Боулдере|Колорадо в Боулдере и Калифорнийский университет, Сан-Диего|Калифорнийский университет в Сан-Диего)
* Talkomatic — первая многопользовательская система онлайн-чата (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* TkWWW – ранний веб-браузер и редактор HTML (Массачусетский технологический институт | MIT)
* UW IMAP – эталонная реализация сервера IMAP (Вашингтонский университет | Вашингтон)
* ViolaWWW – ранний графический веб-браузер (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* WebCT – веб-система управления курсами (Университет Британской Колумбии|UBC)
* Zephyr (протокол) | Zephyr – протокол обмена мгновенными сообщениями и пакет приложений (Массачусетский технологический институт | MIT)
* ZMailer – агент передачи почты (Университет Торонто | Торонто)
== Операционные системы, ядра и сетевые системы ==
* Ядро Accent – ядро операционной системы и предшественник Mach (Университет Карнеги-Меллон | Карнеги-Меллон)
* Ядро Aleph — раннее ядро операционной системы для проекта Rochester's Intelligent Gateway (Университет Рочестера | Рочестер)
* Amoeba (операционная система)|Amoeba – распределенная операционная система (Vrije Universiteit Amsterdam)
* Файловая система Эндрю – распределенная файловая система (Университет Карнеги-Меллона|Карнеги-Меллон)
* Проект Эндрю – распределенная вычислительная среда (Университет Карнеги-Меллона|Карнеги-Меллон)
* Barrelfish (операционная система)|Barrelfish — распределенная операционная система с открытым исходным кодом (ETH Zurich и Microsoft Research)
* Распространение программного обеспечения Беркли — распространение операционной системы Unix (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Сокеты Беркли — сетевой API от BSD (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Cambridge Distributed Computing System – распределенная операционная система (Кембриджский университет|Кембридж)
* Coda (файловая система)|Coda – распределенная файловая система (Университет Карнеги-Меллона|Карнеги-Меллон)
* Совместимая система разделения времени – ранняя операционная система с разделением времени (Массачусетский технологический институт | MIT)
* EROS (микроядро)|EROS – исследовательская операционная система, основанная на возможностях (Университет Пенсильвании|Университеты Пенсильвании и Джона Хопкинса|Джонса Хопкинса)
* Экзоядро – архитектура ядра операционной системы (Массачусетский технологический институт | MIT)
* GFS2 — файловая система общего диска, зародившаяся в Университете Миннесоты (Университет Миннесоты | Миннесота)
* HelenOS – исследовательская многосерверная микроядерная операционная система (Карлов университет|Чарльз)
* Hydra (операционная система)|Hydra – операционная система, основанная на возможностях (Университет Карнеги-Меллона|Карнеги-Меллон)
* Несовместимая система разделения времени – операционная система разделения времени (Массачусетский технологический институт | MIT)
* K42 – исследовательская операционная система (Университет Торонто | Торонто)
* Ядро Linux – ядро Unix-подобной операционной системы, созданное студентом Хельсинкского университета|Хельсинки
* Mach (kernel) – ядро операционной системы (Университет Карнеги-Меллон|Карнеги-Меллон)
* Michigan Terminal System - операционная система с разделением времени для мэйнфреймов (Мичиганский университет | Мичиган и другие университеты)
* MINIX – Unix-подобная обучающая операционная система (Vrije Universiteit Amsterdam)
* Multics — операционная система с разделением времени, разработанная при участии MIT (Массачусетский технологический институт|MIT)
* MUSIC/SP – операционная система с разделением времени для мэйнфреймов (Университет Макгилла | McGill)
* Nemesis (операционная система)|Nemesis – мультимедийно-ориентированная операционная система (Кембриджский университет|Кембридж и др.)
* ORVYL и WYLBUR – монитор с разделением времени и система редактирования текста (Стэнфордский университет|Стэнфорд)
* RIOT (операционная система)|RIOT – операционная система реального времени для устройств IoT (Свободный университет Берлина|ФУ Берлина, INRIA и Гамбургский университет прикладных наук|HAW Гамбург)
* Sprite (операционная система)|Sprite — экспериментальная Unix-подобная распределенная операционная система (Калифорнийский университет, Беркли|UC Berkeley)
* Мультипрограммная система – ранняя мультипрограммная операционная система (Эйндховенский технологический университет | Эйндховен)
* Тот (операционная система)|Тот – операционная система передачи сообщений в реальном времени (Университет Ватерлоо|Ватерлоо)
* TRIPOS – портативная операционная система (Кембриджский университет|Кембридж)
* TRIX (операционная система)|TRIX – Unix-подобная операционная система (Массачусетский технологический институт|MIT)
* ТУНИС – Unix-совместимая операционная система (Университет Торонто | Торонто)
* V (операционная система)|V – распределенная операционная система на микроядре (Стэнфордский университет|Стэнфорд)
* X Window System – оконная система для растровых дисплеев (Массачусетский технологический институт|MIT)
* Xinu – обучающая операционная система (Университет Пердью|Purdue)
* Xv6 – обучающая операционная система на базе Unix версии 6 (Массачусетский технологический институт|MIT)
== Робототехника, моделирование, и моделирование ==
* BAITSSS – модель эвапотранспирации и дистанционного зондирования (Университет Айдахо | Айдахо)
* Gazebo (программное обеспечение)|Gazebo – платформа моделирования робототехники (Университет Южной Калифорнии|USC)
* NEURON – среда нейронного моделирования (Университет Дьюка|Университет Дьюка и Йельского университета|Йельский университет)
* ns (симулятор)|ns – симулятор сети дискретных событий (Калифорнийский университет, Беркли|UC Беркли)
* OpenModelica – среда моделирования и симуляции на основе Modelica (Университет Линчёпинга|Линчёпинг)
* OpenRAVE – среда планирования движения робототехники (Университет Карнеги-Меллон | Карнеги-Меллон)
* OpenSees – система инженерного моделирования землетрясений (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Player Project|Player/Stage – инструменты управления роботами и моделирования (Университет Южной Калифорнии|USC)
* Операционная система робота - система промежуточного программного обеспечения робототехники, зародившаяся в раннем Стэнфорде (Стэнфордский университет | Стэнфорд)
* Код SU2|SU2 – программное обеспечение для вычислительной гидродинамики и проектирования (Стэнфордский университет|Стэнфорд)
* Webots – программное обеспечение для моделирования роботов (Федеральная политехническая школа Лозанны | EPFL)
== Научные и численные вычисления ==
* CHARMM – программа молекулярного моделирования (Гарвардский университет|Гарвард)
* CoCoA – система компьютерной алгебры (Университет Генуи | Генуя)
* Самое быстрое преобразование Фурье на Западе - библиотека программного обеспечения для быстрого преобразования Фурье (Массачусетский технологический институт | MIT)
* Folding@home – проект распределенных вычислений по сворачиванию белков (Стэнфордский университет|Стэнфорд)
* GAP (система компьютерной алгебры)|GAP – система вычислительной дискретной алгебры (RWTH Ахенский университет|Аахен и Университет Сент-Эндрюс|Сент-Эндрюс)
* GROMACS – пакет молекулярной динамики (Университет Гронингена | Гронинген)
* GNU Octave — программное обеспечение для численных вычислений, связанное с Университетом Висконсин-Мэдисон (University of Wisconsin-Madison|Wisconsin-Madison)
* HTCondor – программная платформа для высокопроизводительных вычислений (Университет Висконсин-Мэдисон | Висконсин-Мэдисон)
* Macaulay2 - система компьютерной алгебры для алгебраической геометрии и коммутативной алгебры (Университет Иллинойса Урбана-Шампейн | Иллинойс и Корнельский университет | Корнелл)
* Macsyma – система компьютерной алгебры (Массачусетский технологический институт|MIT)
* Магма (система компьютерной алгебры)|Магма – система компьютерной алгебры (Сиднейский университет|Сидней)
* Maple (программное обеспечение)|Maple – среда символьных и числовых вычислений (Университет Ватерлоо|Ватерлоо)
* Maxima (программное обеспечение)|Maxima – система компьютерной алгебры, созданная на основе Macsyma (Массачусетский технологический институт|MIT)
* Meep (программное обеспечение)|Meep – программное обеспечение для конечно-разностного моделирования во временной области (Массачусетский технологический институт|MIT)
* METAFONT – язык и система описания шрифтов (Стэнфордский университет|Стэнфорд)
* MPB (программное обеспечение)|MPB – программный пакет для расчета зонных фотонных структур (Массачусетский технологический институт|MIT)
* NAMD – программное обеспечение для молекулярной динамики (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* NUPACK – пакет программного обеспечения для анализа и проектирования нуклеиновых кислот (Калифорнийский технологический институт | Калифорнийский технологический институт)
* PARI/GP – система компьютерной алгебры для теории чисел (Университет Бордо | Бордо)
* Rosetta (программное обеспечение)|Rosetta – пакет программного обеспечения для моделирования макромолекул (Вашингтонский университет|Вашингтон)
* SageMath – система математического программного обеспечения (Вашингтонский университет | Вашингтон)
* SETI@home – волонтерский компьютерный проект по анализу радиосигналов (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* SMP (система компьютерной алгебры)|SMP – система компьютерной алгебры и предшественница Mathematica (Калифорнийский технологический институт|Калифорнийский технологический институт)
* TeX – система цифрового набора текста (Стэнфордский университет | Стэнфорд)
== См. также ==
* Список наград в области информатики
* Bell labs#Открытия и разработки|Список открытий и разработок лаборатории Bell
* Список научно-исследовательских лабораторий
* Список университетских исследовательских центров искусственного интеллекта
* :Категория:Программное обеспечение Университета Карнеги-Меллона|Программное обеспечение Университета Карнеги-Меллона
* :Категория:Программное обеспечение Массачусетского технологического института|Программное обеспечение Массачусетского технологического института
* :Категория:Программное обеспечение Университета Торонто|Программное обеспечение Университета Торонто
* :Категория:Программное обеспечение Университета Миннесоты|Программное обеспечение Университета Миннесоты
* :Категория:Распространение программного обеспечения Беркли|Распространение программного обеспечения Беркли
* RISC-V — аппаратное обеспечение с открытым исходным кодом. Архитектура набора команд | архитектура, разработанная в Калифорнийском университете в Беркли | Калифорнийском университете в Беркли
* lowRISC – некоммерческая организация по производству кремния с открытым исходным кодом, выделенная из Департамента компьютерных наук и технологий, Кембриджский университет|Кембридж
* OpenRISC — архитектура процессора с открытым исходным кодом, созданная Словенией | студентами словенских университетов * Проект OpenROAD — проект автоматизации электронного проектирования с открытым исходным кодом, возглавляемый Калифорнийским университетом в Сан-Диего | Калифорнийский университет в Сан-Диего
Программное обеспечение по учреждениям
Подробнее: https://en.wikipedia.org/wiki/List_of_s ... iversities
Это '''список программного обеспечения, разработанного в университетах'''. включая программное обеспечение, языки программирования, операционные системы, веб-браузеры, инструменты компьютерной графики, системы баз данных, программное обеспечение для научных вычислений или среды машинного обучения, которые созданы или поддерживаются программным обеспечением|поддерживаются университетскими исследованиями, студентами или академическими лабораториями.
== Искусственный интеллект и машинное обучение ==
* ACT-R – когнитивная архитектура для моделирования человеческого познания (Университет Карнеги-Меллона|Карнеги-Меллон)
* AlexNet – влиятельная архитектура сверточной нейронной сети для распознавания изображений (Университет Торонто | Торонто)
* Apache OpenNLP — набор инструментов для обработки естественного языка, созданный аспирантами Эдинбурга (Эдинбургский университет | Эдинбург)
* Caffe (программное обеспечение)|Caffe – система глубокого обучения (Калифорнийский университет, Беркли|UC Беркли)
* Cepheus (покерный бот)|Cepheus – программа искусственного интеллекта для игры в покер (Университет Альберты|Альберта)
* Chinook (компьютерная программа)|Chinook – программа искусственного интеллекта для игры в шашки (Университет Альберты|Альберта)
* Claudico – программа покера с искусственным интеллектом (Университет Карнеги-Меллон | Карнеги-Меллон)
* CMU Sphinx – система распознавания речи (Университет Карнеги-Меллона|Карнеги-Меллон)
* Дендрал – ранняя экспертная система химического анализа (Стэнфордский университет|Стэнфорд)
* ELIZA – ранний чат-бот, обрабатывающий естественный язык (Массачусетский технологический институт|MIT)
* ELKI – система интеллектуального анализа данных и кластеризации (Мюнхенский университет Людвига-Максимилиана | LMU Мюнхен)
* Общая архитектура для текстовой инженерии | GATE – среда обработки естественного языка и анализа текста (Университет Шеффилда | Шеффилд)
* HTK (программное обеспечение)|HTK – набор инструментов скрытой марковской модели для распознавания речи (Кембриджский университет|Кембридж)
* Kaldi (программное обеспечение)|Kaldi – набор инструментов для распознавания речи, запущенный на семинаре Джона Хопкинса (Университет Джонса Хопкинса|Джонс Хопкинс)
* KNIME – платформа анализа данных и машинного обучения (Университет Констанца|Констанц)
* LIBSVM – библиотека программного обеспечения для векторных машин (Национальный Тайваньский университет)
* Libratus – покерная программа искусственного интеллекта (Университет Карнеги-Меллон | Карнеги-Меллон)
* Mallet (проект программного обеспечения)|MALLET – набор инструментов машинного обучения и обработки естественного языка (Массачусетский университет в Амхерсте|UMass Amherst)
* Массовый онлайн-анализ – платформа анализа потоков данных и машинного обучения (Университет Вайкато | Вайкато)
* Mlpack|mlpack – библиотека программного обеспечения для машинного обучения (Технологический институт Джорджии|Технологический институт Джорджии)
* Моисей (машинный перевод)|Моисей – статистическая система машинного перевода (Эдинбургский университет|Эдинбург)
* MovieLens – исследовательская платформа рекомендательной системы (Университет Миннесоты | Миннесота)
* Natural Language Toolkit – набор инструментов для обработки естественного языка (Пенсильванский университет | Пенсильвания)
* Бесконечное изучение языка – система семантического машинного обучения (Университет Карнеги-Меллон | Карнеги-Меллон)
* Open Mind Common Sense – проект искусственного интеллекта, основанный на здравом смысле (Массачусетский технологический институт | MIT)
* Orange (программное обеспечение)|Orange – пакет программного обеспечения для интеллектуального анализа данных и машинного обучения (Университет Любляны|Любляна)
* Polaris (покерный бот)|Polaris – программа искусственного интеллекта для игры в покер (Университет Альберты|Альберта)
* RapidMiner — платформа для анализа данных и машинного обучения, созданная YALE (TU Dortmund University|TU Dortmund)
* SGLang – структура структурированного генерирования и обслуживания LLM (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли, Стэнфордский университет | Стэнфордский, Техасский университет A&M | Техасский A&M и другие) * SHRDLU – ранняя программа понимания естественного языка (Массачусетский технологический институт|MIT)
* SNePS – система представления знаний, рассуждений и действий (Университет Буффало | Буффало)
* Soar (когнитивная архитектура)|Soar – когнитивная архитектура для исследований искусственного интеллекта (Университет Карнеги-Меллон|Карнеги-Меллон)
* Theano (программное обеспечение)|Theano – библиотека числовых вычислений для глубокого обучения (Университет Монреаля|Монреаль)
* vLLM – механизм вывода и обслуживания LLM (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли) * Weka (машинное обучение)|Weka – пакет программного обеспечения для машинного обучения (Университет Вайкато|Вайкато)
* WordNet – лексическая база данных, используемая при обработке естественного языка (Принстонский университет | Принстон)
== Образовательные и визуальные среды программирования ==
* Алиса (программное обеспечение)|Алиса – образовательная среда программирования (Университет Вирджинии|Университет Вирджинии и Карнеги-Меллон|Карнеги-Меллон)
* BlueJ – образовательная среда разработки Java (Университет Кента|Кент и Университет Дикина|Дикин)
* DrJava – облегченная среда разработки Java (Университет Райса|Rice)
* DrRacket#Programming Environment|DrRacket – графическая среда программирования для Racket and Scheme (Университет Райса|Райс, Северо-Восточный университет|Северо-Восточный университет штата Юта|Юта, |Университет Кента и Ла-Троба|Ла-Троб)
* Karel (язык программирования)|Karel – образовательный язык программирования для начинающих (Стэнфордский университет|Стэнфорд)
* Логотип (язык программирования)|Логотип – образовательный язык программирования, разработанный в BBN и MIT (Массачусетский технологический институт|MIT)
* NetLogo — язык и среда агентного моделирования (Северо-Западный университет | Северо-Западный)
* Обработка – язык и среда программирования визуальных искусств (Массачусетский технологический институт|MIT)
* Scratch (язык программирования)|Scratch – блочный образовательный язык программирования (Массачусетский технологический институт|MIT)
* ScratchJr — вводный язык визуального программирования (Университет Тафтса|Технологический институт Тафтса и Массачусетса|MIT)
* StarLogo – язык агентного моделирования (Массачусетский технологический институт | MIT)
== Языки программирования ==
* Алиса (язык программирования)|Алиса ML – язык функционального программирования (Саарский университет|Саар)
* BCPL – язык системного программирования, впервые реализованный Мартином Ричардсом (Кембриджский университет | Кембридж)
* BLISS – язык системного программирования (Университет Карнеги-Меллон|Карнеги-Меллон)
* Charm++ – язык параллельного программирования и система выполнения (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* ChucK – язык программирования аудио со строгой синхронизацией (Принстонский университет | Принстон)
* Cilk – язык многопоточного параллельного программирования (Массачусетский технологический институт|MIT)
* Clean (язык программирования)|Clean – чисто функциональный язык программирования (Университет Радбауд в Неймегене|Радбоуд)
* CLU (язык программирования)|CLU – язык программирования с абстрактными типами данных (Массачусетский технологический институт|MIT)
* CMU Common Lisp – реализация Common Lisp (Университет Карнеги-Меллон | Карнеги-Меллон)
* Dartmouth BASIC – язык программирования, разработанный в Дартмутском колледже (Dartmouth College|Dartmouth)
* Elm (язык программирования)|Elm – функциональный язык для веб-интерфейсов, созданный на основе Гарвардской диссертации (Гарвардский университет|Гарвард)
* Евклид (язык программирования)|Евклид – императивный язык программирования (Университет Торонто|Торонто)
* Euphoria (язык программирования)|Euphoria – язык программирования, разработанный на основе дипломного проекта Торонто (Университет Торонто|Торонто)
* Futhark (язык программирования)|Futhark – язык функционального программирования с параллельными данными (Университет Копенгагена|Копенгаген)
* Hope (язык программирования)|Hope – функциональный язык программирования (Эдинбургский университет|Эдинбург)
* Icon (язык программирования)|Icon – язык программирования высокого уровня (Университет Аризоны|Аризона)
* Идрис (язык программирования)|Идрис – функциональный язык программирования с зависимой типизацией (Университет Сент-Эндрюс|Сент-Эндрюс)
* Янус (обратимый во времени язык программирования вычислений)|Янус – обратимый императивный язык программирования, впервые написанный в Калифорнийском технологическом институте (Калифорнийский технологический институт|Калтех)
* Julia (язык программирования)|Julia – высокопроизводительный язык программирования для технических вычислений (Массачусетский технологический институт|MIT)
* Lisp (язык программирования)|Lisp — семейство языков программирования, созданное для исследований искусственного интеллекта (Массачусетский технологический институт|MIT)
* MATLAB – среда численных вычислений, зародившаяся в Университетах Нью-Мексико и Стэнфорде (Университет Нью-Мексико|Нью-Мексико и Стэнфордский университет|Стэнфорд)
* Mercury (язык программирования)|Mercury – язык программирования функциональной логики (Мельбурнский университет|Мельбурн)
* Миранда (язык программирования)|Миранда – ленивый функциональный язык программирования (Университет Кента|Кент)
* MIT/GNU Scheme – реализация языка программирования Scheme (Массачусетский технологический институт|MIT)
* ML (язык программирования)|ML – функциональный язык программирования, разработанный для доказательства теорем (Эдинбургский университет|Эдинбург)
* Modula-2 – язык системного программирования (ETH Zurich)
* NESL – вложенный язык параллельного программирования данных (Университет Карнеги-Меллон | Карнеги-Меллон)
* Найквист (язык программирования)|Найквист – язык синтеза и композиции звука (Университет Карнеги-Меллон|Карнеги-Меллон)
* Оберон (язык программирования)|Оберон – язык системного программирования (ETH Zurich)
* Oz (язык программирования)|Oz – мультипарадигмальный язык программирования (UCLouvain)
* Паскаль (язык программирования)|Паскаль – язык структурированного программирования (ETH Zurich)
* Пролог – язык логического программирования (Университет Экс-Марсель | Экс-Марсель)
* R (язык программирования)|R – язык и среда статистических вычислений (Оклендский университет|Окленд)
* Racket (язык программирования)|Racket – язык программирования общего назначения, первоначально созданный исследовательской группой PLT (Северо-Восточный университет|Северо-Восточный, Университет Юты | Юта и другие) * Язык программирования S/SL|S/SL – синтаксический и семантический язык (Университет Торонто|Торонто)
* Scheme (язык программирования)|Scheme – язык программирования семейства Lisp (Массачусетский технологический институт|MIT)
* Tcl (язык программирования)|Tcl – язык сценариев, созданный в Калифорнийском университете в Беркли (University of California, Berkeley|UC Berkeley)
* Тьюринг (язык программирования)|Тьюринг – образовательный язык программирования (Университет Торонто|Торонто)
* Ur (язык программирования)|Ur – функциональный язык программирования для веб-приложений (Массачусетский технологический институт|MIT)
== Компиляторы, отладчики и инструменты разработки программного обеспечения ==
* ANTLR — генератор синтаксического анализатора, созданный на основе набора инструментов Purdue Compiler Construction Tool (Университет Пердью | Purdue)
* Clang — внешний интерфейс компилятора C, C++, Objective-C и Objective-C++, построенный на LLVM (Университет Иллинойса, Урбана-Шампейн | Иллинойс)
* Система параллельных версий — система контроля версий, первоначально разработанная в Vrije Universiteit Amsterdam
* Glasgow Haskell Compiler – компилятор языка программирования Haskell (Университет Глазго|Глазго)
* LLDB (отладчик)|LLDB – компонент отладчика проекта LLVM (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* LLVM – проект инфраструктуры компилятора (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* NetBeans — интегрированная среда разработки, возникшая как студенческий проект (Карлов университет)
* Система контроля версий – ранняя система контроля версий (Университет Пердью|Purdue)
* SPIM – симулятор MIPS для обучения языку ассемблера (Университет Висконсин-Мэдисон|Висконсин)
* Standard ML of New Jersey — компилятор и IDE для Standard ML (Принстонский университет | Princeton and Bell Labs)
* WATBOL – образовательный компилятор COBOL (Университет Ватерлоо|Ватерлоо)
* WATFIV – образовательная система компилятора FORTRAN (Университет Ватерлоо|Ватерлоо)
* WATIAC – система обучения ассемблерному языку (Университет Ватерлоо|Ватерлоо)
== Текстовые редакторы ==
* Редактор контекста, совместимый с Эдинбургом | ECCE – текстовый редактор, разработанный в (Эдинбургском университете | Эдинбурге)
* Emacs — семейство расширяемых текстовых редакторов, созданное в Лаборатории искусственного интеллекта MIT (Массачусетский технологический институт | MIT)
* ex (текстовый редактор)|ex – построчный редактор, который превратился в vi (Калифорнийский университет, Беркли|UC Беркли)
* Lapis (текстовый редактор)|Lapis – экспериментальный текстовый редактор и веб-браузер, разработанный в Массачусетском технологическом институте|MIT
* nvi – бесплатная реализация vi для систем BSD (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Pico (текстовый редактор)|Pico – текстовый редактор из проекта программного обеспечения электронной почты Pine (Вашингтонский университет|Вашингтон)
* TECO (текстовый редактор)|TECO – текстовый редактор и среда программирования, связанная с системами разделения времени MIT (Массачусетский технологический институт|MIT)
* Vi (текстовый редактор)|vi – экранно-ориентированный текстовый редактор, созданный для BSD Unix (Калифорнийский университет, Беркли|UC Berkeley)
== Базы данных, управление данными и распределенное хранилище ==
* Alluxio — виртуальная распределенная файловая система, первоначально называвшаяся Tachyon (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Apache Flink — платформа потоковой обработки, созданная на основе проекта Stratphere (Берлинский технический университет | TU Berlin)
* Apache Mesos – структура управления ресурсами кластера (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Apache Spark – механизм анализа данных и кластерных вычислений (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Berkeley DB – встроенная библиотека баз данных «ключ-значение» (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* C-Store – система управления базами данных, ориентированная на столбцы (Университет Брауна | Браун, Университет Брандейса | Брандейс, Массачусетский технологический институт | Массачусетский технологический институт и Массачусетский университет в Бостоне | Массачусетский университет в Бостоне)
* Ceph (программное обеспечение)|Ceph – платформа распределенного хранения объектов, блоков и файлов (Калифорнийский университет, Санта-Крус|UC Санта-Крус)
* Chord (одноранговая сеть)|Chord – протокол одноранговой распределенной хеш-таблицы (Массачусетский технологический институт|MIT)
* Dataverse – программное обеспечение для хранения исследовательских данных (Гарвардский университет|Гарвард)
* Ingres (база данных)|Ingres – система реляционных баз данных (Калифорнийский университет, Беркли|UC Беркли)
* InterMezzo (файловая система)|InterMezzo – распределенная файловая система, созданная на основе проекта Coda (Университет Карнеги-Меллон|Карнеги-Меллон)
* Mimer SQL – система реляционных баз данных, созданная в результате исследовательского проекта (Университет Упсалы | Уппсала)
* Postgres|PostgreSQL – объектно-реляционная система баз данных (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли) * Transbase – система управления реляционными базами данных, разработанная Мюнхенским техническим университетом | TU Мюнхен
== Компьютерная графика, визуализация и редактирование изображений ==
* 3D Slicer — программное обеспечение для анализа медицинских изображений и научной визуализации (Массачусетский технологический институт | Массачусетский технологический институт и Бригамская и женская больница)
* BumpTop – среда 3D-рабочего стола (Университет Торонто | Торонто)
* Coot (программное обеспечение)|Coot – программное обеспечение для построения моделей молекулярной графики (Йоркский университет|Йорк)
* FITS Liberator – программное обеспечение для обработки астрономических изображений FITS, разработанное совместно с Калифорнийским технологическим институтом/IPAC (Калифорнийский технологический институт | Калифорнийский технологический институт)
* GIMP — редактор растровой графики, созданный как студенческий проект Калифорнийского университета в Беркли (Калифорнийский университет, Беркли|UC Berkeley)
* Jmol — программное обеспечение для молекулярной визуализации, первоначально разработанное в Университете Нотр-Дам | Нотр-Дам
* Matplotlib — библиотека построения графиков и визуализации данных, созданная на основе исследований Чикагского университета (Чикагский университет | Чикаго)
* Montage (программное обеспечение для обработки изображений)|Montage – набор инструментов для создания мозаики астрономических изображений (Калифорнийский технологический институт|Калифорнийский технологический институт)
* Обработка (язык программирования)|Обработка – творческий язык и среда кодирования (Массачусетский технологический институт|MIT)
* Sketchpad – новаторская программа интерактивной компьютерной графики (Массачусетский технологический институт | MIT)
* UCSF Chimera – программное обеспечение для молекулярной визуализации и анализа (Калифорнийский университет, Сан-Франциско|UCSF)
* Visual Molecular Dynamics – программное обеспечение для молекулярной визуализации (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* VPython — среда 3D-визуализации на основе Python (Университет Карнеги-Меллон | Карнеги-Меллон)
== Раннее программное обеспечение для персональных компьютеров ==
* PLATO (компьютерная система)|PLATO – система компьютерного обучения (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* VisiCalc – первая программа для работы с электронными таблицами, созданная Дэном Бриклином и Бобом Франкстоном (Массачусетский технологический институт | Массачусетский технологический институт и Гарвардская школа бизнеса | Гарвард)
== Игры ==
* Rogue (видеоигра)|Rogue – видеоигра о ползании по подземельям (Калифорнийский университет, Санта-Крус|Калифорнийский университет в Санта-Крузе и Калифорнийский университет в Беркли|Калифорнийский университет в Беркли)
* Tux Racer — гоночная игра с открытым исходным кодом, начатая как графический проект (Университет Ватерлоо|Ватерлоо)
* Zork — текстовая приключенческая игра, разработанная в MIT (Массачусетском технологическом институте | MIT)
== Образовательная, издательская и исследовательская инфраструктура ==
* DSpace – программное обеспечение для цифровых репозиториев (Массачусетский технологический институт | MIT)
* ILIAS – система управления обучением с открытым исходным кодом (Кёльнский университет|Кёльн)
* Форум знаний – программное обеспечение для совместного обучения с компьютерной поддержкой (Университет Торонто | Торонто)
* MIT App Inventor – среда визуального программирования для приложений Android (Массачусетский технологический институт | MIT)
* Open Journal Systems – программное обеспечение для управления и публикации журналов (Университет Британской Колумбии | Британская Колумбия и Университет Саймона Фрейзера | Саймон Фрейзер)
* pdfTeX – расширение TeX для прямого вывода PDF (Масариков университет | Масарик)
* Sakai (программное обеспечение)|Sakai – система управления обучением, разработанная университетским консорциумом (Университет Мичигана|Мичиган, Университет Индианы|Индиана, Массачусетский технологический институт|MIT и Стэнфордский университет|Стэнфорд)
* Scribe (язык разметки)|Scribe – система подготовки документов, разработанная в рамках докторского проекта (Университет Карнеги-Меллона|Карнеги-Меллон)
* Zotero – программное обеспечение для управления ссылками (Университет Джорджа Мейсона | Джордж Мейсон)
== Формальные методы и доказательство теорем ==
* ACL2 – средство доказательства теорем и язык программирования (Техасский университет в Остине | Техас)
* Agda (язык программирования)|Agda – зависимо типизированный язык программирования и помощник по доказательству (Технологический университет Чалмерса|Чалмерс)
* Alloy (язык спецификации)|Alloy – язык спецификации программного обеспечения и анализатор (Массачусетский технологический институт|MIT)
* Средство доказательства теорем Бойера – Мура – автоматизированное средство доказательства теорем (Техасский университет в Остине | Техас)
* FDR (программное обеспечение)|FDR – средство проверки уточнений CSP (Оксфордский университет|Оксфорд)
* HOL (помощник по доказательству)|HOL – система доказательства теорем (Кембриджский университет|Кембридж)
* Инструмент формальной проверки интернет-провайдера – инструмент формальной проверки для программ MPI (Университет Юты | Юта)
* Изабель (помощник по доказательству)|Изабель – средство доказательства теорем, разработанное в Кембридже и Мюнхенском техническом университете (Кембриджский университет|Кембриджский и технический университет Мюнхена|Технический университет Мюнхена)
* KeY – формальный инструмент проверки программ на Java (Технологический институт Карлсруэ|KIT, Технический университет Дармштадта|ТУ Дармштадт, и Технологический университет Чалмерса (Чалмерс)
* Логика для вычислимых функций – средство доказательства теорем, разработанное в Стэнфорде и Эдинбурге (Стэнфордский университет|Стэнфорд и Эдинбургский университет|Эдинбург)
* Система Мицар|Мицар – помощник по доказательству и система формальной математики (Белостокский университет|Белосток, Университет Альберты|Альберта и Университет Синсю|Синшу)
* Murφ – средство проверки моделей в явном состоянии (Стэнфордский университет|Стэнфорд)
* Nuprl – система разработки доказательств (Корнеллский университет|Корнелл)
* Средство проверки моделей PRISM|PRISM – средство проверки вероятностных моделей (Бирмингемский университет|Бирмингем и Оксфордский университет|Оксфорд)
* Рок — помощник по проверке, ранее известный как Кок (INRIA, Политехническая школа, Университет Париж-Юг | Париж-Юг и другие)
* Инструмент Родена – инструмент формального моделирования для Event-B (Университет Ньюкасла | Ньюкасл и другие партнеры проекта)
* Двенадцать – логическая структура и среда доказательства теорем (Университет Карнеги-Меллон | Карнеги-Меллон)
* Uppaal Model Checker|UPPAAL – средство проверки моделей для систем реального времени (Университет Уппсалы|Уппсала и Ольборгский университет|Ольборг)
== Геоинформационные системы и картографирование ==
* Общие картографические инструменты – инструменты для создания карт и обработки геолого-геофизических данных (Колумбийский университет | Колумбия и Гавайский университет в Маноа | Гавайи) * GeoDa – программное обеспечение для анализа пространственных данных и геовизуализации (Университет Иллинойса Урбана-Шампейн | Иллинойс и Чикагский университет | Чикаго)
* GPlates – программное обеспечение для визуализации тектоники плит (Сиднейский университет|Сиднейский и Калифорнийский технологический институт|Калифорнийский технологический институт)
* MapServer – среда разработки веб-картографических приложений (Университет Миннесоты | Миннесота)
* SAGA GIS – программное обеспечение геонаучной ГИС (Геттингенский университет|Геттинген и Гамбургский университет|Гамбург)
* TerrSet — программное обеспечение для ГИС и дистанционного зондирования, разработанное Clark Labs (Университет Кларка | Кларк)
* Инструменты геопространственного анализа Whitebox — программное обеспечение ГИС и дистанционного зондирования (Университет Гвельфа | Гвельф)
== Интернет, Интернет и коммуникационное программное обеспечение ==
* Alpine (клиент электронной почты)|Alpine – клиент электронной почты, разработанный в (Вашингтонском университете|Вашингтоне)
* Арчи (поисковая система)|Арчи – ранняя поисковая система в Интернете (Университет Макгилла|МакГилл)
* BIND — программное обеспечение DNS-сервера, первоначально разработанное в Калифорнийском университете в Беркли | Калифорнийский университет в Беркли
* CCSO Nameserver – ранняя служба каталогов Интернета (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* CU-SeeMe – ранний клиент видеоконференций в Интернете (Корнеллский университет | Корнелл)
* Сервер Cyrus IMAP – программное обеспечение сервера электронной почты (Университет Карнеги-Меллон | Карнеги-Меллон)
* Eudora (клиент электронной почты)|Eudora – клиент электронной почты, разработанный в Университете Иллинойса в Урбане-Шампейне|Иллинойс
* Поиск Google — поисковая система, созданная на основе исследовательского проекта BackRub, поддерживаемого NSF (Стэнфордский университет | Стэнфорд) * Gopher (протокол) | Gopher - протокол поиска документов в Интернете и система программного обеспечения (Университет Миннесоты | Миннесота)
* Проект Harvest – проект веб-кеша и обнаружения ресурсов (Университет Колорадо в Боулдере | Колорадо в Боулдере)
* Hesiod (служба имен)|Hesiod – служба сетевых имен (Массачусетский технологический институт|MIT)
* IRC|Internet Relay Chat – система текстового чата (Университет Оулу|Оулу)
* Jitsi — проект видеоконференцсвязи с открытым исходным кодом, созданный в рамках студенческого проекта (Страсбургский университет | Страсбург)
* Kerberos (протокол)|Kerberos – протокол сетевой аутентификации (Массачусетский технологический институт|MIT)
* Кермит (протокол) | Кермит - протокол передачи файлов и коммуникационное программное обеспечение (Колумбийский университет | Колумбия)
* Lycos – ранняя поисковая система в Интернете (Университет Карнеги-Меллон | Карнеги-Меллон)
* Lynx (веб-браузер)|Lynx – текстовый веб-браузер (Университет Канзаса|Канзас)
* Mosaic (веб-браузер)|Веб-браузер Mosaic – ранний графический веб-браузер (Университет Иллинойса Урбана-Шампейн|Иллинойс)
* NCSA HTTPd – ранний веб-сервер (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* NCSA Telnet – реализация Telnet (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* Pine (клиент электронной почты)|Pine – текстовый клиент электронной почты и новостей (Вашингтонский университет|Вашингтон)
* Psiphon – программное обеспечение для обхода цензуры (Университет Торонто | Торонто)
* Squid (программное обеспечение)|Squid – прокси-сервер кэширования, созданный на основе проекта Harvest (Университет Колорадо в Боулдере|Колорадо в Боулдере и Калифорнийский университет, Сан-Диего|Калифорнийский университет в Сан-Диего)
* Talkomatic — первая многопользовательская система онлайн-чата (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* TkWWW – ранний веб-браузер и редактор HTML (Массачусетский технологический институт | MIT)
* UW IMAP – эталонная реализация сервера IMAP (Вашингтонский университет | Вашингтон)
* ViolaWWW – ранний графический веб-браузер (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* WebCT – веб-система управления курсами (Университет Британской Колумбии|UBC)
* Zephyr (протокол) | Zephyr – протокол обмена мгновенными сообщениями и пакет приложений (Массачусетский технологический институт | MIT)
* ZMailer – агент передачи почты (Университет Торонто | Торонто)
== Операционные системы, ядра и сетевые системы ==
* Ядро Accent – ядро операционной системы и предшественник Mach (Университет Карнеги-Меллон | Карнеги-Меллон)
* Ядро Aleph — раннее ядро операционной системы для проекта Rochester's Intelligent Gateway (Университет Рочестера | Рочестер)
* Amoeba (операционная система)|Amoeba – распределенная операционная система (Vrije Universiteit Amsterdam)
* Файловая система Эндрю – распределенная файловая система (Университет Карнеги-Меллона|Карнеги-Меллон)
* Проект Эндрю – распределенная вычислительная среда (Университет Карнеги-Меллона|Карнеги-Меллон)
* Barrelfish (операционная система)|Barrelfish — распределенная операционная система с открытым исходным кодом (ETH Zurich и Microsoft Research)
* Распространение программного обеспечения Беркли — распространение операционной системы Unix (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Сокеты Беркли — сетевой API от BSD (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Cambridge Distributed Computing System – распределенная операционная система (Кембриджский университет|Кембридж)
* Coda (файловая система)|Coda – распределенная файловая система (Университет Карнеги-Меллона|Карнеги-Меллон)
* Совместимая система разделения времени – ранняя операционная система с разделением времени (Массачусетский технологический институт | MIT)
* EROS (микроядро)|EROS – исследовательская операционная система, основанная на возможностях (Университет Пенсильвании|Университеты Пенсильвании и Джона Хопкинса|Джонса Хопкинса)
* Экзоядро – архитектура ядра операционной системы (Массачусетский технологический институт | MIT)
* GFS2 — файловая система общего диска, зародившаяся в Университете Миннесоты (Университет Миннесоты | Миннесота)
* HelenOS – исследовательская многосерверная микроядерная операционная система (Карлов университет|Чарльз)
* Hydra (операционная система)|Hydra – операционная система, основанная на возможностях (Университет Карнеги-Меллона|Карнеги-Меллон)
* Несовместимая система разделения времени – операционная система разделения времени (Массачусетский технологический институт | MIT)
* K42 – исследовательская операционная система (Университет Торонто | Торонто)
* Ядро Linux – ядро Unix-подобной операционной системы, созданное студентом Хельсинкского университета|Хельсинки
* Mach (kernel) – ядро операционной системы (Университет Карнеги-Меллон|Карнеги-Меллон)
* Michigan Terminal System - операционная система с разделением времени для мэйнфреймов (Мичиганский университет | Мичиган и другие университеты)
* MINIX – Unix-подобная обучающая операционная система (Vrije Universiteit Amsterdam)
* Multics — операционная система с разделением времени, разработанная при участии MIT (Массачусетский технологический институт|MIT)
* MUSIC/SP – операционная система с разделением времени для мэйнфреймов (Университет Макгилла | McGill)
* Nemesis (операционная система)|Nemesis – мультимедийно-ориентированная операционная система (Кембриджский университет|Кембридж и др.)
* ORVYL и WYLBUR – монитор с разделением времени и система редактирования текста (Стэнфордский университет|Стэнфорд)
* RIOT (операционная система)|RIOT – операционная система реального времени для устройств IoT (Свободный университет Берлина|ФУ Берлина, INRIA и Гамбургский университет прикладных наук|HAW Гамбург)
* Sprite (операционная система)|Sprite — экспериментальная Unix-подобная распределенная операционная система (Калифорнийский университет, Беркли|UC Berkeley)
* Мультипрограммная система – ранняя мультипрограммная операционная система (Эйндховенский технологический университет | Эйндховен)
* Тот (операционная система)|Тот – операционная система передачи сообщений в реальном времени (Университет Ватерлоо|Ватерлоо)
* TRIPOS – портативная операционная система (Кембриджский университет|Кембридж)
* TRIX (операционная система)|TRIX – Unix-подобная операционная система (Массачусетский технологический институт|MIT)
* ТУНИС – Unix-совместимая операционная система (Университет Торонто | Торонто)
* V (операционная система)|V – распределенная операционная система на микроядре (Стэнфордский университет|Стэнфорд)
* X Window System – оконная система для растровых дисплеев (Массачусетский технологический институт|MIT)
* Xinu – обучающая операционная система (Университет Пердью|Purdue)
* Xv6 – обучающая операционная система на базе Unix версии 6 (Массачусетский технологический институт|MIT)
== Робототехника, моделирование, и моделирование ==
* BAITSSS – модель эвапотранспирации и дистанционного зондирования (Университет Айдахо | Айдахо)
* Gazebo (программное обеспечение)|Gazebo – платформа моделирования робототехники (Университет Южной Калифорнии|USC)
* NEURON – среда нейронного моделирования (Университет Дьюка|Университет Дьюка и Йельского университета|Йельский университет)
* ns (симулятор)|ns – симулятор сети дискретных событий (Калифорнийский университет, Беркли|UC Беркли)
* OpenModelica – среда моделирования и симуляции на основе Modelica (Университет Линчёпинга|Линчёпинг)
* OpenRAVE – среда планирования движения робототехники (Университет Карнеги-Меллон | Карнеги-Меллон)
* OpenSees – система инженерного моделирования землетрясений (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* Player Project|Player/Stage – инструменты управления роботами и моделирования (Университет Южной Калифорнии|USC)
* Операционная система робота - система промежуточного программного обеспечения робототехники, зародившаяся в раннем Стэнфорде (Стэнфордский университет | Стэнфорд)
* Код SU2|SU2 – программное обеспечение для вычислительной гидродинамики и проектирования (Стэнфордский университет|Стэнфорд)
* Webots – программное обеспечение для моделирования роботов (Федеральная политехническая школа Лозанны | EPFL)
== Научные и численные вычисления ==
* CHARMM – программа молекулярного моделирования (Гарвардский университет|Гарвард)
* CoCoA – система компьютерной алгебры (Университет Генуи | Генуя)
* Самое быстрое преобразование Фурье на Западе - библиотека программного обеспечения для быстрого преобразования Фурье (Массачусетский технологический институт | MIT)
* Folding@home – проект распределенных вычислений по сворачиванию белков (Стэнфордский университет|Стэнфорд)
* GAP (система компьютерной алгебры)|GAP – система вычислительной дискретной алгебры (RWTH Ахенский университет|Аахен и Университет Сент-Эндрюс|Сент-Эндрюс)
* GROMACS – пакет молекулярной динамики (Университет Гронингена | Гронинген)
* GNU Octave — программное обеспечение для численных вычислений, связанное с Университетом Висконсин-Мэдисон (University of Wisconsin-Madison|Wisconsin-Madison)
* HTCondor – программная платформа для высокопроизводительных вычислений (Университет Висконсин-Мэдисон | Висконсин-Мэдисон)
* Macaulay2 - система компьютерной алгебры для алгебраической геометрии и коммутативной алгебры (Университет Иллинойса Урбана-Шампейн | Иллинойс и Корнельский университет | Корнелл)
* Macsyma – система компьютерной алгебры (Массачусетский технологический институт|MIT)
* Магма (система компьютерной алгебры)|Магма – система компьютерной алгебры (Сиднейский университет|Сидней)
* Maple (программное обеспечение)|Maple – среда символьных и числовых вычислений (Университет Ватерлоо|Ватерлоо)
* Maxima (программное обеспечение)|Maxima – система компьютерной алгебры, созданная на основе Macsyma (Массачусетский технологический институт|MIT)
* Meep (программное обеспечение)|Meep – программное обеспечение для конечно-разностного моделирования во временной области (Массачусетский технологический институт|MIT)
* METAFONT – язык и система описания шрифтов (Стэнфордский университет|Стэнфорд)
* MPB (программное обеспечение)|MPB – программный пакет для расчета зонных фотонных структур (Массачусетский технологический институт|MIT)
* NAMD – программное обеспечение для молекулярной динамики (Университет Иллинойса Урбана-Шампейн | Иллинойс)
* NUPACK – пакет программного обеспечения для анализа и проектирования нуклеиновых кислот (Калифорнийский технологический институт | Калифорнийский технологический институт)
* PARI/GP – система компьютерной алгебры для теории чисел (Университет Бордо | Бордо)
* Rosetta (программное обеспечение)|Rosetta – пакет программного обеспечения для моделирования макромолекул (Вашингтонский университет|Вашингтон)
* SageMath – система математического программного обеспечения (Вашингтонский университет | Вашингтон)
* SETI@home – волонтерский компьютерный проект по анализу радиосигналов (Калифорнийский университет, Беркли | Калифорнийский университет в Беркли)
* SMP (система компьютерной алгебры)|SMP – система компьютерной алгебры и предшественница Mathematica (Калифорнийский технологический институт|Калифорнийский технологический институт)
* TeX – система цифрового набора текста (Стэнфордский университет | Стэнфорд)
== См. также ==
* Список наград в области информатики
* Bell labs#Открытия и разработки|Список открытий и разработок лаборатории Bell
* Список научно-исследовательских лабораторий
* Список университетских исследовательских центров искусственного интеллекта
* :Категория:Программное обеспечение Университета Карнеги-Меллона|Программное обеспечение Университета Карнеги-Меллона
* :Категория:Программное обеспечение Массачусетского технологического института|Программное обеспечение Массачусетского технологического института
* :Категория:Программное обеспечение Университета Торонто|Программное обеспечение Университета Торонто
* :Категория:Программное обеспечение Университета Миннесоты|Программное обеспечение Университета Миннесоты
* :Категория:Распространение программного обеспечения Беркли|Распространение программного обеспечения Беркли
* RISC-V — аппаратное обеспечение с открытым исходным кодом. Архитектура набора команд | архитектура, разработанная в Калифорнийском университете в Беркли | Калифорнийском университете в Беркли
* lowRISC – некоммерческая организация по производству кремния с открытым исходным кодом, выделенная из Департамента компьютерных наук и технологий, Кембриджский университет|Кембридж
* OpenRISC — архитектура процессора с открытым исходным кодом, созданная Словенией | студентами словенских университетов * Проект OpenROAD — проект автоматизации электронного проектирования с открытым исходным кодом, возглавляемый Калифорнийским университетом в Сан-Диего | Калифорнийский университет в Сан-Диего
Программное обеспечение по учреждениям
Подробнее: https://en.wikipedia.org/wiki/List_of_s ... iversities
-
- Похожие темы
- Ответы
- Просмотры
- Последнее сообщение