大学で開発されたソフトウェアの一覧

これは、大学の研究、学生、または学術研究室によって開発または維持されているソフトウェア、プログラミング言語、オペレーティングシステム、ウェブブラウザ、コンピュータグラフィックスツール、データベースシステム、科学計算ソフトウェア、機械学習フレームワークなど、大学で開発されたソフトウェアのリストです。

• ACT-R – 人間の認知をモデル化するための認知アーキテクチャ（カーネギーメロン大学）
• AlexNet – 画像認識のための影響力のある畳み込みニューラルネットワークアーキテクチャ（トロント）
• Apache OpenNLP – エジンバラ大学の大学院生によって開発された自然言語処理ツールキット（エジンバラ）
• Caffe – 深層学習フレームワーク（カリフォルニア大学バークレー校）
• Cepheus – ポーカーをプレイする人工知能プログラム（アルバータ州）
• チヌーク– チェッカーをプレイする人工知能プログラム（アルバータ州）
• Claudico – 人工知能ポーカープログラム（カーネギーメロン大学）
• CMU Sphinx – 音声認識システム（カーネギーメロン大学）
• Dendral – 化学分析のための初期のエキスパートシステム（スタンフォード大学）
• ELIZA – 初期段階の自然言語処理チャットボット（MIT）
• ELKI – データマイニングおよびクラスタリングフレームワーク（ミュンヘン大学）
• GATE – 自然言語処理およびテキストマイニングフレームワーク（シェフィールド大学）
• HTK – 音声認識のための隠れマルコフモデルツールキット（ケンブリッジ大学出版局）
• Kaldi – 音声認識ツールキットは、ジョンズ・ホプキンス大学のワークショップで誕生しました（ジョンズ・ホプキンス大学）
• KNIME – データ分析および機械学習プラットフォーム（コンスタンツ）
• LIBSVM – サポートベクターマシンソフトウェアライブラリ（国立台湾大学）
• Libratus – 人工知能ポーカープログラム（カーネギーメロン大学）
• MALLET – 機械学習および自然言語処理ツールキット（マサチューセッツ大学アマースト校）
• 大規模オンライン分析– データストリームマイニングと機械学習フレームワーク（ワイカト大学）
• mlpack – 機械学習ソフトウェアライブラリ（ジョージア工科大学）
• Moses – 統計的機械翻訳システム（エジンバラ）
• MovieLens – レコメンデーションシステム研究プラットフォーム（ミネソタ州）
• 自然言語処理ツールキット– 自然言語処理ツールキット（ペンシルバニア大学）
• 終わりのない言語学習― 意味論的機械学習システム（カーネギーメロン大学）
• オープンマインド・コモンセンス– 常識的な人工知能プロジェクト（MIT）
• Orange – データマイニングおよび機械学習ソフトウェアスイート（リュブリャナ）
• ポラリス– ポーカーをプレイする人工知能プログラム（アルバータ州）
• RapidMiner – イェール大学（ドルトムント工科大学）発祥のデータサイエンスおよび機械学習プラットフォーム
• SGLang – 構造化生成およびLLMサービスフレームワーク（UCバークレー、スタンフォード、テキサスA&Mなど）^{[ 1 ]}
• SHRDLU – 初期段階の自然言語理解プログラム（MIT）
• SNePS – 知識表現、推論、および行動システム（バッファロー大学）
• Soar – 人工知能研究のための認知アーキテクチャ（カーネギーメロン大学）
• Theano – ディープラーニングのための数値計算ライブラリ（モントリオール）
• Torch – 機械学習および科学計算フレームワーク（EPFLおよびジュネーブ大学）
• vLLM – LLM推論およびサービスエンジン（UCバークレー）^{[ 2 ]}
• Weka – 機械学習ソフトウェアスイート（ワイカト大学）
• WordNet – 自然言語処理で使用される語彙データベース（プリンストン大学）

