HelenOS
HelenOSの開発はコミュニティーにより行われている。開発者コミュニティーは、少人数のコアチームと、世界各地の多数のコントリビューターからなっている。コアチームは、プラハ・カレル大学数物学部の教員や学生、卒業生が主になっている。 2011年と2012年、2014年には、HelenOSはGoogle Summer of Codeに指導組織として参加した。 2013年には、Space 2013プログラムのESA Summer of Codeに指導組織として参加した。
HelenOSのソースコードは、BSDライセンスで公開されている。いくつかのサードパーティーのコンポーネントは GNU General Public Licenseが適用されている。 両方のライセンスはフリーソフトウェアライセンスであり、これによりHelenOSはフリーソフトウェアとなっている。
HelenOSはプラハ・カレル大学の分散ディペンダブルシステム部門によるソフトウェアコンポーネントと検証についての研究に利用されている。 それ以外にも、学生によるソフトウェアプロジェクトや修士論文のためのプラットフォームとしても利用されている。