MINIX (từ "mini-Unix") là một hệ điều hành máy tính tương tự Unix dựa trên kiến trúc microkernel và tuân theo chuẩn POSIX (từ phiên bản 2.0),[1][2]Phiên bản đầu của MINIX được tạo ra bởi Andrew S. Tanenbaum cho mục đích giáo dục. Bắt đầu với MINIX 3, mục tiêu chính của sự phát triển dịch chuyển từ sự giáo dục sang việc tạo ra một hệ điều hành microkernel độ tin cậy cao và tự sửa lỗi. MINIX bây giờ phát triển như là phần mềm nguồn mở.MINIX phát hành lần đầu năm 1987, với mã nguồn hoàn chỉnh của nó tạo sẵn cho các trường đại học để học tập trong khóa học và nghiên cứu. Nó trở thành phần mềm tự do mã nguồn mở từ khi nó chuyển đổi giấy phép sang BSD license tháng 4/2000.[3]