• Alice – 教育用プログラミング環境（バージニア大学およびカーネギーメロン大学）
• BlueJ – 教育用Java開発環境（ケント大学およびディーキン大学）
• DrJava – 軽量Java開発環境（ライス）
• DrRacket – RacketおよびScheme用のグラフィカルプログラミング環境（ライス大学、ノースイースタン大学、ユタ大学など）
• Greenfoot – 教育用Java開発環境（ケント大学およびラ・トローブ大学）
• Karel – 初心者向け教育用プログラミング言語（スタンフォード大学）
• ロゴ– BBNとMITで開発された教育用プログラミング言語（MIT）
• NetLogo – エージェントベースモデリング言語および環境（ノースウェスタン大学）
• Processing – ビジュアルアート向けプログラミング言語および環境（MIT）
• Scratch – ブロックベースの教育用プログラミング言語（MIT）
• ScratchJr – 入門レベルのビジュアルプログラミング言語（タフツ大学とMITが共同開発）
• Snap! – ブロックベースの教育用プログラミング言語（カリフォルニア大学バークレー校）
• StarLogo – エージェントベースシミュレーション言語（MIT）

• Alice ML – 関数型プログラミング言語（ザールラント州）
• BCPL – マーティン・リチャーズ（ケンブリッジ大学）によって最初に実装されたシステムプログラミング言語
• BLISS – システムプログラミング言語（カーネギーメロン大学）
• Charm++ – 並列プログラミング言語およびランタイムシステム（イリノイ大学）
• ChucK – 厳密なタイミング制御が可能なオーディオプログラミング言語（プリンストン大学）
• Cilk – マルチスレッド並列プログラミング言語（MITライセンス）
• Clean – 純粋関数型プログラミング言語（ラドバウド大学）
• CLU – 抽象データ型を持つプログラミング言語（MITライセンス）
• CMU Common Lisp – Common Lispの実装（カーネギーメロン大学）
• Dartmouth BASIC – ダートマス大学で開発されたプログラミング言語（ダートマス）
• Elm – ハーバード大学の学位論文から生まれた、Webインターフェースのための関数型言語（ハーバード大学）
• Euclid – 命令型プログラミング言語（トロント）
• Euphoria – トロント大学の大学院プロジェクトから開発されたプログラミング言語（トロント）
• Futhark – データ並列関数型プログラミング言語（コペンハーゲン）
• Hope – 関数型プログラミング言語（エジンバラ）
• アイコン– 高水準プログラミング言語（アリゾナ州）
• Idris – 依存型関数型プログラミング言語（セント・アンドリュース大学）
• Janus – カリフォルニア工科大学（Caltech）で最初に開発された可逆的な命令型プログラミング言語（Caltech）
• Julia – 技術計算のための高性能プログラミング言語（MIT）
• Lisp – 人工知能研究のために開発されたプログラミング言語ファミリー（MIT）
• MATLAB – ニューメキシコ大学とスタンフォード大学を起源とする数値計算環境（ニューメキシコ大学およびスタンフォード大学）
• Mercury – 関数型論理プログラミング言語（メルボルン）
• Miranda – 遅延評価型関数型プログラミング言語（ケント）
• MIT/GNU Scheme – Schemeプログラミング言語の実装（MIT）
• ML – 定理証明のために開発された関数型プログラミング言語（エジンバラ）
• Modula-2 – システムプログラミング言語（チューリッヒ工科大学）
• NESL – ネスト型データ並列プログラミング言語（カーネギーメロン大学）
• ナイキスト– 音響合成と作曲言語（カーネギーメロン大学）
• Oberon – システムプログラミング言語（チューリッヒ工科大学）
• Oz – マルチパラダイムプログラミング言語（ルーヴァン・カトリック大学）
• Pascal – 構造化プログラミング言語（チューリッヒ工科大学）
• Prolog – 論理プログラミング言語（エクス＝マルセイユ大学）
• R – 統計計算言語および環境（オークランド）
• Racket – PLT研究グループ（ノースイースタン大学、ユタ大学など）によって最初に作成された汎用プログラミング言語^{[ 3 ]}
• S/SL – 構文論と意味論（トロント）
• Scheme – Lisp系プログラミング言語（MITライセンス）
• Tcl – カリフォルニア大学バークレー校で開発されたスクリプト言語 ( UC Berkeley )
• Turing – 教育用プログラミング言語（トロント）
• Ur – Webアプリケーション向け関数型プログラミング言語（MITライセンス）

