Lista de software desarrollado en universidades ⇐ Proyectos de artículos

[Anonymous]

Esta es una '''lista de software desarrollado en universidades''' incluido software, lenguajes de programación, sistemas operativos, navegadores web, herramientas de gráficos por computadora, sistemas de bases de datos, software de computación científica o marcos de aprendizaje automático que se originaron o son mantenidos por el mantenedor del software por investigación universitaria, estudiantes o laboratorios académicos.


== Inteligencia artificial y aprendizaje automático ==
* ACT-R – arquitectura cognitiva para modelar la cognición humana (Universidad Carnegie Mellon|Carnegie Mellon)
* AlexNet: influyente arquitectura de red neuronal convolucional para el reconocimiento de imágenes (Universidad de Toronto|Toronto)
* Apache OpenNLP: kit de herramientas de procesamiento de lenguaje natural iniciado por estudiantes graduados de Edimburgo (Universidad de Edimburgo|Edimburgo)
* Caffe (software)|Caffe – marco de aprendizaje profundo (Universidad de California, Berkeley|UC Berkeley)
* Cepheus (bot de póquer)|Cepheus – programa de inteligencia artificial para jugar al póquer (Universidad de Alberta|Alberta)
* Chinook (programa de computadora)|Chinook – programa de inteligencia artificial para jugar a las damas (Universidad de Alberta|Alberta)
* Claudico – programa de póquer con inteligencia artificial (Universidad Carnegie Mellon|Carnegie Mellon)
* CMU Sphinx – sistema de reconocimiento de voz (Universidad Carnegie Mellon|Carnegie Mellon)
* Dendral: uno de los primeros sistemas expertos para análisis químicos (Universidad de Stanford|Stanford)
* ELIZA: chatbot de procesamiento temprano del lenguaje natural (Instituto Tecnológico de Massachusetts|MIT)
* ELKI – marco de agrupación y minería de datos (Universidad Ludwig Maximilian de Munich|LMU Munich)
* Arquitectura general para ingeniería de textos|GATE: marco de procesamiento de lenguaje natural y minería de textos (Universidad de Sheffield|Sheffield)
* HTK (software)|HTK: kit de herramientas del modelo oculto de Markov para reconocimiento de voz (Universidad de Cambridge|Cambridge)
* Kaldi (software)|Kaldi: kit de herramientas de reconocimiento de voz iniciado en un taller de Johns Hopkins (Universidad Johns Hopkins|Johns Hopkins)
* KNIME – plataforma de análisis de datos y aprendizaje automático (Universidad de Konstanz|Konstanz)
* LIBSVM: biblioteca de software de máquina vectorial de soporte (Universidad Nacional de Taiwán)
* Libratus – programa de póquer con inteligencia artificial (Universidad Carnegie Mellon|Carnegie Mellon)
* Mallet (proyecto de software)|MALLET – conjunto de herramientas de aprendizaje automático y procesamiento del lenguaje natural (Universidad de Massachusetts Amherst|UMass Amherst)
* Análisis masivo en línea: marco de aprendizaje automático y minería de flujo de datos (Universidad de Waikato|Waikato)
* Mlpack|mlpack – biblioteca de software de aprendizaje automático (Instituto de Tecnología de Georgia|Georgia Tech)
* Moisés (traducción automática)|Moisés – sistema de traducción automática estadística (Universidad de Edimburgo|Edimburgo)
* MovieLens: plataforma de investigación del sistema de recomendación (Universidad de Minnesota|Minnesota)
* Natural Language Toolkit – conjunto de herramientas de procesamiento del lenguaje natural (Universidad de Pensilvania|Penn)
* Aprendizaje de idiomas sin fin: sistema de aprendizaje automático semántico (Universidad Carnegie Mellon|Carnegie Mellon)
* Open Mind Common Sense – proyecto de inteligencia artificial de sentido común (Instituto Tecnológico de Massachusetts|MIT)
* Orange (software)|Orange: paquete de software de minería de datos y aprendizaje automático (Universidad de Ljubljana|Ljubljana)
* Polaris (robot de póquer)|Polaris: programa de inteligencia artificial para jugar al póquer (Universidad de Alberta|Alberta)
* RapidMiner: plataforma de ciencia de datos y aprendizaje automático originada como YALE (Universidad TU Dortmund|TU Dortmund)
* SGLang: generación estructurada y marco de servicio de LLM (Universidad de California, Berkeley|UC Berkeley, Universidad de Stanford|Stanford, Universidad Texas A&M|Texas A&M, y más) * SHRDLU – programa de comprensión temprana del lenguaje natural (Instituto Tecnológico de Massachusetts|MIT)
* SNePS: sistema de representación, razonamiento y actuación del conocimiento (Universidad de Buffalo|Buffalo)
* Soar (arquitectura cognitiva)|Soar – arquitectura cognitiva para la investigación de inteligencia artificial (Universidad Carnegie Mellon|Carnegie Mellon)
* Theano (software)|Theano – biblioteca de cálculo numérico para aprendizaje profundo (Université de Montréal|Montréal)
* vLLM – motor de inferencia y servicio LLM (Universidad de California, Berkeley|UC Berkeley) * Weka (aprendizaje automático)|Weka – paquete de software de aprendizaje automático (Universidad de Waikato|Waikato)
* WordNet: base de datos léxica utilizada en el procesamiento del lenguaje natural (Universidad de Princeton|Princeton)

