agda-bin
интерфейс командной строки для Agda
Рубрика: Haskell
Язык программирования общего назначения Haskell и всё что с ним связано.
arbtt
Автоматический отслежыватель времени на основе правил
cabal-install
интерфейс командной строки для Cabal и Hackage
djinn
генерировать выражения Haskell из типов
ghc
Система компиляции Glasgow Haskell
ghc-mod
Программирование Happy Haskell
ghc-mod-el
Программирование Happy Haskell с помощью Emacs
ghc-prof
Профилирующие библиотеки для системы компиляции Glasgow Haskell
ghc-testsuite
Результаты тестирования GHC
gitit
Вики-движок, поддерживаемый файловым хранилищем git или darcs
glirc
консольный IRC-клиент
gtk2hs-buildtools
Инструменты для создания набора библиотек пользовательского интерфейса Gtk2Hs
haskell-devscripts-minimal
Инструменты, помогающие разработчикам Debian создавать пакеты Haskell
haskell-platform
Стандартные библиотеки и инструменты Haskell
haskell-platform-prof
Стандартные библиотеки и инструменты Haskell; профилирующие библиотеки
haskell-relational-record
метапакет реляционной записи