Язык программирования с верификатором правильности программы.
onstartup.ru
Рубрика: Разработка
Среды разработки, утилиты, компиляторы, библиотеки.
Интерфейс телефонии DAHDI - исходный код для драйвера ядра.
onstartup.ru
Управляйте форматом Dalvik eXchange и создавайте файлы dex.
onstartup.ru
Распределенная, интерактивная, интеллектуальная система контроля версий.
onstartup.ru
Дополнение Darcs, которое отправляет почту о новых нажатых изменениях.
onstartup.ru
Библиотека шаблонов C++ для реализации Double-Array.
onstartup.ru
Подделка системной даты.
onstartup.ru
Простая межпроцессная система обмена сообщениями (демон и утилиты).
onstartup.ru
Отладчик отображения данных, графический интерфейс отладчика.
onstartup.ru