== Entornos educativos y de programación visual ==
* Alice (software)|Alice – entorno de programación educativa (Universidad de Virginia|Virginia y Universidad Carnegie Mellon|Carnegie Mellon)
* BlueJ – entorno educativo de desarrollo Java (Universidad de Kent|Universidad de Kent y Deakin|Deakin)
* DrJava – entorno de desarrollo Java ligero (Universidad Rice|Rice)
* DrRacket#Entorno de programación|DrRacket – entorno de programación gráfica para Racket and Scheme (Universidad de Rice|Rice, Universidad Northeastern|Northeastern, Universidad de Utah|Utah, |Universidad de Kent y La Trobe|La Trobe)
* Karel (lenguaje de programación)|Karel – lenguaje de programación educativo para principiantes (Universidad de Stanford|Stanford)
* Logo (lenguaje de programación)|Logo – lenguaje de programación educativo desarrollado en BBN y MIT (Instituto Tecnológico de Massachusetts|MIT)
* NetLogo: lenguaje y entorno de modelado basado en agentes (Northwestern University|Northwestern)
* Procesamiento: lenguaje y entorno de programación de artes visuales (Instituto de Tecnología de Massachusetts|MIT)
* Scratch (lenguaje de programación)|Scratch – lenguaje de programación educativo basado en bloques (Instituto Tecnológico de Massachusetts|MIT)
* ScratchJr: lenguaje de programación visual introductorio (Universidad de Tufts|Tufts y Instituto de Tecnología de Massachusetts|MIT)
* StarLogo – lenguaje de simulación basado en agentes (Instituto de Tecnología de Massachusetts|MIT)

== Lenguajes de programación ==
* Alice (lenguaje de programación)|Alice ML – lenguaje de programación funcional (Universidad del Sarre|Sarre)
* BCPL: lenguaje de programación de sistemas implementado por primera vez por Martin Richards (Universidad de Cambridge|Cambridge)
* BLISS – lenguaje de programación de sistemas (Universidad Carnegie Mellon|Carnegie Mellon)
* Charm++: lenguaje de programación paralelo y sistema de ejecución (Universidad de Illinois Urbana-Champaign|Illinois)
* ChucK: lenguaje de programación de audio muy sincronizado (Universidad de Princeton|Princeton)
* Cilk – lenguaje de programación paralelo multiproceso (Instituto Tecnológico de Massachusetts|MIT)
* Clean (lenguaje de programación)|Clean – lenguaje de programación puramente funcional (Radboud University Nijmegen|Radboud)
* CLU (lenguaje de programación)|CLU – lenguaje de programación con tipos de datos abstractos (Instituto Tecnológico de Massachusetts|MIT)
* CMU Common Lisp – Implementación de Common Lisp (Universidad Carnegie Mellon|Carnegie Mellon)
* Dartmouth BASIC: lenguaje de programación desarrollado en Dartmouth College (Dartmouth College|Dartmouth)
* Elm (lenguaje de programación)|Elm – lenguaje funcional para interfaces web procedente de una tesis de Harvard (Universidad de Harvard|Harvard)
* Euclid (lenguaje de programación)|Euclid – lenguaje de programación imperativo (Universidad de Toronto|Toronto)
* Euphoria (lenguaje de programación)|Euphoria – lenguaje de programación desarrollado a partir de un proyecto de posgrado de Toronto (Universidad de Toronto|Toronto)
* Futhark (lenguaje de programación)|Futhark – lenguaje de programación funcional paralelo a datos (Universidad de Copenhague|Copenhague)
* Hope (lenguaje de programación)|Hope – lenguaje de programación funcional (Universidad de Edimburgo|Edimburgo)
* Icon (lenguaje de programación)|Icon – lenguaje de programación de alto nivel (Universidad de Arizona|Arizona)
* Idris (lenguaje de programación)|Idris – lenguaje de programación funcional de tipo dependiente (Universidad de St Andrews|St Andrews)
* Janus (lenguaje de programación informática reversible en el tiempo)|Janus: lenguaje de programación imperativo reversible escrito por primera vez en Caltech (Instituto de Tecnología de California|Caltech)
* Julia (lenguaje de programación)|Julia – lenguaje de programación de alto rendimiento para informática técnica (Instituto de Tecnología de Massachusetts|MIT)
* Lisp (lenguaje de programación)|Lisp – familia de lenguajes de programación creada para la investigación de inteligencia artificial (Instituto Tecnológico de Massachusetts|MIT)
* MATLAB – entorno de computación numérica con orígenes en la Universidad de Nuevo México y Stanford (Universidad de Nuevo México|Nuevo México y Universidad de Stanford|Stanford)
* Mercury (lenguaje de programación)|Mercury – lenguaje de programación de lógica funcional (Universidad de Melbourne|Melbourne)
* Miranda (lenguaje de programación)|Miranda – lenguaje de programación funcional vago (Universidad de Kent|Kent)
* MIT/GNU Scheme – implementación del lenguaje de programación Scheme (Instituto Tecnológico de Massachusetts|MIT)
* ML (lenguaje de programación)|ML – lenguaje de programación funcional desarrollado para la demostración de teoremas (Universidad de Edimburgo|Edimburgo)
* Modula-2 – lenguaje de programación de sistemas (ETH Zurich)
* NESL – lenguaje de programación paralelo de datos anidados (Universidad Carnegie Mellon|Carnegie Mellon)
* Nyquist (lenguaje de programación)|Nyquist – lenguaje de composición y síntesis de sonido (Universidad Carnegie Mellon|Carnegie Mellon)
* Oberon (lenguaje de programación)|Oberon – lenguaje de programación de sistemas (ETH Zurich)
* Oz (lenguaje de programación)|Oz – lenguaje de programación multiparadigma (UCLouvain)
* Pascal (lenguaje de programación)|Pascal – lenguaje de programación estructurado (ETH Zurich)
* Prolog – lenguaje de programación lógica (Universidad Aix-Marseille|Aix-Marseille)
* R (lenguaje de programación)|R – lenguaje y entorno de computación estadística (Universidad de Auckland|Auckland)
* Racket (lenguaje de programación)|Racket – lenguaje de programación de propósito general creado originalmente por el grupo de investigación PLT (Northeastern University|Northeastern, Universidad de Utah|Utah y más) * Lenguaje de programación S/SL|S/SL – sintaxis y lenguaje semántico (Universidad de Toronto|Toronto)
* Scheme (lenguaje de programación)|Scheme – lenguaje de programación de la familia Lisp (Instituto Tecnológico de Massachusetts|MIT)
* Tcl (lenguaje de programación)|Tcl – lenguaje de scripting creado en UC Berkeley (Universidad de California, Berkeley|UC Berkeley)
* Turing (lenguaje de programación)|Turing – lenguaje de programación educativo (Universidad de Toronto|Toronto)
* Ur (lenguaje de programación)|Ur – lenguaje de programación funcional para aplicaciones web (Instituto Tecnológico de Massachusetts|MIT)

