Desert Spring-Time,
OCaml dili ile geliştirilen açık kodlu bir işletim sistemidir.
Projenin amacı BeOS gibi yenilikçi işletim sisteminde gündeme gelmiş modern fikirleri yeniden ele almak ve bunları ileri noktalara taşımak, böylece ortaya stabil ve güçlü bir işletim sistemi koymaktır.
Bu işletim sistemi mikro-çekirdek mimarisini ve asenkron mesajlaşmayı kullanmaktadır. İşletim sistemi şu anda x86 uyumlu işlemciler üzerinde çalışmaktadır.
Editörün Notu: OCaml ile geliştirilmiş popüler bir uygulama:
MLDonkey