agda-bin — интерфейс командной строки для Agda

Интерфейс командной строки для Agda.

onstartup.ru

arbtt — Автоматический отслежыватель времени на основе правил

Автоматический отслежыватель времени на основе правил.

onstartup.ru

cabal-install — интерфейс командной строки для Cabal и Hackage

Интерфейс командной строки для Cabal и Hackage.

onstartup.ru

djinn — генерировать выражения Haskell из типов

Генерировать выражения Haskell из типов.

onstartup.ru

ghc — Система компиляции Glasgow Haskell

ghc

Система компиляции Glasgow Haskell.

onstartup.ru

ghc-mod — Программирование Happy Haskell

Программирование Happy Haskell.

onstartup.ru

ghc-mod-el — Программирование Happy Haskell с помощью Emacs

Программирование Happy Haskell с помощью Emacs.

onstartup.ru

ghc-prof — Профилирующие библиотеки для системы компиляции Glasgow Haskell

Профилирующие библиотеки для системы компиляции Glasgow Haskell.

onstartup.ru

ghc-testsuite — Результаты тестирования GHC

Результаты тестирования GHC.

onstartup.ru

gitit — Вики-движок, поддерживаемый файловым хранилищем git или darcs

Вики-движок, поддерживаемый файловым хранилищем git или darcs.

onstartup.ru