• ANTLR – Purdue Compiler Construction Tool Set ( Purdue )から派生したパーサージェネレーター
• Clang – LLVM上に構築されたC、C++、Objective-C、およびObjective-C++コンパイラのフロントエンド（イリノイ大学）
• Concurrent Versions System – もともとアムステルダム自由大学で開発されたバージョン管理システム
• Glasgow Haskell Compiler – Haskellプログラミング言語用のコンパイラ（グラスゴー）
• LLDB – LLVMプロジェクトのデバッガコンポーネント（イリノイ大学）
• LLVM – コンパイラインフラストラクチャプロジェクト（イリノイ州）
• NetBeans – 学生プロジェクトとして始まった統合開発環境（チャールズ大学）
• 改訂管理システム– 初期バージョン管理システム（パデュー大学）
• SPIM – アセンブリ言語教育用MIPSシミュレータ（ウィスコンシン大学）
• Standard ML of New Jersey – Standard ML用のコンパイラおよびIDE（プリンストン大学およびベル研究所）
• WATBOL – 教育用COBOLコンパイラ（ウォータールー大学）
• WATFIV – 教育用FORTRANコンパイラシステム（ウォータールー大学）
• WATIAC – 集会言語教育システム（ウォータールー）

• ECCE –エジンバラで設計されたテキストエディタ
• Emacs – MIT AI Lab ( MIT )発祥の拡張可能なテキストエディタファミリー
• 元はviへと発展したラインエディタ（カリフォルニア大学バークレー校）
• Lapis – MITで開発された実験的なテキストエディタおよびウェブブラウザ
• nvi – BSDシステム向けのviの無料実装（カリフォルニア大学バークレー校）
• Pico – Pineメールソフトウェアプロジェクト（ワシントン州）のテキストエディタ
• TECO – MITタイムシェアリングシステムに関連するテキストエディタおよびプログラミング環境（MIT）
• vi – BSD Unix向けに開発された画面指向のテキストエディタ（カリフォルニア大学バークレー校）

• Alluxio – 仮想分散ファイルシステム（当初はTachyonという名称だった）（カリフォルニア大学バークレー校）
• Apache Flink – Stratosphereプロジェクト（ベルリン工科大学）発祥のストリーム処理フレームワーク
• Apache Mesos – クラスタリソース管理フレームワーク（カリフォルニア大学バークレー校）
• Apache Spark – データ分析およびクラスタコンピューティングエンジン（カリフォルニア大学バークレー校）
• Berkeley DB – 組み込み型キーバリューデータベースライブラリ（カリフォルニア大学バークレー校）
• C-Store – 列指向型データベース管理システム（ブラウン大学、ブランダイス大学、MIT、マサチューセッツ大学ボストン校）
• Ceph – 分散型オブジェクト、ブロック、ファイルストレージプラットフォーム（カリフォルニア大学サンタクルーズ校）
• Chord – ピアツーピア分散ハッシュテーブルプロトコル（MITライセンス）
• Dataverse – 研究データリポジトリソフトウェア（ハーバード大学）
• Ingres – リレーショナルデータベースシステム（カリフォルニア大学バークレー校）
• InterMezzo – Codaプロジェクト（カーネギーメロン大学）から始まった分散ファイルシステム
• Mimer SQL – 研究プロジェクトとして始まったリレーショナルデータベースシステム（ウプサラ大学）
• PostgreSQL – オブジェクトリレーショナルデータベースシステム（UCバークレー）^{[ 4 ]}
• Transbase –ミュンヘン工科大学発祥のリレーショナルデータベース管理システム

