Articulo de referencia

Lista de software desarrollado en universidades

Esta es una lista de software desarrollado en universidades, que incluye software , lenguajes de programación , sistemas operativos , navegadores web , herramientas de gráficos ...

Esta es una lista de software desarrollado en universidades, que incluye 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 la investigación universitaria, los estudiantes o los laboratorios académicos.

Inteligencia artificial y aprendizaje automático

Entornos de programación educativa y visual

Lenguajes de programación

  • Alice ML – lenguaje de programación funcional ( Saarland )
  • BCPL – lenguaje de programación de sistemas implementado por primera vez por Martin Richards ( Cambridge )
  • BLISS – lenguaje de programación de sistemas ( Carnegie Mellon )
  • Charm++ – lenguaje de programación paralela y sistema de ejecución ( Illinois )
  • ChucK – lenguaje de programación de audio con sincronización precisa ( Princeton )
  • Cilk – lenguaje de programación paralela multihilo ( MIT )
  • Limpio : lenguaje de programación puramente funcional ( Radboud )
  • CLU – lenguaje de programación con tipos de datos abstractos ( MIT )
  • CMU Common Lisp – Implementación de Common Lisp ( Carnegie Mellon )
  • Dartmouth BASIC : lenguaje de programación desarrollado en el Dartmouth College ( Dartmouth ).
  • Elm – lenguaje funcional para interfaces web originado a partir de una tesis de Harvard ( Harvard )
  • Euclides – lenguaje de programación imperativo ( Toronto )
  • Euphoria : lenguaje de programación desarrollado a partir de un proyecto de fin de carrera en Toronto ( Toronto ).
  • Futhark – lenguaje de programación funcional de paralelismo de datos ( Copenhague )
  • Hope – lenguaje de programación funcional ( Edimburgo )
  • Icono – lenguaje de programación de alto nivel ( Arizona )
  • Idris – lenguaje de programación funcional con tipado dependiente ( St Andrews )
  • Janus : lenguaje de programación imperativo reversible escrito por primera vez en Caltech ( Caltech ).
  • Julia : lenguaje de programación de alto rendimiento para computación técnica ( MIT ).
  • Lisp : familia de lenguajes de programación creada para la investigación en inteligencia artificial ( MIT ).
  • MATLAB – entorno de computación numérica con orígenes en la Universidad de Nuevo México y Stanford ( Nuevo México y Stanford )
  • Mercury – lenguaje de programación lógica funcional ( Melbourne )
  • Miranda – lenguaje de programación funcional perezoso ( Kent )
  • MIT/GNU Scheme – implementación del lenguaje de programación Scheme ( MIT )
  • ML – lenguaje de programación funcional desarrollado para la demostración de teoremas ( Edimburgo )
  • Modula-2 – lenguaje de programación de sistemas ( ETH Zúrich )
  • NESL – lenguaje de programación de datos paralelos anidados ( Carnegie Mellon )
  • Nyquist – Lenguaje de síntesis y composición sonora ( Carnegie Mellon )
  • Oberon – lenguaje de programación de sistemas ( ETH Zúrich )
  • Oz – lenguaje de programación multiparadigma ( UCLouvain )
  • Pascal – lenguaje de programación estructurado ( ETH Zúrich )
  • Prolog – lenguaje de programación lógica ( Aix-Marsella )
  • R – lenguaje y entorno de computación estadística ( Auckland )
  • Racket : lenguaje de programación de propósito general creado originalmente por el grupo de investigación PLT ( Northeastern , Utah y otros) [ 3 ].
  • S/SL – lenguaje sintáctico y semántico ( Toronto )
  • Scheme – Lenguaje de programación de la familia Lisp ( MIT )
  • Tcl – lenguaje de scripting creado en UC Berkeley ( UC Berkeley )
  • Turing – lenguaje de programación educativa ( Toronto )
  • Ur – lenguaje de programación funcional para aplicaciones web ( MIT )

Compiladores, depuradores y herramientas de desarrollo de software