== Compiladores, depuradores y herramientas de desarrollo de software ==
* ANTLR: generador de analizador procedente del conjunto de herramientas de construcción del compilador Purdue (Universidad de Purdue|Purdue)
* Clang: interfaz de compilador de C, C++, Objective-C y Objective-C++ construido en LLVM (Universidad de Illinois Urbana-Champaign|Illinois)
* Sistema de versiones concurrentes: sistema de control de versiones desarrollado originalmente en la Vrije Universiteit Amsterdam
* Compilador Glasgow Haskell: compilador para el lenguaje de programación Haskell (Universidad de Glasgow|Glasgow)
* LLDB (depurador)|LLDB – componente depurador del proyecto LLVM (Universidad de Illinois Urbana-Champaign|Illinois)
* LLVM – proyecto de infraestructura del compilador (Universidad de Illinois Urbana-Champaign|Illinois)
* NetBeans: entorno de desarrollo integrado que se originó como un proyecto estudiantil (Universidad Charles)
* Sistema de control de revisiones: sistema de control de versiones tempranas (Universidad Purdue|Purdue)
* SPIM – Simulador MIPS para la enseñanza del lenguaje ensamblador (Universidad de Wisconsin–Madison|Wisconsin)
* Standard ML of New Jersey: compilador e IDE para Standard ML (Universidad de Princeton|Princeton and Bell Labs)
* WATBOL – compilador COBOL educativo (Universidad de Waterloo|Waterloo)
* WATFIV – sistema compilador educativo FORTRAN (Universidad de Waterloo|Waterloo)
* WATIAC – sistema de enseñanza de lengua ensambladora (Universidad de Waterloo|Waterloo)

== Editores de texto ==
* Editor de contexto compatible con Edimburgo|ECCE: editor de texto diseñado en la (Universidad de Edimburgo|Edimburgo)
* Emacs: familia de editores de texto extensibles originados en el MIT AI Lab (Instituto de Tecnología de Massachusetts|MIT)
* ex (editor de texto)|ex – editor de línea que evolucionó a vi (Universidad de California, Berkeley|UC Berkeley)
* Lapis (editor de texto)|Lapis – editor de texto experimental y navegador web desarrollado en el Instituto de Tecnología de Massachusetts|MIT
* nvi – implementación gratuita de vi para sistemas BSD (Universidad de California, Berkeley|UC Berkeley)
* Pico (editor de texto)|Pico – editor de texto del proyecto de software de correo electrónico Pine (Universidad de Washington|Washington)
* TECO (editor de texto)|TECO – editor de texto y entorno de programación asociado con los sistemas de tiempo compartido del MIT (Instituto de Tecnología de Massachusetts|MIT)
* Vi (editor de texto)|vi – editor de texto orientado a pantalla creado para BSD Unix (Universidad de California, Berkeley|UC Berkeley)