• 3D Slicer – 医用画像解析および科学的可視化ソフトウェア（MITおよびブリガム・アンド・ウィメンズ病院）
• BumpTop – 3Dデスクトップ環境（トロント）
• Coot – 分子グラフィックスモデル構築ソフトウェア（ヨーク大学）
• FITS Liberator – カリフォルニア工科大学/IPAC（カリフォルニア工科大学）と共同開発された天文FITS画像処理ソフトウェア
• GIMP – ラスタグラフィックエディタは、カリフォルニア大学バークレー校の学生プロジェクトとして始まりました（カリフォルニア大学バークレー校）
• Jmol –ノートルダム大学で開発された分子可視化ソフトウェア
• Matplotlib – シカゴ大学の研究から生まれたグラフ作成およびデータ可視化ライブラリ（シカゴ）
• Montage – 天体画像モザイク作成ソフトウェアツールキット（カリフォルニア工科大学）
• Processing – クリエイティブコーディング言語と環境（MIT）
• Sketchpad – 先駆的なインタラクティブコンピュータグラフィックスプログラム（MIT）
• UCSF Chimera – 分子可視化・解析ソフトウェア（UCSF）
• ビジュアル分子ダイナミクス– 分子可視化ソフトウェア（イリノイ州）
• VPython – Pythonベースの3D可視化環境（カーネギーメロン大学）

• PLATO – コンピュータ支援教育システム（イリノイ州）
• VisiCalc –ダン・ブリックリンとボブ・フランクストン（MITおよびハーバード大学）によって作成された初期の表計算ソフト。

• Rogue – ダンジョン探索型ビデオゲーム（カリフォルニア大学サンタクルーズ校およびカリフォルニア大学バークレー校）
• Spacewar! – 初期のデジタルコンピュータゲーム（MIT）
• Tux Racer – グラフィックプロジェクト（ウォータールー）として始まったオープンソースのレーシングゲーム
• Zork – MITで開発されたテキストアドベンチャーゲーム（MIT）

• DSpace – デジタルリポジトリソフトウェア（MITライセンス）
• ILIAS – オープンソースの学習管理システム（ケルン）
• ナレッジフォーラム– コンピュータ支援型協調学習ソフトウェア（トロント）
• MIT App Inventor – Androidアプリケーション向けビジュアルプログラミング環境（MIT）
• Open Journal Systems – 学術誌管理・出版ソフトウェア（ブリティッシュコロンビア大学およびサイモンフレーザー大学）
• pdfTeX – PDFを直接出力するためのTeX拡張機能（マサリク）
• Sakai – 大学コンソーシアム（ミシガン大学、インディアナ大学、MIT、スタンフォード大学）によって開発された学習管理システム。
• Scribe – 博士課程の研究プロジェクトとして開発された文書作成システム（カーネギーメロン大学）
• Zotero – 文献管理ソフトウェア（ジョージ・メイソン大学）

