OCaml İle Yazılan Yeni Bir İşletim Sistemi: Desert Spring-Time

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

Görüşler

pismikrop
20 yıl önce

Hadi hayırlısı, mikro-kernel tabanlı bir işletim sistemi olması ama linux için böyle bir çalışma mevcut zaten: http://l4ka.org/

Neyse çeşit olmuş :)

Görüş belirtmek için giriş yapın...

İlgili Yazılar

Logo'nun 40. Yılı ve StarLogo TNG: The Next Generation

FZ
17 Ekim 2007, 1 dakika okuma süresi

40 sene önce bu günlerde Lisp dilinden türetilen LOGO dili özellikle gençlere geometri ve bilgisayar kodlama yeteneklerinin kolayca kazandırılması için tasarlanmıştı. LOGO programlama dili pek çok nesildeki çocuğun ilk bilgisayar deneyimi olmuş pek çok okulda kullanılmıştı. Slashdot ve WIRED'ın 40. yıl haberleri geçtiği günlerde MIT'deki StarLogo ekibi de StarLogo TNG: The Next Generation Beta 1'i duyurdu.

Göz hareketleri ile yazı yazmak

anonim
24 Ağustos 2002, 1 dakika okuma süresi

Ingilterede geliştirilen bir GPL projeden bahsetmek istiyorum, Dasher yazılımı göz hareketlerinizi takip ederek yazı yazmanıza olanak veriyor, demo'larını izledim gerçekten çok güzel, eylül ayı içinde 3.0 versiyonu çıkacak olan yazılımın, 1.6.8 versiyonunu ücretsiz olarak internet sitelerinden download edebilirsiniz. Adres:www.inference.phy.cam.ac.uk

Hoş Bir TGE

anonim
4 Ekim 2005, 1 dakika okuma süresi

C için pek çok geliştirme ortamı var bilinen ancak ben karşılaştığım bu hoş TGE yi (Tümleşik Geliştirme Ortamı) paylaşmak istedim. Adı Code::Blocks. GPL 2.0 lisanslı bu TGE pek çok gelişmiş özelliği içinde barındırıyor. Code::Blocks GNU/Linux ve Windows ortamlarında çalışabiliyor. Ayrıntılı bilgi için buraya bakabilirsiniz.

Pavuk???

m1a2
9 Nisan 2002, 1 dakika okuma süresi

Hemen söyleyelim, bu `Pavuk` ne oluyor? Pavuk özellikle son haliyle `wget`e ciddi bir rakip oluyor... Malum, `wget` Linux`taki temel araçlardan birisidir. Bendeniz de lynx, wget vb. kod tabanı iyice oturmuş, mature programları değiştirme taraftarı değilimdir. Alışkanlıklar bu tip temel araçların değiştirilmesine de çoğunlukla engeldir. 1-2 yıl önce ismini duyduğum fakat `wget`e duyduğum saygıdan ötürü incelemeye kalkışmadığım :)`pavuk`u bir süredir deniyorum. Pek te memnun kaldım. Siz de bir deneyin isterseniz. Nereden mi? İşte şuradan.

PostgreSQL 7.4.2 duyuruldu.

madness
14 Mart 2004, 1 dakika okuma süresi

7_4_STABLE üzerinde yapılan çalışmalar sonucunda, PostgreSQL 7.4.2 duyuruldu. 7.4.1'den sonra yapılan değişiklikler içinde, bizim için en dikkat çekici olanı:

* Partial fix for Turkish-locale issues

Türkçe sorunu için uzun süreden beri yazışmamız bir miktar sonuç verdi. Çabaları için Nicolai Tufar'a ve Enver Altın'a teşekkürler.