== Bases de datos, gestión de datos y almacenamiento distribuido ==
* Alluxio: sistema de archivos virtual distribuido originalmente llamado Tachyon (Universidad de California, Berkeley|UC Berkeley)
* Apache Flink: marco de procesamiento de flujo procedente del proyecto Stratosphere (Universidad Técnica de Berlín|TU Berlín)
* Apache Mesos: marco de gestión de recursos de clúster (Universidad de California, Berkeley|UC Berkeley)
* Apache Spark: motor de computación en clúster y análisis de datos (Universidad de California, Berkeley|UC Berkeley)
* Berkeley DB: biblioteca de base de datos clave-valor integrada (Universidad de California, Berkeley|UC Berkeley)
* C-Store: sistema de gestión de bases de datos orientado a columnas (Universidad de Brown|Brown, Universidad de Brandeis|Brandeis, Instituto de Tecnología de Massachusetts|MIT y Universidad de Massachusetts Boston|UMass Boston)
* Ceph (software)|Ceph: plataforma distribuida de almacenamiento de archivos, bloques y objetos (Universidad de California, Santa Cruz|UC Santa Cruz)
* Chord (peer-to-peer)|Chord: protocolo de tabla hash distribuida peer-to-peer (Instituto Tecnológico de Massachusetts|MIT)
* Dataverse: software de repositorio de datos de investigación (Universidad de Harvard|Harvard)
* Ingres (base de datos)|Ingres – sistema de base de datos relacional (Universidad de California, Berkeley|UC Berkeley)
* InterMezzo (sistema de archivos)|InterMezzo – sistema de archivos distribuido iniciado a partir del proyecto Coda (Universidad Carnegie Mellon|Carnegie Mellon)
* Mimer SQL: sistema de base de datos relacional que se originó como un proyecto de investigación (Universidad de Uppsala|Uppsala)
* Postgres|PostgreSQL – sistema de base de datos relacional de objetos (Universidad de California, Berkeley|UC Berkeley) * Transbase – sistema de gestión de bases de datos relacionales originado en la Universidad Técnica de Munich|TU Munich