• ACL2 – 定理証明器およびプログラミング言語（テキサス大学）
• Agda – 依存型プログラミング言語および証明支援システム（チャルマース工科大学）
• Alloy – ソフトウェア仕様言語およびアナライザ（MIT）
• ボイヤー・ムーア定理証明器– 自動定理証明器（テキサス）
• FDR – CSP改良チェッカー（オックスフォード大学）
• HOL – 定理証明システム（ケンブリッジ大学）
• ISP形式検証ツール– MPIプログラム用の形式検証ツール（ユタ州）
• Isabelle – ケンブリッジ大学とミュンヘン工科大学で開発された定理証明器（ケンブリッジ大学とミュンヘン工科大学）
• KeY – Javaプログラムのための形式検証ツール（カールスルーエ工科大学、ダルムシュタット工科大学、チャルマース工科大学）
• 計算可能な関数のための論理– スタンフォード大学とエジンバラ大学で開発された定理証明器 (スタンフォード大学とエジンバラ大学)
• Mizar – 証明支援システムおよび形式数学システム（ビャウィストク、アルバータ、信州）
• Murφ – 明示的状態モデルチェッカー（スタンフォード大学）
• Nuprl – 証明開発システム（コーネル大学）
• PRISM – 確率モデルチェッカー（バーミンガム大学およびオックスフォード大学）
• Rocq – proof assistant formerly known as Coq (INRIA, École Polytechnique, Paris-Sud, and others)
• Rodin tool – formal modelling tool for Event-B (Newcastle and other project partners)
• Twelf – logical framework and theorem-proving environment (Carnegie Mellon)
• UPPAAL – model checker for real-time systems (Uppsala and Aalborg)

• Generic Mapping Tools – map-generation and geoscience data-processing tools (Columbia and Hawaii)^[5]
• GeoDa – spatial data analysis and geovisualization software (Illinois and Chicago)
• GPlates – plate-tectonics visualization software (Sydney and Caltech)
• MapServer – web mapping application development environment (Minnesota)
• SAGA GIS – geoscientific GIS software (Göttingen and Hamburg)
• TerrSet – GIS and remote sensing software developed by Clark Labs (Clark)
• Whitebox Geospatial Analysis Tools – GIS and remote sensing software (Guelph)

• Alpine – email client developed at the (Washington)
• Archie – early Internet search engine (McGill)
• BIND – DNS server software originally designed at UC Berkeley
• CCSO Nameserver – early Internet directory service (Illinois)
• CU-SeeMe – early Internet videoconferencing client (Cornell)
• Cyrus IMAP server – email server software (Carnegie Mellon)
• Eudora – email client developed at the Illinois
• Google Search – search engine originating from the NSF-supported BackRub research project (Stanford)^[6]
• Gopher – Internet document retrieval protocol and software system (Minnesota)
• Harvest project – web cache and resource-discovery project (Colorado Boulder)
• Hesiod – network name service (MIT)
• Internet Relay Chat – text-based chat system (Oulu)
• Jitsi – 学生プロジェクト（ストラスブール）から生まれたオープンソースのビデオ会議プロジェクト
• Kerberos – ネットワーク認証プロトコル（MITライセンス）
• Kermit – ファイル転送プロトコルおよび通信ソフトウェア（コロンビア大学）
• Lycos – 初期のウェブ検索エンジン（カーネギーメロン大学）
• Lynx – テキストベースのウェブブラウザ（カンザス州）
• Mosaicウェブブラウザ– 初期のグラフィカルウェブブラウザ（イリノイ州）
• NCSA HTTPd – 初期ウェブサーバー（イリノイ州）
• NCSA Telnet – Telnetの実装（イリノイ州）
• Pine – テキストベースのメールおよびニュースクライアント（ワシントン）
• Psiphon – 検閲回避ソフトウェア（トロント）
• Squid – Harvestプロジェクト（コロラド大学ボルダー校とカリフォルニア大学サンディエゴ校）から派生したキャッシングプロキシ
• Talkomatic – 初期マルチユーザーオンラインチャットシステム（イリノイ州）
• TkWWW – 初期のウェブブラウザおよびHTMLエディタ（MITライセンス）
• UW IMAP – 参考となるIMAPサーバー実装（ワシントン州）
• ViolaWWW – 初期のグラフィカルWebブラウザ（カリフォルニア大学バークレー校）
• WebCT – ウェブベースのコース管理システム（UBC）
• Zephyr – インスタントメッセージングプロトコルおよびアプリケーションスイート（MIT）
• ZMailer – 郵便物転送代行業者（トロント）

