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
- ACT-R – arquitectura cognitiva para modelar la cognición humana ( Carnegie Mellon )
- AlexNet : una influyente arquitectura de red neuronal convolucional para el reconocimiento de imágenes ( Toronto ).
- Apache OpenNLP : un conjunto de herramientas de procesamiento del lenguaje natural creado por estudiantes de posgrado de Edimburgo ( Edimburgo ).
- Caffe – marco de aprendizaje profundo ( UC Berkeley )
- Cepheus – programa de inteligencia artificial para jugar al póker ( Alberta )
- Chinook – programa de inteligencia artificial para jugar a las damas ( Alberta )
- Claudico – programa de póker con inteligencia artificial ( Carnegie Mellon )
- CMU Sphinx – sistema de reconocimiento de voz ( Carnegie Mellon )
- Dendral : uno de los primeros sistemas expertos para análisis químico ( Stanford ).
- ELIZA – chatbot de procesamiento temprano del lenguaje natural ( MIT )
- ELKI – marco de minería de datos y agrupamiento ( LMU Múnich )
- GATE – marco de procesamiento del lenguaje natural y minería de texto ( Sheffield )
- HTK – Kit de herramientas de modelos ocultos de Markov para el reconocimiento de voz ( Cambridge )
- Kaldi , un conjunto de herramientas de reconocimiento de voz, se originó en un taller de Johns Hopkins ( Johns Hopkins ).
- KNIME – plataforma de análisis de datos y aprendizaje automático ( Constanza )
- LIBSVM – biblioteca de software de máquinas de vectores de soporte ( Universidad Nacional de Taiwán )
- Libratus – programa de póker con inteligencia artificial ( Carnegie Mellon )
- MALLET – conjunto de herramientas para el aprendizaje automático y el procesamiento del lenguaje natural ( UMass Amherst )
- Análisis masivo en línea : marco de minería de flujos de datos y aprendizaje automático ( Waikato )
- mlpack – biblioteca de software para aprendizaje automático ( Georgia Tech )
- Moisés – sistema de traducción automática estadística ( Edimburgo )
- MovieLens – plataforma de investigación de sistemas de recomendación ( Minnesota )
- Kit de herramientas de lenguaje natural – kit de herramientas para el procesamiento del lenguaje natural ( Penn )
- Aprendizaje de idiomas sin fin : sistema de aprendizaje automático semántico ( Carnegie Mellon )
- Mente abierta y sentido común : proyecto de inteligencia artificial de sentido común ( MIT )
- Orange – paquete de software para minería de datos y aprendizaje automático ( Liubliana )
- Polaris : programa de inteligencia artificial para jugar al póker ( Alberta )
- RapidMiner : plataforma de ciencia de datos y aprendizaje automático originaria de YALE ( TU Dortmund ).
- SGLang – marco de generación estructurada y servicio de LLM ( UC Berkeley , Stanford , Texas A&M y más) [ 1 ]
- SHRDLU – Programa de comprensión temprana del lenguaje natural ( MIT )
- SNePS – sistema de representación del conocimiento, razonamiento y actuación ( Buffalo )
- Soar : arquitectura cognitiva para la investigación en inteligencia artificial ( Carnegie Mellon )
- Theano – biblioteca de computación numérica para aprendizaje profundo ( Montreal )
- Torch : marco de trabajo para el aprendizaje automático y la computación científica ( EPFL y Universidad de Ginebra ).
- vLLM – Motor de inferencia y servicio de LLM ( UC Berkeley ) [ 2 ]
- Weka – paquete de software de aprendizaje automático ( Waikato )
- WordNet – base de datos léxica utilizada en el procesamiento del lenguaje natural ( Princeton )
Entornos de programación educativa y visual
- Alice – entorno de programación educativa ( Virginia y Carnegie Mellon )
- BlueJ – entorno de desarrollo Java educativo ( Kent y Deakin )
- DrJava – entorno de desarrollo Java ligero ( Rice )
- DrRacket : entorno de programación gráfica para Racket y Scheme ( Rice , Northeastern , Utah y más).
- Greenfoot – entorno de desarrollo Java educativo ( Kent y La Trobe )
- Karel – lenguaje de programación educativo para principiantes ( Stanford )
- Logo – lenguaje de programación educativa desarrollado en BBN y MIT ( MIT )
- NetLogo : lenguaje y entorno de modelado basado en agentes ( Northwestern )
- Processing : lenguaje y entorno de programación para artes visuales ( MIT )
- Scratch – lenguaje de programación educativo basado en bloques ( MIT )
- ScratchJr – lenguaje de programación visual introductorio ( Tufts y MIT )
- ¡Snap! – lenguaje de programación educativa basado en bloques ( UC Berkeley )
- StarLogo – lenguaje de simulación basado en agentes ( MIT )
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
- ANTLR : generador de analizadores sintácticos originario del conjunto de herramientas de construcción de compiladores de Purdue ( Purdue ).
- Clang – Interfaz de compilador para C, C++, Objective-C y Objective-C++ basada en LLVM ( Illinois ).
- Sistema de versiones concurrentes : sistema de control de versiones desarrollado originalmente en la Vrije Universiteit Amsterdam
- Glasgow Haskell Compiler – compilador para el lenguaje de programación Haskell ( Glasgow )
- LLDB – componente depurador del proyecto LLVM ( Illinois )
- LLVM – proyecto de infraestructura de compiladores ( Illinois )
- NetBeans : entorno de desarrollo integrado que se originó como un proyecto estudiantil ( Universidad Carolina ).
- Sistema de control de revisiones – sistema de control de versiones primitivo ( Purdue )
- SPIM – Simulador MIPS para la enseñanza del lenguaje ensamblador ( Wisconsin )
- Standard ML de Nueva Jersey : compilador e IDE para Standard ML ( Princeton y Bell Labs )
- WATBOL – compilador COBOL educativo ( Waterloo )
- WATFIV – sistema compilador FORTRAN educativo ( Waterloo )
- WATIAC – sistema de enseñanza de lenguaje ensamblador ( Waterloo )
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
- Alluxio : sistema de archivos distribuido virtual originalmente llamado Tachyon ( UC Berkeley ).
- Apache Flink : marco de procesamiento de flujos de datos originado en el proyecto Stratosphere ( TU Berlín ).
- Apache Mesos – marco de gestión de recursos de clúster ( UC Berkeley )
- Apache Spark : motor de análisis de datos y computación en clúster ( UC Berkeley )
- Berkeley DB – biblioteca de base de datos clave-valor integrada ( UC Berkeley )
- C-Store : sistema de gestión de bases de datos orientado a columnas ( Brown , Brandeis , MIT y UMass Boston )
- Ceph : plataforma de almacenamiento distribuido de objetos, bloques y archivos ( UC Santa Cruz )
- Chord – protocolo de tabla hash distribuida entre pares ( MIT )
- Dataverse – software de repositorio de datos de investigación ( Harvard )
- Ingres – sistema de base de datos relacional ( UC Berkeley )
- InterMezzo : sistema de archivos distribuido que se originó a partir del proyecto Coda ( Carnegie Mellon ).
- Mimer SQL – sistema de base de datos relacional originado como un proyecto de investigación ( Uppsala )
- PostgreSQL – sistema de base de datos objeto-relacional ( UC Berkeley ) [ 4 ]
- Transbase : sistema de gestión de bases de datos relacionales originario de la Universidad Técnica de Múnich.
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
- PLATO – sistema de instrucción asistida por computadora ( Illinois )
- VisiCalc : uno de los primeros programas de hojas de cálculo creado por Dan Bricklin y Bob Frankston ( MIT y Harvard ).
Juegos
- Rogue – videojuego de exploración de mazmorras ( UC Santa Cruz y UC Berkeley )
- ¡Guerra espacial! – un juego de ordenador digital de los primeros tiempos ( MIT )
- Tux Racer – juego de carreras de código abierto que comenzó como un proyecto gráfico ( Waterloo )
- Zork – juego de aventuras de texto desarrollado en el MIT ( MIT )
Infraestructura para la educación, la publicación y la investigación
- DSpace – software de repositorio digital ( MIT )
- ILIAS – sistema de gestión del aprendizaje de código abierto ( Colonia )
- Knowledge Forum – software de aprendizaje colaborativo asistido por ordenador ( Toronto )
- MIT App Inventor : entorno de programación visual para aplicaciones Android ( MIT )
- Open Journal Systems : software de gestión y publicación de revistas ( British Columbia y Simon Fraser )
- pdfTeX – Extensión de TeX para la salida directa a PDF ( Masaryk )
- Sakai : sistema de gestión del aprendizaje desarrollado por un consorcio universitario ( Michigan , Indiana , MIT y Stanford ).
- Scribe : sistema de preparación de documentos desarrollado como proyecto doctoral ( Carnegie Mellon ).
- Zotero – software de gestión de referencias ( George Mason )
Métodos formales y demostración de teoremas
- ACL2 – demostrador de teoremas y lenguaje de programación ( Texas )
- Agda – lenguaje de programación con tipado dependiente y asistente de pruebas ( Chalmers )
- Alloy – lenguaje de especificación y analizador de software ( MIT )
- Demostrador de teoremas Boyer-Moore – demostrador automático de teoremas ( Texas )
- FDR – Comprobador de refinamiento CSP ( Oxford )
- HOL – sistema de demostración de teoremas ( Cambridge )
- Herramienta de verificación formal del ISP : herramienta de verificación formal para programas MPI ( Utah )
- Isabelle – demostrador de teoremas desarrollado en Cambridge y TU Munich ( Cambridge y TU Munich )
- KeY – herramienta de verificación formal para programas Java ( KIT , TU Darmstadt y Chalmers )
- Lógica para funciones computables : demostrador de teoremas desarrollado en Stanford y Edimburgo ( Stanford y Edimburgo )
- Mizar – asistente de demostración y sistema de matemáticas formales ( Białystok , Alberta y Shinshu )
- Murφ – verificador de modelos de estado explícito ( Stanford )
- Nuprl – sistema de desarrollo de pruebas ( Cornell )
- PRISM – verificador de modelos probabilísticos ( Birmingham y Oxford )
- Rocq : asistente de pruebas anteriormente conocido como Coq ( INRIA , École Polytechnique , Paris-Sud y otros)
- Herramienta Rodin : herramienta de modelado formal para el Evento B ( Newcastle y otros socios del proyecto).
- Doce : marco lógico y entorno de demostración de teoremas ( Carnegie Mellon )
- UPPAAL – verificador de modelos para sistemas en tiempo real ( Uppsala y Aalborg )
Sistemas de información geográfica y cartografía
- Herramientas genéricas de mapeo : herramientas de generación de mapas y procesamiento de datos geocientíficos ( Columbia y Hawái ) [ 5 ]
- GeoDa – software de análisis de datos espaciales y geovisualización ( Illinois y Chicago )
- GPlates – software de visualización de tectónica de placas ( Sídney y Caltech )
- MapServer – entorno de desarrollo de aplicaciones de mapas web ( Minnesota )
- SAGA GIS – software SIG geocientífico ( Göttingen y Hamburgo )
- TerrSet – Software de SIG y teledetección desarrollado por Clark Labs ( Clark )
- Herramientas de análisis geoespacial Whitebox : software SIG y de teledetección ( Guelph )
Software de Internet, web y comunicaciones
- Alpine – cliente de correo electrónico desarrollado en ( Washington )
- Archie – uno de los primeros motores de búsqueda de Internet ( McGill )
- BIND : software de servidor DNS diseñado originalmente en la UC Berkeley.
- Servidor de nombres CCSO : servicio de directorio de Internet primitivo ( Illinois )
- CU-SeeMe – Cliente de videoconferencia por Internet de los primeros tiempos ( Cornell )
- Servidor IMAP Cyrus – software de servidor de correo electrónico ( Carnegie Mellon )
- Eudora – cliente de correo electrónico desarrollado en Illinois
- Búsqueda de Google : motor de búsqueda originado a partir del proyecto de investigación BackRub apoyado por la NSF ( Stanford ) [ 6 ].
- Gopher – Protocolo y sistema de software para la recuperación de documentos de Internet ( Minnesota )
- Proyecto Harvest : proyecto de caché web y descubrimiento de recursos ( Boulder, Colorado )
- Hesiod – servicio de nombres de red ( MIT )
- Chat por retransmisión de Internet : sistema de chat basado en texto ( Oulu )
- Jitsi : proyecto de videoconferencia de código abierto originado a partir de un proyecto estudiantil ( Estrasburgo ).
- Kerberos – protocolo de autenticación de red ( MIT )
- Kermit – protocolo de transferencia de archivos y software de comunicaciones ( Columbia )
- Lycos – uno de los primeros motores de búsqueda web ( Carnegie Mellon )
- Lynx – navegador web basado en texto ( Kansas )
- Navegador web Mosaic : uno de los primeros navegadores web gráficos ( Illinois ).
- NCSA HTTPd – servidor web antiguo ( Illinois )
- NCSA Telnet – Implementación de Telnet ( Illinois )
- Pine – cliente de correo electrónico y noticias basado en texto ( Washington )
- Psiphon : software para eludir la censura ( Toronto )
- Squid : proxy de almacenamiento en caché derivado del proyecto Harvest ( Colorado Boulder y UC San Diego ).
- Talkomatic : uno de los primeros sistemas de chat en línea multiusuario ( Illinois ).
- TkWWW – navegador web y editor HTML primitivo ( MIT )
- UW IMAP – Implementación de referencia del servidor IMAP ( Washington )
- ViolaWWW – uno de los primeros navegadores web gráficos ( UC Berkeley )
- WebCT – sistema de gestión de cursos en línea ( UBC )
- Zephyr – protocolo de mensajería instantánea y conjunto de aplicaciones ( MIT )
- ZMailer – agente de transferencia de correo ( Toronto )
Sistemas operativos, núcleos y sistemas de red.
- Núcleo Accent : núcleo del sistema operativo y predecesor de Mach ( Carnegie Mellon ).
- Núcleo Aleph : núcleo del sistema operativo inicial para el proyecto Intelligent Gateway de Rochester ( Rochester ).
- Amoeba – sistema operativo distribuido ( Vrije Universiteit Amsterdam )
- Sistema de archivos Andrew – sistema de archivos distribuido ( Carnegie Mellon )
- Proyecto Andrew – entorno de computación distribuida ( Carnegie Mellon )
- Barrelfish : sistema operativo distribuido de código abierto ( ETH Zurich y Microsoft Research )
- Berkeley Software Distribution – Distribución del sistema operativo Unix ( UC Berkeley )
- Sockets de Berkeley : API de red de BSD ( UC Berkeley )
- Sistema de Computación Distribuida de Cambridge – sistema operativo distribuido ( Cambridge )
- Coda – sistema de archivos distribuido ( Carnegie Mellon )
- Sistema de tiempo compartido compatible : sistema operativo de tiempo compartido inicial ( MIT )
- EROS – sistema operativo de investigación basado en capacidades ( Penn y Johns Hopkins )
- Exokernel – arquitectura del núcleo del sistema operativo ( MIT )
- GFS2 – sistema de archivos de disco compartido con origen en la Universidad de Minnesota ( Minnesota )
- HelenOS – sistema operativo de microkernel multiservidor para investigación ( Charles )
- Hydra – sistema operativo basado en capacidades ( Carnegie Mellon )
- Sistema de tiempo compartido incompatible – sistema operativo de tiempo compartido ( MIT )
- K42 – sistema operativo de investigación ( Toronto )
- Núcleo de Linux : núcleo de sistema operativo tipo Unix iniciado por un estudiante en Helsinki.
- Mach (núcleo) – núcleo del sistema operativo ( Carnegie Mellon )
- Sistema de Terminales de Michigan : sistema operativo de tiempo compartido para mainframes ( Universidades de Michigan y otras).
- MINIX : sistema operativo de enseñanza tipo Unix ( Vrije Universiteit Amsterdam )
- Multics – sistema operativo de tiempo compartido desarrollado con la participación del MIT ( MIT )
- MUSIC/SP – sistema operativo de tiempo compartido para mainframes ( McGill )
- Nemesis – sistema operativo orientado a multimedia ( Cambridge y otros)
- ORVYL y WYLBUR : sistema de monitorización y edición de texto con tiempo compartido ( Stanford )
- RIOT : sistema operativo en tiempo real para dispositivos IoT ( FU Berlín , INRIA y HAW Hamburgo )
- Sprite – sistema operativo distribuido experimental tipo Unix ( UC Berkeley )
- El sistema de multiprogramación : sistema operativo de multiprogramación primitivo ( Eindhoven )
- Thoth – sistema operativo de paso de mensajes en tiempo real ( Waterloo )
- TRIPOS – sistema operativo portátil ( Cambridge )
- TRIX – Sistema operativo tipo Unix ( MIT )
- TUNIS – Sistema operativo compatible con Unix ( Toronto )
- V – sistema operativo distribuido de microkernel ( Stanford )
- Sistema X Window : sistema de ventanas para pantallas de mapa de bits ( MIT )
- Xinu – sistema operativo de enseñanza ( Purdue )
- Xv6 – sistema operativo didáctico basado en Unix versión 6 ( MIT )
Robótica, simulación y modelado
- BAITSSS – modelo de evapotranspiración y teledetección ( Idaho )
- Gazebo – plataforma de simulación robótica ( USC )
- NEURON – entorno de simulación neuronal ( Duke y Yale )
- ns – simulador de redes de eventos discretos ( UC Berkeley )
- OpenModelica – Entorno de modelado y simulación basado en Modelica ( Linköping )
- OpenRAVE – entorno de planificación de movimiento para robótica ( Carnegie Mellon )
- OpenSees – plataforma de simulación de ingeniería sísmica ( UC Berkeley )
- Jugador/Escenario : herramientas de control y simulación de robots ( USC )
- Sistema Operativo para Robots – sistema de software intermedio para robótica con orígenes tempranos en Stanford ( Stanford )
- SU2 – Software de diseño y dinámica de fluidos computacional ( Stanford )
- Webots – software de simulación de robots ( EPFL )
Computación científica y numérica
- CHARMM – programa de simulación molecular ( Harvard )
- CoCoA – sistema de álgebra computacional ( Génova )
- Transformada de Fourier más rápida de Occidente – biblioteca de software de transformada rápida de Fourier ( MIT )
- Folding@home – proyecto de computación distribuida para el plegamiento de proteínas ( Stanford )
- GAP – sistema de álgebra discreta computacional ( Aachen y St Andrews )
- GROMACS – paquete de dinámica molecular ( Groningen )
- GNU Octave – software de computación numérica asociado con la Universidad de Wisconsin-Madison ( Wisconsin-Madison )
- HTCondor – marco de software para computación de alto rendimiento ( Wisconsin-Madison )
- Macaulay2 – sistema de álgebra computacional para geometría algebraica y álgebra conmutativa ( Illinois y Cornell )
- Macsyma - sistema de álgebra informática ( MIT )
- Magma – sistema de álgebra computacional ( Sídney )
- Maple – entorno de computación simbólica y numérica ( Waterloo )
- Maxima : sistema de álgebra computacional derivado de Macsyma ( MIT ).
- Meep – software de simulación en el dominio del tiempo mediante diferencias finitas ( MIT )
- METAFONT – lenguaje y sistema de descripción de fuentes ( Stanford )
- MPB – paquete de software para el cálculo de estructuras de bandas fotónicas ( MIT )
- NAMD – software de dinámica molecular ( Illinois )
- NUPACK – paquete de software para el análisis y diseño de ácidos nucleicos ( Caltech )
- PARI/GP – sistema de álgebra computacional para la teoría de números ( Burdeos )
- Rosetta – paquete de software para modelado macromolecular ( Washington )
- SageMath – sistema de software matemático ( Washington )
- SETI@home – proyecto informático voluntario para el análisis de señales de radio ( UC Berkeley )
- SMP – sistema de álgebra computacional y predecesor de Mathematica ( Caltech )
- TeX – sistema de composición tipográfica digital ( Stanford )
Véase también
- Lista de premios de informática
- Lista de descubrimientos y desarrollos de los laboratorios Bell
- Lista de paquetes de software gratuitos y de código abierto
- Lista de laboratorios de I+D
- Lista de centros de investigación en inteligencia artificial de universidades
- Software de la Universidad Carnegie Mellon
- Software del Instituto Tecnológico de Massachusetts
- Software de la Universidad de Toronto
- Software de la Universidad de Minnesota
- Distribución de software de Berkeley
- RISC-V : arquitectura de hardware de código abierto desarrollada en la UC Berkeley.
- lowRISC – organización sin fines de lucro de silicio de código abierto derivada de Cambridge
- OpenRISC : arquitectura de procesador de código abierto iniciada por estudiantes universitarios eslovenos [ 7 ].
- Proyecto OpenROAD : proyecto de automatización del diseño electrónico de código abierto liderado por la UC San Diego.
Referencias
- ^ 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 ].
- ↑ "vLLM" . Sky Computing Lab . Universidad de California, Berkeley. 25 de abril de 2024. Consultado el 25 de abril de 2026 .
- ↑ "Equipo" . Raqueta . Consultado el 25 de abril de 2026 .
- ↑ "Acerca de" . PostgreSQL . Grupo de Desarrollo Global de PostgreSQL . Consultado el 25 de abril de 2026 .
- ↑ "Acerca de" . Las herramientas genéricas de mapeo . Los desarrolladores de GMT . Consultado el 25 de abril de 2026 .
- ↑ "Sobre los orígenes de Google" . Fundación Nacional de Ciencias . 17 de agosto de 2004. Consultado el 25 de abril de 2026 .
- ↑ 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 .
Categoría :
- Software por institución