== Gráficos por computadora, visualización y edición de imágenes ==
* 3D Slicer: software de visualización científica y análisis de imágenes médicas (Instituto de Tecnología de Massachusetts|MIT y Hospital Brigham and Women's)
* BumpTop: entorno de escritorio 3D (Universidad de Toronto|Toronto)
* Coot (software)|Coot – software de creación de modelos de gráficos moleculares (Universidad de York|York)
* FITS Liberator: software de procesamiento de imágenes astronómicas FITS desarrollado con Caltech/IPAC (Instituto de Tecnología de California|Caltech)
* GIMP: editor de gráficos rasterizados que comenzó como un proyecto estudiantil de UC Berkeley (Universidad de California, Berkeley|UC Berkeley)
* Jmol: software de visualización molecular desarrollado originalmente en la Universidad de Notre Dame|Notre Dame
* Matplotlib: biblioteca de trazado y visualización de datos procedente de una investigación de la Universidad de Chicago (Universidad de Chicago|Chicago)
* Montaje (software de imágenes)|Montaje: kit de herramientas de software de creación de mosaicos de imágenes astronómicas (Instituto de Tecnología de California|Caltech)
* Procesamiento (lenguaje de programación)|Procesamiento: entorno y lenguaje de codificación creativo (Instituto de Tecnología de Massachusetts|MIT)
* Sketchpad: programa pionero de gráficos por computadora interactivos (Instituto de Tecnología de Massachusetts|MIT)
* UCSF Chimera: software de análisis y visualización molecular (Universidad de California, San Francisco|UCSF)
* Visual Molecular Dynamics – software de visualización molecular (Universidad de Illinois Urbana-Champaign|Illinois)
* VPython: entorno de visualización 3D basado en Python (Universidad Carnegie Mellon|Carnegie Mellon)

== Primeros programas de computación personal ==
* PLATO (sistema informático)|PLATO – sistema de instrucción asistido por computadora (Universidad de Illinois Urbana-Champaign|Illinois)
* VisiCalc: programa inicial de hoja de cálculo creado por Dan Bricklin y Bob Frankston (Instituto de Tecnología de Massachusetts|MIT y Harvard Business School|Harvard)

== Juegos ==
* Rogue (videojuego)|Rogue – videojuego de exploración de mazmorras (Universidad de California, Santa Cruz|UC Santa Cruz y Universidad de California, Berkeley|UC Berkeley)
* Tux Racer: juego de carreras de código abierto que comenzó como un proyecto gráfico (Universidad de Waterloo|Waterloo)
* Zork: juego de aventuras de texto desarrollado en el MIT (Instituto Tecnológico de Massachusetts|MIT)

== Infraestructura de educación, publicaciones e investigación ==
* DSpace – software de repositorio digital (Instituto de Tecnología de Massachusetts|MIT)
* ILIAS – sistema de gestión del aprendizaje de código abierto (Universidad de Colonia|Colonia)
* Knowledge Forum: software de aprendizaje colaborativo asistido por computadora (Universidad de Toronto|Toronto)
* MIT App Inventor: entorno de programación visual para aplicaciones de Android (Instituto de Tecnología de Massachusetts|MIT)
* Open Journal Systems: software de publicación y gestión de revistas (Universidad de Columbia Británica|Columbia Británica y Universidad Simon Fraser|Simon Fraser)
* pdfTeX – Extensión TeX para salida directa de PDF (Universidad Masaryk|Masaryk)
* Sakai (software)|Sakai – sistema de gestión del aprendizaje desarrollado por un consorcio universitario (Universidad de Michigan|Michigan, Universidad de Indiana|Indiana, Instituto Tecnológico de Massachusetts|MIT y Universidad de Stanford|Stanford)
* Scribe (lenguaje de marcado)|Scribe – sistema de preparación de documentos desarrollado como proyecto de doctorado (Universidad Carnegie Mellon|Carnegie Mellon)
* Zotero – software de gestión de referencias (Universidad George Mason|George Mason)

== Métodos formales y demostración de teoremas ==
* ACL2 – probador de teoremas y lenguaje de programación (Universidad de Texas en Austin|Texas)
* Agda (lenguaje de programación)|Agda – lenguaje de programación escrito de forma dependiente y asistente de pruebas (Universidad Tecnológica de Chalmers|Chalmers)
* Alloy (lenguaje de especificación)|Alloy – lenguaje de especificación de software y analizador (Instituto de Tecnología de Massachusetts|MIT)
* Demostrador del teorema de Boyer-Moore: demostrador automatizado del teorema (Universidad de Texas en Austin|Texas)
* FDR (software)|FDR – Comprobador de refinamiento de CSP (Universidad de Oxford|Oxford)
* HOL (asistente de prueba)|HOL – sistema de demostración de teoremas (Universidad de Cambridge|Cambridge)
* Herramienta de verificación formal del ISP: herramienta de verificación formal para programas MPI (Universidad de Utah|Utah)
* Isabelle (asistente de pruebas)|Isabelle – demostrador de teoremas desarrollado en Cambridge y TU Munich (Universidad de Cambridge|Cambridge y Universidad Técnica de Munich|TU Munich)
* KeY – herramienta de verificación formal para programas Java (Instituto Tecnológico de Karlsruhe|KIT, Universidad Técnica de Darmstadt|TU Darmstadt, y Universidad Tecnológica de Chalmers|Chalmers)
* Lógica para funciones computables: demostrador de teoremas desarrollado en Stanford y Edimburgo (Universidad de Stanford|Stanford y Universidad de Edimburgo|Edimburgo)
* Sistema Mizar|Mizar – asistente de prueba y sistema matemático formal (Universidad de Białystok|Białystok, Universidad de Alberta|Alberta y Universidad Shinshu|Shinshu)
* Murφ – verificador de modelos de estado explícito (Universidad de Stanford|Stanford)
* Nuprl – sistema de desarrollo de pruebas (Universidad de Cornell|Cornell)
* Verificador de modelos PRISM|PRISM – verificador de modelos probabilísticos (Universidad de Birmingham|Birmingham y Universidad de Oxford|Oxford)
* Rocq – asistente de pruebas anteriormente conocido como Coq (INRIA, École Polytechnique, Universidad Paris-Sud|Paris-Sud y otros)
* Herramienta Rodin: herramienta de modelado formal para Event-B (Universidad de Newcastle|Newcastle y otros socios del proyecto)
* Doce: marco lógico y entorno de demostración de teoremas (Universidad Carnegie Mellon|Carnegie Mellon)
* Uppaal Model Checker|UPPAAL – verificador de modelos para sistemas en tiempo real (Universidad de Uppsala|Uppsala y Universidad de Aalborg|Aalborg)

== Sistemas de información geográfica y cartografía ==
* Herramientas cartográficas genéricas: herramientas de generación de mapas y procesamiento de datos geocientíficos (Universidad de Columbia|Columbia y Universidad de Hawaiʻi en Mānoa|Hawái) * GeoDa: software de geovisualización y análisis de datos espaciales (Universidad de Illinois Urbana-Champaign|Illinois y Universidad de Chicago|Chicago)
* GPlates: software de visualización de placas tectónicas (Universidad de Sydney|Instituto de Tecnología de Sydney y California|Caltech)
* MapServer: entorno de desarrollo de aplicaciones de mapas web (Universidad de Minnesota|Minnesota)
* SAGA GIS – software SIG geocientífico (Universidad de Göttingen|Göttingen y Universidad de Hamburgo|Hamburgo)
* TerrSet: software SIG y de detección remota desarrollado por Clark Labs (Universidad de Clark|Clark)
* Herramientas de análisis geoespacial Whitebox: SIG y software de teledetección (Universidad de Guelph|Guelph)

== Internet, web y software de comunicación ==
* Alpine (cliente de correo electrónico)|Alpine – cliente de correo electrónico desarrollado en la (Universidad de Washington|Washington)
* Archie (motor de búsqueda)|Archie: primer motor de búsqueda en Internet (Universidad McGill|McGill)
* BIND: software de servidor DNS diseñado originalmente en la Universidad de California, Berkeley|UC Berkeley
* CCSO Nameserver: primer servicio de directorio de Internet (Universidad de Illinois Urbana-Champaign|Illinois)
* CU-SeeMe: uno de los primeros clientes de videoconferencias de Internet (Universidad de Cornell|Cornell)
* Servidor IMAP Cyrus: software de servidor de correo electrónico (Universidad Carnegie Mellon|Carnegie Mellon)
* Eudora (cliente de correo electrónico)|Eudora – cliente de correo electrónico desarrollado en la Universidad de Illinois Urbana-Champaign|Illinois
* Búsqueda de Google: motor de búsqueda originado en el proyecto de investigación BackRub, respaldado por NSF (Universidad de Stanford|Stanford) * Gopher (protocolo)|Gopher: protocolo de recuperación de documentos de Internet y sistema de software (Universidad de Minnesota|Minnesota)
* Proyecto Harvest: caché web y proyecto de descubrimiento de recursos (Universidad de Colorado Boulder|Colorado Boulder)
* Hesiod (servicio de nombres)|Hesiod – servicio de nombres de red (Instituto de Tecnología de Massachusetts|MIT)
* IRC|Internet Relay Chat – sistema de chat basado en texto (Universidad de Oulu|Oulu)
* Jitsi: proyecto de videoconferencia de código abierto procedente de un proyecto estudiantil (Universidad de Estrasburgo|Estrasburgo)
* Kerberos (protocolo)|Kerberos – protocolo de autenticación de red (Instituto de Tecnología de Massachusetts|MIT)
* Kermit (protocolo)|Kermit – protocolo de transferencia de archivos y software de comunicaciones (Universidad de Columbia|Columbia)
* Lycos: primer motor de búsqueda web (Universidad Carnegie Mellon|Carnegie Mellon)
* Lynx (navegador web)|Lynx – navegador web basado en texto (Universidad de Kansas|Kansas)
* Mosaic (navegador web)|Navegador web Mosaic: primer navegador web gráfico (Universidad de Illinois Urbana-Champaign|Illinois)
* NCSA HTTPd: servidor web inicial (Universidad de Illinois Urbana-Champaign|Illinois)
* NCSA Telnet – Implementación de Telnet (Universidad de Illinois Urbana-Champaign|Illinois)
* Pine (cliente de correo electrónico)|Pine: cliente de noticias y correo electrónico basado en texto (Universidad de Washington|Washington)
* Psiphon: software para eludir la censura (Universidad de Toronto|Toronto)
* Squid (software)|Squid: proxy de almacenamiento en caché derivado del proyecto Harvest (Universidad de Colorado Boulder|Colorado Boulder y Universidad de California, San Diego|UC San Diego)
* Talkomatic: el primer sistema de chat en línea multiusuario (Universidad de Illinois Urbana-Champaign|Illinois)
* TkWWW: primer navegador web y editor HTML (Instituto Tecnológico de Massachusetts|MIT)
* UW IMAP: implementación del servidor IMAP de referencia (Universidad de Washington|Washington)
* ViolaWWW: uno de los primeros navegadores web gráficos (Universidad de California, Berkeley|UC Berkeley)
* WebCT: sistema de gestión de cursos basado en web (Universidad de Columbia Británica|UBC)
* Zephyr (protocolo)|Zephyr – protocolo de mensajería instantánea y conjunto de aplicaciones (Instituto de Tecnología de Massachusetts|MIT)
* ZMailer – agente de transferencia de correo (Universidad de Toronto|Toronto)

== Sistemas operativos, kernels y sistemas de red ==
* Accent kernel: kernel del sistema operativo y predecesor de Mach (Universidad Carnegie Mellon|Carnegie Mellon)
* Kernel Aleph: primer kernel del sistema operativo para el proyecto Intelligent Gateway de Rochester (Universidad de Rochester|Rochester)
* Amoeba (sistema operativo)|Amoeba – sistema operativo distribuido (Vrije Universiteit Amsterdam)
* Andrew File System: sistema de archivos distribuido (Universidad Carnegie Mellon|Carnegie Mellon)
* Proyecto Andrew: entorno informático distribuido (Universidad Carnegie Mellon|Carnegie Mellon)
* Barrelfish (sistema operativo)|Barrelfish – sistema operativo distribuido de código abierto (ETH Zurich y Microsoft Research)
* Distribución de software de Berkeley: distribución del sistema operativo Unix (Universidad de California, Berkeley|UC Berkeley)
* Sockets Berkeley: API de red de BSD (Universidad de California, Berkeley|UC Berkeley)
* Cambridge Distributed Computing System – sistema operativo distribuido (Universidad de Cambridge|Cambridge)
* Coda (sistema de archivos)|Coda – sistema de archivos distribuido (Universidad Carnegie Mellon|Carnegie Mellon)
* Sistema de tiempo compartido compatible: antiguo sistema operativo de tiempo compartido (Instituto de Tecnología de Massachusetts|MIT)
* EROS (microkernel)|EROS – sistema operativo de investigación basado en capacidades (Universidad de Pensilvania|Universidad Penn y Johns Hopkins|Johns Hopkins)
* Exokernel: arquitectura del núcleo del sistema operativo (Instituto de Tecnología de Massachusetts|MIT)
* GFS2: sistema de archivos de disco compartido con origen en la Universidad de Minnesota (Universidad de Minnesota|Minnesota)
* HelenOS: sistema operativo de micronúcleo multiservidor de investigación (Universidad Charles|Charles)
* Hydra (sistema operativo)|Hydra – sistema operativo basado en capacidades (Universidad Carnegie Mellon|Carnegie Mellon)
* Sistema de tiempo compartido incompatible: sistema operativo de tiempo compartido (Instituto Tecnológico de Massachusetts|MIT)
* K42 – sistema operativo de investigación (Universidad de Toronto|Toronto)
* Kernel de Linux: kernel de sistema operativo similar a Unix iniciado por un estudiante de la Universidad de Helsinki|Helsinki
* Mach (kernel) – kernel del sistema operativo (Universidad Carnegie Mellon|Carnegie Mellon)
* Michigan Terminal System: sistema operativo de tiempo compartido de mainframe (Universidad de Michigan|Michigan y otras universidades)
* MINIX – Sistema operativo de enseñanza tipo Unix (Vrije Universiteit Amsterdam)
* Multics: sistema operativo de tiempo compartido desarrollado con la participación del MIT (Instituto Tecnológico de Massachusetts|MIT)
* MUSIC/SP – sistema operativo de tiempo compartido de mainframe (Universidad McGill|McGill)
* Nemesis (sistema operativo)|Nemesis – sistema operativo orientado a multimedia (Universidad de Cambridge|Cambridge y otros)
* ORVYL y WYLBUR – monitor de tiempo compartido y sistema de edición de textos (Universidad de Stanford|Stanford)
* RIOT (sistema operativo)|RIOT – sistema operativo en tiempo real para dispositivos IoT (Universidad Libre de Berlín|FU Berlín, INRIA y Universidad de Ciencias Aplicadas de Hamburgo|HAW Hamburgo)
* Sprite (sistema operativo)|Sprite – sistema operativo distribuido experimental tipo Unix (Universidad de California, Berkeley|UC Berkeley)
* EL sistema de multiprogramación: el primer sistema operativo de multiprogramación (Universidad Tecnológica de Eindhoven|Eindhoven)
* Thoth (sistema operativo)|Thoth – sistema operativo de paso de mensajes en tiempo real (Universidad de Waterloo|Waterloo)
* TRIPOS – sistema operativo portátil (Universidad de Cambridge|Cambridge)
* TRIX (sistema operativo)|TRIX – Sistema operativo tipo Unix (Instituto Tecnológico de Massachusetts|MIT)
* TÚNEZ – Sistema operativo compatible con Unix (Universidad de Toronto|Toronto)
* V (sistema operativo)|V – sistema operativo distribuido microkernel (Universidad de Stanford|Stanford)
* X Window System: sistema de ventanas para visualizaciones de mapas de bits (Instituto Tecnológico de Massachusetts|MIT)
* Xinu – sistema operativo de enseñanza (Universidad Purdue|Purdue)
* Xv6 – sistema operativo de enseñanza basado en Unix Versión 6 (Instituto Tecnológico de Massachusetts|MIT)

== Robótica, simulación, y modelado ==
* BAITSSS – modelo de evapotranspiración y teledetección (Universidad de Idaho|Idaho)
* Gazebo (software)|Gazebo – plataforma de simulación robótica (Universidad del Sur de California|USC)
* NEURON – entorno de simulación neuronal (Universidad de Duke|Universidad de Duke y Yale|Yale)
* ns (simulador)|ns – simulador de red de eventos discretos (Universidad de California, Berkeley|UC Berkeley)
* OpenModelica: entorno de simulación y modelado basado en Modelica (Universidad de Linköping|Linköping)
* OpenRAVE – entorno de planificación de movimiento robótico (Universidad Carnegie Mellon|Carnegie Mellon)
* OpenSees: marco de simulación de ingeniería sísmica (Universidad de California, Berkeley|UC Berkeley)
* Player Project|Player/Stage – herramientas de simulación y control de robots (Universidad del Sur de California|USC)
* Sistema operativo de robot: sistema de middleware robótico con orígenes tempranos en Stanford (Universidad de Stanford|Stanford)
* Código SU2|SU2 – software de diseño y dinámica de fluidos computacional (Universidad de Stanford|Stanford)
* Webots – software de simulación de robots (École Polytechnique Fédérale de Lausanne|EPFL)

== Computación científica y numérica ==
* CHARMM – programa de simulación molecular (Universidad de Harvard|Harvard)
* CoCoA – sistema de álgebra informática (Universidad de Génova|Génova)
* La transformada de Fourier más rápida de Occidente: biblioteca de software de transformada rápida de Fourier (Instituto Tecnológico de Massachusetts|MIT)
* Folding@home: proyecto de computación distribuida para plegar proteínas (Universidad de Stanford|Stanford)
* GAP (sistema de álgebra informática)|GAP – sistema de álgebra discreta computacional (Universidad RWTH Aachen|Aquisgrán y Universidad de St Andrews|St Andrews)
* GROMACS – paquete de dinámica molecular (Universidad de Groningen|Groningen)
* GNU Octave: software de computación numérica asociado con la Universidad de Wisconsin–Madison (Universidad de Wisconsin–Madison|Wisconsin–Madison)
* HTCondor: marco de software informático de alto rendimiento (Universidad de Wisconsin–Madison|Wisconsin–Madison)
* Macaulay2 – sistema de álgebra computacional para geometría algebraica y álgebra conmutativa (Universidad de Illinois Urbana-Champaign|Illinois y Universidad de Cornell|Cornell)
* Macsyma – sistema de álgebra informática (Instituto Tecnológico de Massachusetts|MIT)
* Magma (sistema de álgebra informática)|Magma – sistema de álgebra informática (Universidad de Sydney|Sydney)
* Maple (software)|Maple – entorno informático simbólico y numérico (Universidad de Waterloo|Waterloo)
* Maxima (software)|Maxima – sistema de álgebra informática derivado de Macsyma (Instituto de Tecnología de Massachusetts|MIT)
* Meep (software)|Meep: software de simulación en el dominio del tiempo de diferencias finitas (Instituto Tecnológico de Massachusetts|MIT)
* METAFONT – lenguaje y sistema de descripción de fuentes (Universidad de Stanford|Stanford)
* MPB (software)|MPB – paquete de software para calcular estructuras de bandas fotónicas (Instituto Tecnológico de Massachusetts|MIT)
* NAMD – software de dinámica molecular (Universidad de Illinois Urbana-Champaign|Illinois)
* NUPACK – paquete de software de diseño y análisis de ácidos nucleicos (Instituto de Tecnología de California|Caltech)
* PARI/GP – sistema de álgebra informática para teoría de números (Universidad de Burdeos|Burdeos)
* Rosetta (software)|Rosetta – paquete de software de modelado macromolecular (Universidad de Washington|Washington)
* SageMath – sistema de software matemático (Universidad de Washington|Washington)
* SETI@home – proyecto informático voluntario para el análisis de señales de radio (Universidad de California, Berkeley|UC Berkeley)
* SMP (sistema de álgebra informática)|SMP – sistema de álgebra informática y predecesor de Mathematica (Instituto de Tecnología de California|Caltech)
* TeX – sistema de composición tipográfica digital (Universidad de Stanford|Stanford)

== Ver también ==
* Listado de premios de informática
* Laboratorios Bell#Descubrimientos y desarrollos|Lista de descubrimientos y desarrollos de los laboratorios Bell
* Listado de laboratorios de I+D
* Listado de centros universitarios de investigación en inteligencia artificial
* :Categoría:Software de la Universidad Carnegie Mellon|Software de la Universidad Carnegie Mellon
* :Categoría:Software del Instituto de Tecnología de Massachusetts|Software del Instituto de Tecnología de Massachusetts
* :Categoría:Software de la Universidad de Toronto|Software de la Universidad de Toronto
* :Categoría:Software de la Universidad de Minnesota|Software de la Universidad de Minnesota
* :Categoría:Distribución de software de Berkeley|Distribución de software de Berkeley
* RISC-V: arquitectura de conjunto de instrucciones de hardware de código abierto|arquitectura desarrollada en Cal Berkeley|UC Berkeley
* lowRISC: organización sin fines de lucro de silicio de código abierto creada por el Departamento de Ciencia y Tecnología de la Computación. Universidad de Cambridge|Cambridge
* OpenRISC: arquitectura de procesador de código abierto iniciada por Eslovenia|Estudiantes universitarios eslovenos * Proyecto OpenROAD: proyecto de automatización de diseño electrónico de código abierto dirigido por la Universidad de California, San Diego|UC San Diego

Software por institución

More details: https://en.wikipedia.org/wiki/List_of_s ... iversities