• Accentカーネル– オペレーティングシステムカーネルであり、Machの前身（カーネギーメロン大学）
• Alephカーネル– ロチェスターのインテリジェントゲートウェイプロジェクト向け初期オペレーティングシステムカーネル（ロチェスター）
• Amoeba – 分散オペレーティング システム (アムステルダム自由大学)
• Andrewファイルシステム– 分散ファイルシステム（カーネギーメロン大学）
• アンドリュー・プロジェクト– 分散コンピューティング環境（カーネギーメロン大学）
• Barrelfish – オープンソースの分散型オペレーティングシステム（チューリッヒ工科大学およびマイクロソフトリサーチ）
• バークレー・ソフトウェア・ディストリビューション– Unixオペレーティングシステムのディストリビューション（カリフォルニア大学バークレー校）
• Berkeleyソケット– BSD（カリフォルニア大学バークレー校）のネットワークAPI
• Cambridge Distributed Computing System – 分散オペレーティングシステム（ケンブリッジ）
• Coda – 分散ファイルシステム（カーネギーメロン大学）
• 互換タイムシェアリングシステム– 初期のタイムシェアリングオペレーティングシステム（MIT）
• EROS – 能力ベースの研究オペレーティングシステム（ペンシルベニア大学およびジョンズ・ホプキンス大学）
• Exokernel – オペレーティングシステムカーネルアーキテクチャ（MITライセンス）
• GFS2 – ミネソタ大学（ミネソタ州）発祥の共有ディスクファイルシステム
• HelenOS – マルチサーバーマイクロカーネルオペレーティングシステムの研究（チャールズ）
• Hydra – 能力ベースのオペレーティングシステム（カーネギーメロン大学）
• 互換性のないタイムシェアリングシステム– タイムシェアリングオペレーティングシステム（MIT）
• K42 – 研究用オペレーティングシステム（トロント）
• Linuxカーネル–ヘルシンキ大学の学生によって開発されたUnixライクなオペレーティングシステムカーネル
• Mach（カーネル） – オペレーティングシステムのカーネル（カーネギーメロン大学）
• ミシガン・ターミナル・システム– メインフレームのタイムシェアリングオペレーティングシステム（ミシガン大学およびその他の大学で使用）
• MINIX – Unix 風の教育オペレーティング システム (アムステルダム自由大学)
• Multics – MITが参加して開発されたタイムシェアリングオペレーティングシステム（MIT）
• MUSIC/SP – メインフレーム向けタイムシェアリングオペレーティングシステム（マギル大学）
• Nemesis – マルチメディア向けオペレーティングシステム（ケンブリッジ大学ほか）
• ORVYLとWYLBUR – タイムシェアリング型モニターおよびテキスト編集システム（スタンフォード大学）
• RIOT – IoTデバイス向けリアルタイムオペレーティングシステム（ベルリン自由大学、INRIA、ハンブルク応用科学大学）
• Sprite – 実験的なUnixライクな分散型オペレーティングシステム（カリフォルニア大学バークレー校）
• マルチプログラミングシステム– 初期マルチプログラミングオペレーティングシステム（アイントホーフェン）
• Thoth – リアルタイムメッセージパッシングオペレーティングシステム（ウォータールー）
• TRIPOS – ポータブルオペレーティングシステム（ケンブリッジ大学）
• TRIX – Unixライクなオペレーティングシステム（MITライセンス）
• TUNIS – Unix互換オペレーティングシステム（トロント）
• V – マイクロカーネル分散オペレーティングシステム（スタンフォード大学）
• X Window System – ビットマップディスプレイ用のウィンドウシステム（MITライセンス）
• Xinu – 教育用オペレーティング システム (パーデュー)
• Xv6 – Unixバージョン6（MITライセンス）をベースにした教育用オペレーティングシステム

