Интерфейс командной строки для Agda.
onstartup.ru
Рубрика: Haskell
Язык программирования общего назначения Haskell и всё что с ним связано.
Автоматический отслежыватель времени на основе правил.
onstartup.ru
Интерфейс командной строки для Cabal и Hackage.
onstartup.ru
Генерировать выражения Haskell из типов.
onstartup.ru
Система компиляции Glasgow Haskell.
onstartup.ru
Программирование Happy Haskell.
onstartup.ru
Программирование Happy Haskell с помощью Emacs.
onstartup.ru
Профилирующие библиотеки для системы компиляции Glasgow Haskell.
onstartup.ru
Результаты тестирования GHC.
onstartup.ru
Вики-движок, поддерживаемый файловым хранилищем git или darcs.
onstartup.ru
Консольный IRC-клиент.
onstartup.ru
Инструменты для создания набора библиотек пользовательского интерфейса Gtk2Hs.
onstartup.ru
Инструменты, помогающие разработчикам Debian создавать пакеты Haskell.
onstartup.ru
Стандартные библиотеки и инструменты Haskell.
onstartup.ru
Стандартные библиотеки и инструменты Haskell; профилирующие библиотеки.
onstartup.ru
Метапакет реляционной записи.
onstartup.ru
Метапакет реляционной записи.
onstartup.ru
Метапакет реляционной записи; профилирующие библиотеки.
onstartup.ru