lhs2TeX is a literate programming tool. It is implemented as a preprocessor that generates LaTeX code from literate Haskell sources. It allows for and provides different styles for the formatting of code. You can easily select between representing operators with mathematical symbols or with ASCII approximations, as well as deciding whether or not to highlight keywords. The formatting of your own defined tokens may be adjusted. Preprocessor-style conditionals are supported, and Haskell can be used to generate parts of the document.
fid-graphics is a simplistic toolkit for the
Frigand Imperial Desktop environment. It is
probably the easiest toolkit to write a display
engine for, but it does not support any widgets.
Haskell Toolkit is a toolkit for GUI programming and interfaces to
relational databases (ODBC, MySQL, and PostgreSQL).
"Wat nu" (Low German for "what now") is a command-line tool for GTD ("getting things done"). It is simplistic, tailored to the author's personal taste, and a work in progress.
相关项目 |
hask2e takes a Haskell type as input and
translates it to an English sentence describing
the type. Indentation is used to make the
resulting sentence easier to read and less
ambiguous.
Asynchronous DNS Resolver for Haskell is a library that provides an asynchronous DNS resolver on top of GNU ADNS. Not all options are supported, but A, MX, and PTR lookups work nicely. There is also support for retrieving generic RR types, CNAMEs, and for NSEC zone walking. The library can be expected to work with fine ADNS 1.4 or later. It might also work with version ADNS 1.3, but that hasn’t been tested.
LDAP for Haskell provides an interface to the C
LDAP API for Haskell programmers. With it, you can
search and modify LDAP directories. The Haskell
binding features automatic memory management and
proper handling for binary data, and handles all
marshalling into and out of C data structures for
you automatically.
PXSL ("pixel") is a convenient shorthand for writing markup-heavy XML documents. It provides XML authors and programmers with a simple, concise syntax that they can use to create XML documents. For more advanced users, it offers customizable shortcuts and sophisticated refactoring tools like functional macros that can markedly reduce the size and complexity of markup-dense XML documents.
Riot is a tool for keeping (textual) information
organised. It is a todo list and note manager, and a
manager for whatever information one might collect.
It has an interface resembling those of slrn and mutt
and all text editing is done with an external editor,
making it a nice browser for collections of text.
git-annex allows managing files with git without checking the file contents into git. While that may seem paradoxical, it is useful when dealing with files larger than git can currently easily handle, whether due to limitations in memory, checksumming time, or disk space.
Happy is a parser generator system for Haskell, similar to the tool 'yacc' for C. Like yacc, it takes a file containing an annotated BNF specification of a grammar and produces a Haskell module containing a parser for the grammar. It is flexible: you can have several Happy parsers in the same program, and several entry points to a single grammar. It can work in conjunction with a lexical analyser supplied by the user (either hand-written or generated by another program), or it can parse a stream of characters directly (but this isn't practical in most cases).
linkchk is a network link ping monitor. It supports both IPv4 and IPv6. It works by repeatedly pinging a named host or the default gateway of a given interface. When the link is working the ping time is shown in a small GTK window or tty, otherwise the link status is shown. It is particularly useful for monitoring IP tunnels or dialup links.
Streams is an I/O library designed to eventually
replace the current I/O facilities based on using
Handles. The main advantage is its strong modular
design using typeclasses. It consists of small
independent modules, each implementing one type of
stream (file, memory buffer, pipe, etc.) or one
part of common stream functionality (buffering,
char encoding, locking, etc.). 3rd-party librarie
can easily add new stream types and new common
functionality. Other benefits of the new library
include support for streams functioning in any
monad, Hugs and GHC compatibility, high speed, and
an easy migration path from the existing I/O
library. It is heavily based on the HVIO module
written by John Goerzen.
nhc98 is a small and highly portable compiler for the Haskell 98 language. It has been extended with the standard FFI and hierarchical module namespaces, features extensive heap profiling capabilities, and generally produces small code which runs using small amounts of heap.
Erasm++, the Embedded Runtime Assembler in C++, is an Embedded Domain Specific Language (EDSL) in C++ for runtime code generation on Intel 64/IA-32 architectures. It supports complete compile-time syntax checking, and its code generators run very quickly because necessary data are computed statically. Also included are GenericDsm, a fast and generic instruction decoder library which supports "pattern matching" against the decoded instructions, and MetaPrelude, a Haskell-like lazy metaprogramming library that helps implementing EDSLs in C++.
Download Ranking | ||
|---|---|---|
| 更多 >> |