• BAITSSS – 蒸発散量およびリモートセンシングモデル（アイダホ州）
• Gazebo – ロボットシミュレーションプラットフォーム（USC）
• NEURON – ニューロンシミュレーション環境（デューク大学およびイェール大学）
• ns – 離散イベントネットワークシミュレータ（カリフォルニア大学バークレー校）
• OpenModelica – Modelicaベースのモデリングおよびシミュレーション環境（リンシェーピング）
• OpenRAVE – ロボット動作計画環境（カーネギーメロン大学）
• OpenSees – 地震工学シミュレーションフレームワーク（カリフォルニア大学バークレー校）
• プレイヤー/ステージ– ロボット制御およびシミュレーションツール（USC）
• ロボットオペレーティングシステム– スタンフォード大学発祥のロボット工学ミドルウェアシステム（スタンフォード大学）
• SU2 – 計算流体力学および設計ソフトウェア（スタンフォード大学）
• Webots – ロボットシミュレーションソフトウェア（EPFL）

• CHARMM – 分子シミュレーションプログラム（ハーバード大学）
• CoCoA – コンピュータ代数システム（ジェノバ）
• 西側で最速のフーリエ変換- 高速フーリエ変換ソフトウェアライブラリ ( MIT )
• Folding@home – 分散型タンパク質フォールディング計算プロジェクト（スタンフォード大学）
• GAP – 計算離散代数システム（アーヘンおよびセントアンドリュース大学）
• GROMACS – 分子動力学パッケージ（フローニンゲン）
• GNU Octave – ウィスコンシン大学マディソン校（ウィスコンシン・マディソン）に関連する数値計算ソフトウェア
• HTCondor – 高スループットコンピューティングソフトウェアフレームワーク（ウィスコンシン大学マディソン校）
• Macaulay2 – 代数幾何学と可換代数のためのコンピュータ代数システム（イリノイ大学およびコーネル大学）
• Macsyma – コンピューター代数システム ( MIT )
• Magma – コンピュータ代数システム（シドニー）
• Maple – 記号計算および数値計算環境（ウォータールー大学）
• Maxima – MITのMacsymaから派生したコンピュータ代数システム
• Meep – 有限差分時間領域シミュレーションソフトウェア（MIT）
• METAFONT – フォント記述言語およびシステム（スタンフォード大学）
• MPB – フォトニックバンド構造を計算するためのソフトウェアパッケージ（MIT）
• NAMD – 分子動力学ソフトウェア（イリノイ大学）
• NUPACK – 核酸解析および設計ソフトウェアスイート（カリフォルニア工科大学）
• PARI/GP – 数論のためのコンピュータ代数システム（ボルドー）
• Rosetta – 高分子モデリングソフトウェアスイート（ワシントン）
• SageMath – 数学ソフトウェアシステム（ワシントン）
• SETI@home – 無線信号解析のためのボランティアコンピューティングプロジェクト（カリフォルニア大学バークレー校）
• SMP – コンピュータ代数システムであり、Mathematicaの前身（カリフォルニア工科大学）
• TeX – デジタル組版システム（スタンフォード大学）

• コンピュータサイエンス関連の受賞歴一覧
• ベル研究所の発見と開発の一覧
• 無料およびオープンソースのソフトウェアパッケージ一覧
• 研究開発ラボ一覧
• 大学の人工知能研究センター一覧
• カーネギーメロン大学のソフトウェア
• マサチューセッツ工科大学のソフトウェア
• トロント大学のソフトウェア
• ミネソタ大学のソフトウェア
• バークレー・ソフトウェア・ディストリビューション
• RISC-V –カリフォルニア大学バークレー校で開発されたオープンソースのハードウェアアーキテクチャ
• lowRISC –ケンブリッジ大学からスピンアウトしたオープンソースのシリコン非営利団体
• OpenRISC –スロベニアの大学生によって開始されたオープンソースのプロセッサアーキテクチャ^{[ 7 ]}
• OpenROADプロジェクト–カリフォルニア大学サンディエゴ校が主導するオープンソースの電子設計自動化プロジェクト