Similar to Lean_(証明アシスタント)

• 

  Mozilla Prism

  Mozilla Prism
  
• 

  Mumble

  Mumble (software)
  
• 

  Ninja (ソフトウェア)

  Ninja (build system)
  
• 

  Nix (パッケージ管理システム)

  Nix (package manager)
  
• 

  Node.js

  Node.js
  
• 

  NoteEdit

  NoteEdit
  
• 

  Notepad++

  Notepad++
  
• 

  Ns (シミュレータ)

  Ns (simulator)
  
• 

  OGRE

  OGRE
  
• 

  Open Babel

  Open Babel
  
• 

  OpenFOAM

  OpenFOAM
  
• 

  OpenJDK

  OpenJDK
  
• 

  OpenOffice.org

  OpenOffice.org
  
• 

  PackageKit

  PackageKit
  
• 

  PCSX2

  PCSX2
  
• 

  Phonon

  Phonon (software)
  
• 

  Phusion Passenger

  Phusion Passenger
  
• 

  PLUMED

  PLUMED
  
• 

  Point Cloud Library

  Point Cloud Library
  
• 

  Poppler

  Poppler (software)
  
• 

  POV-Ray

  POV-Ray
  
• 

  PowerDNS

  PowerDNS
  
• 

  PPSSPP

  PPSSPP
  
• 

  Project64

  Project64
  
• 

  PyQt

  PyQt
  
• 

  QBittorrent

  QBittorrent
  
• 

  QGIS

  QGIS
  
• 

  Qt

  Qt (software)