Editores de texto

  • ECCE – editor de texto diseñado en ( Edimburgo )
  • Emacs : familia de editores de texto extensibles originaria del Laboratorio de IA del MIT ( MIT ).
  • ex editor de líneas que evolucionó hasta convertirse en vi ( UC Berkeley )
  • Lapis : editor de texto y navegador web experimental desarrollado en el MIT.
  • nvi – implementación gratuita de vi para sistemas BSD ( UC Berkeley )
  • Pico – editor de texto del proyecto de software de correo electrónico Pine ( Washington )
  • TECO – editor de texto y entorno de programación asociado con los sistemas de tiempo compartido del MIT ( MIT )
  • vi – editor de texto orientado a pantalla creado para BSD Unix ( UC Berkeley )

Bases de datos, gestión de datos y almacenamiento distribuido

Gráficos por computadora, visualización y edición de imágenes

  • 3D Slicer : software de análisis de imágenes médicas y visualización científica ( MIT y Brigham and Women's Hospital ).
  • BumpTop – Entorno de escritorio 3D ( Toronto )
  • Coot – software para la creación de modelos gráficos moleculares ( York )
  • FITS Liberator : software de procesamiento de imágenes FITS astronómicas desarrollado con Caltech/IPAC ( Caltech ).
  • GIMP – editor de gráficos rasterizados comenzó como un proyecto estudiantil de UC Berkeley ( UC Berkeley )
  • Jmol : software de visualización molecular desarrollado originalmente en Notre Dame.
  • Matplotlib : biblioteca para la creación de gráficos y la visualización de datos, originaria de la investigación de la Universidad de Chicago ( Chicago ).
  • Montage – kit de herramientas de software para la creación de mosaicos de imágenes astronómicas ( Caltech )
  • Processing : lenguaje y entorno de programación creativa ( MIT )
  • Sketchpad : programa pionero de gráficos interactivos por computadora ( MIT )
  • UCSF Chimera – software de visualización y análisis molecular ( UCSF )
  • Visual Molecular Dynamics – software de visualización molecular ( Illinois )
  • VPython – Entorno de visualización 3D basado en Python ( Carnegie Mellon )

Software de computación personal de los primeros tiempos

Juegos

Infraestructura para la educación, la publicación y la investigación

Métodos formales y demostración de teoremas

Sistemas de información geográfica y cartografía

Software de Internet, web y comunicaciones

Sistemas operativos, núcleos y sistemas de red.

Robótica, simulación y modelado

Computación científica y numérica

Véase también

Referencias

  1. ^ Zheng, Lianmin; Yin, Liangsheng; Xie, Zhiqiang; Sol, Chuyue; Huang, Jeff; Yu, Cody Hao; Cao, Shiyi; Kozyrakis, Christos; Estoica, Ion; González, José E.; Barrett, Clark; Sheng, Ying (12 de diciembre de 2023). "SGLang: ejecución eficiente de programas modelo de lenguaje estructurado". arXiv : 2312.07104 [ cs.AI ].
  2. "vLLM" . Sky Computing Lab . Universidad de California, Berkeley. 25 de abril de 2024. Consultado el 25 de abril de 2026 .
  3. "Equipo" . Raqueta . Consultado el 25 de abril de 2026 .
  4. "Acerca de" . PostgreSQL . Grupo de Desarrollo Global de PostgreSQL . Consultado el 25 de abril de 2026 .
  5. "Acerca de" . Las herramientas genéricas de mapeo . Los desarrolladores de GMT . Consultado el 25 de abril de 2026 .
  6. "Sobre los orígenes de Google" . Fundación Nacional de Ciencias . 17 de agosto de 2004. Consultado el 25 de abril de 2026 .
  7. Baxter, Julius (2011). Desarrollo de hardware de código abierto y el proyecto OpenRISC: una revisión de la arquitectura e implementaciones de OpenRISC (PDF) (tesis de maestría). KTH Royal Institute of Technology . Recuperado el 25 de abril de 2026 .