^^

'haskell' section (85/1)

/main/agda/agda-bin

commandline interface to Agda

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a command-line program for type-checking and compiling Agda programs. The program can also generate hyperlinked, highlighted HTML files from Agda sources.


dependently typed functional programming language

Agda is a dependently typed functional programming language: It has inductive families, which are like Haskell's GADTs, but they can be indexed by values and not just types. It also has parameterised modules, mixfix operators, Unicode characters, and an interactive Emacs interface (the type checker can assist in the development of your code). . Agda is also a proof assistant: It is an interactive system for writing and checking proofs. Agda is based on intuitionistic type theory, a foundational system for constructive mathematics developed by the Swedish logician Per Martin-Löf. It has many similarities with other proof assistants based on dependent types, such as Coq, Epigram and NuPRL. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

/main/alex/alex

lexical analyser generator for Haskell

Alex is a tool for generating lexical analysers in Haskell, given a description of the tokens to be recognised in the form of regular expressions. It is similar to the tool lex or flex for C/C++.

/main/arbtt/arbtt

Automatic Rule-Based Time Tracker

The program arbtt, the automatic rule-based time tracker, allows you to investigate how you spend your time, without having to manually specify what you are doing. arbtt records what windows are open and active, and provides you with a powerful rule-based language to afterwards categorize your work.

/main/c2hs/c2hs

C->Haskell Interface Generator

C->Haskell is an interface generator that simplifies the development of Haskell bindings to C libraries. The tool processes existing C header files that determine data layout and function signatures on the C side in conjunction with Haskell modules that specify Haskell-side type signatures and marshaling details. Hooks embedded in the Haskell code signal access to C structures and functions -- they are expanded by the interfacing tool in dependence on information from the corresponding C header file. . Haskell 98 is "the" standard lazy functional programming language. More info plus the language definition is at http://www.haskell.org/. . This package contains the c2hs parser.


cpphs-library for haskell

This package provides some of the features of cpphs as a haskell library.


cpphs-library for haskell; profiling libraries

This package provides some of the features of cpphs as a haskell library.

/main/cpphs/cpphs

Simplified cpp-a-like preprocessor for Haskell

The C pre-processor has been widely used in Haskell source code. It enables conditional compilation for different compilers, different versions of the same compiler, and different OS platforms. It is also occasionally used for its macro language, which can enable certain forms of platform-specific detail-filling, such as the tedious boilerplate generation of instance definitions and FFI declarations. . However, gcc's cpp has recently been evolving to more strictly adhere to the C standard. This has had the effect of making it increasingly incompatible with Haskell's syntax. This is a cpp-a-like designed with Haskell's syntax in mind.


Functions for manipulating Curry programs; profiling libraries

This package serves as a foundation for Curry compilers. It defines the intermediate language formats FlatCurry and ExtendedFlat. Additionally, it provides functionality for the smooth integration of compiler frontends and backends. . This package provides a library for the Haskell programming language, compiled for profiling. See http:///www.haskell.org/ for more information on Haskell.


Functions for manipulating Curry programs

This package serves as a foundation for Curry compilers. It defines the intermediate language formats FlatCurry and ExtendedFlat. Additionally, it provides functionality for the smooth integration of compiler frontends and backends. . This package provides a library for the Haskell programming language. See http:///www.haskell.org/ for more information on Haskell.


Lexer, parser, type checker, etc. for Curry

The Curry Frontend consists of the executable program "curry-frontend". It is used by various backends to compile programs written in the functional logic language Curry to various intermediate representations. . For further information, please check http://curry-language.org . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.


Lexer, parser, type checker, etc. for Curry; profiling libraries

The Curry Frontend consists of the executable program "curry-frontend". It is used by various backends to compile programs written in the functional logic language Curry to various intermediate representations. . For further information, please check http://curry-language.org . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


distributed, interactive, smart revision control system; profiling libraries

This library provides an interface to the Darcs distributed revision control system. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


distributed, interactive, smart revision control system

This library provides an interface to the Darcs distributed revision control system. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.

/main/djinn/djinn

generate Haskell expressions from types

Djinn uses a theorem prover for intuitionistic propositional logic to generate a Haskell expression when given a type. . Given a type the program will deduce an expression of this type, if one exists. If the Djinn says the type is not realizable it is because there is no (total) expression of the given type.


FTP Client and Server Library for Haskell

ftphs provides a Haskell library to implement a FTP client and a FTP server. . ftphs has a number of features: . * Easy to use operation * Full support of text and binary transfers * Optional lazy interaction * Server can serve up a real or a virtual filesystem tree * Standards compliant . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.


FTP Client and Server Library for Haskell; profiling libraries

ftphs provides a Haskell library to implement a FTP client and a FTP server. . ftphs has a number of features: . * Easy to use operation * Full support of text and binary transfers * Optional lazy interaction * Server can serve up a real or a virtual filesystem tree * Standards compliant . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


Documentation tool for annotated Haskell source code

Haddock is a tool for automatically generating documentation from annotated Haskell source code. It is primary intended for documenting libraries, but it should be useful for any kind of Haskell code. . Haddock lets you write documentation annotations next to the definitions of functions and types in the source code, in a syntax that is easy on the eye when writing the source code (no heavyweight mark-up). The documentation generated by Haddock is fully hyperlinked: click on a type name in a type signature to go straight to the definition, and documentation, for that type. . Haddock can generate documentation in multiple formats; currently HTML is implemented, and there is partial support for generating DocBook. . This package contains Haddock version 2.10.0.

/main/ghc/ghc

The Glasgow Haskell Compilation system

The Glorious Glasgow Haskell Compilation system (GHC) is a compiler for Haskell. . Haskell is "the" standard lazy functional programming language. The language definition and additional documentation can be found in the `haskell-doc' package. Alternatively, there is an online version at http://haskell.org/onlinereport/.


Dynamic libraries for the Glasgow Haskell Compilation system

The Glorious Glasgow Haskell Compilation system (GHC) is a compiler for Haskell. . Haskell is "the" standard lazy functional programming language. The language definition and additional documentation can be found in the `haskell-doc' package. Alternatively, there is an online version at http://haskell.org/onlinereport/. . This package has dynamically linkable, shared versions of the libraries included with GHC. Currently, they are available only on i386 and amd64 architectures.

/main/ghc/ghc-prof

Profiling libraries for the Glasgow Haskell Compilation system

The Glorious Glasgow Haskell Compilation system (GHC) is a compiler for Haskell. . Haskell is "the" standard lazy functional programming language. The language definition and additional documentation can be found in the `haskell-doc' package. Alternatively, there is an online version at http://haskell.org/onlinereport/. . This package contains additional profiling libraries. They are only needed, if you want to take a closer look on where exactly your program burns CPU cycles.


Happy Haskell programming

This package provides the executables ghc-mod and ghc-modi. The GNU Emacs integration code is provided by a separate package, namely ghc-mod-el.


Happy Haskell programming with Emacs

This package proviceds the GNU Emacs integration code for ghc-mod. . Note: This package does NOT support xemacs*. Only for emacs*.


GHC testsuite results

This package is just a container for the results of the GHC testsuite. There is usually no point in installing this package.


Wiki engine backed by a git or darcs filestore - Data files

Gitit is a wiki backed by a git or darcs filestore. Pages and uploaded files can be modified either directly via the VCS's command-line tools or through the wiki's web interface. Pandoc is used for markup processing, so pages may be written in (extended) markdown, reStructuredText, LaTeX, HTML, or literate Haskell, and exported in ten different formats, including LaTeX, ConTeXt, DocBook, RTF, OpenOffice ODT, and MediaWiki markup. . Other features include * plugins: dynamically loaded page transformations written in Haskell; * categories; * support for Unicode; * TeX math using texmath; * syntax highlighting of source code files and code snippets using highlighting-kate; * wiki pages can be viewed as slide shows; * caching; * Atom feeds (site-wide and per-page); * a library, Network.Gitit, that makes it simple to include a gitit wiki in any happstack application; * pages can be written directly in literate Haskell. . This package contains auxiliary data files to be used with gitit or libghc-gitit-dev.


Wiki engine backed by a git or darcs filestore; profiling libraries

Gitit is a wiki backed by a git or darcs filestore. Pages and uploaded files can be modified either directly via the VCS's command-line tools or through the wiki's web interface. Pandoc is used for markup processing, so pages may be written in (extended) markdown, reStructuredText, LaTeX, HTML, or literate Haskell, and exported in ten different formats, including LaTeX, ConTeXt, DocBook, RTF, OpenOffice ODT, and MediaWiki markup. . Other features include * plugins: dynamically loaded page transformations written in Haskell; * categories; * support for Unicode; * TeX math using texmath; * syntax highlighting of source code files and code snippets using highlighting-kate; * wiki pages can be viewed as slide shows; * caching; * Atom feeds (site-wide and per-page); * a library, Network.Gitit, that makes it simple to include a gitit wiki in any happstack application; * pages can be written directly in literate Haskell. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


Wiki engine backed by a git or darcs filestore

Gitit is a wiki backed by a git or darcs filestore. Pages and uploaded files can be modified either directly via the VCS's command-line tools or through the wiki's web interface. Pandoc is used for markup processing, so pages may be written in (extended) markdown, reStructuredText, LaTeX, HTML, or literate Haskell, and exported in ten different formats, including LaTeX, ConTeXt, DocBook, RTF, OpenOffice ODT, and MediaWiki markup. . Other features include * plugins: dynamically loaded page transformations written in Haskell; * categories; * support for Unicode; * TeX math using texmath; * syntax highlighting of source code files and code snippets using highlighting-kate; * wiki pages can be viewed as slide shows; * caching; * Atom feeds (site-wide and per-page); * a library, Network.Gitit, that makes it simple to include a gitit wiki in any happstack application; * pages can be written directly in literate Haskell. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.


gtk2hs-buildtools libraries

These are modules used by programs build with gtk2hs-buildtools. . This package provides a library for the Haskell programming language. See http://www.haskell.org/ for more information on Haskell.


gtk2hs-buildtools libraries; profiling libraries

These are modules used by programs build with gtk2hs-buildtools. . This package provides a library for the Haskell programming language, compiled for profiling. See http://www.haskell.org/ for more information on Haskell.


Tools to build the Gtk2Hs suite of User Interface libraries

This package provides a set of helper programs necessary to build the Gtk2Hs suite of libraries. These tools include a modified c2hs binding tool that is used to generate FFI declarations, a tool to build a type hierarchy that mirrors the C type hierarchy of GObjects found in glib, and a generator for signal declarations that are used to call back from C to Haskell. These tools are not needed to actually run Gtk2Hs programs.