Einfache Projektliste Software-Karte

94 Projekte im Ergebnis
Letztes Update: 2007-02-28 20:52


nudruff is a tool that chooses files almost optimally (2-approximation) with a best fit algorithm for equal-sized
archives (BinPacking).

(Machine Translation)
Letztes Update: 2010-07-11 13:12


"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.

(Machine Translation)
Natürliche Sprache: English
Betriebssystem: BSD, Linux
Programmiersprache: Haskell
Themen: Freecode.com
Benutzerschnittstelle: Command-line
Letztes Update: 2013-12-09 12:30


Pandoc は別の 1 つのマークアップ形式やこのライブラリを使用するコマンド ライン ツールから変換するための Haskell ライブラリです。それは値下げ (のサブセット) を読むことができます HTML、reStructuredText、ラテックス、!DocBook, !MediaWiki マークアップ、ハドック マークアップ、OPML、繊維と書くことができます markdown、reStructuredText、HTML、ラテックス、コンテキスト、Docbook、OPML、!OpenDocument、ODT、単語 docx、RTF、!MediaWiki、繊維、groff man ページ、プレーン テキスト、Org モード Emacs、!AsciiDoc、EPUB (v2 と v3)、!FictionBook2、および HTML/javascript (S5、使用、Slideous、DZSlides、スライド ショーのいくつかの種類、reveal.js)。Pandoc 脚注、埋め込みラテックス、定義リスト、テーブル、およびその他の機能を持つ標準記法の構文を拡張します。

(Machine Translation)
Letztes Update: 2010-04-21 12:25

Lsl Plus

Lsl プラスは、編集/コンパイル/テスト環境のため、リンデン スクリプト言語 (LSL)、Eclipse プラグインとして実装されています。

(Machine Translation)
Letztes Update: 2005-10-26 11:33

Fid Emacs

Fid Emacs is an Emacs-like text editor integrated
with the Frigand Imperial Desktop. It uses Fid's
mechanisms for buffers, windows, frames,
customization, and extensibility.

(Machine Translation)
Letztes Update: 2005-10-26 11:32


fid-listbuffer is a buffer implementation for the
Frigand Imperial Desktop. Fid buffers are
typically mutable monoids over particular unit
types; the exact unit type and the equations
satisfied by the monoid determine the particular
buffer type. This package defines a parametric
buffer type for the simple case of a free monoid
over a unit type that is to be exposed to the
programmer, where 'replaceableRegion' additionally
is equivalent to (\ r d -> return True).

(Machine Translation)
Letztes Update: 2007-12-26 14:19


HaskellDB is a combinator library for
expressing queries and other operations on
relational databases in a type safe and
declarative way. All the queries and
operations are completely expressed within
Haskell, and no embedded (SQL) commands
are required.

(Machine Translation)
Letztes Update: 2008-04-11 01:11


HSH is designed to let you mix and match shell
expressions with Haskell programs. With HSH, it is
possible to easily run shell commands, capture
their output or provide their input, and pipe them
to or from other shell commands and arbitrary
Haskell functions at will.

(Machine Translation)
Letztes Update: 2010-06-04 22:09

Haskell Parser Library for Internet Messages

The hsemail library contains a collection of
Parsec parsers for the grammar defined in RFC2821 and RFC2822. There also is a generic FSM for the SMTP protocol, and several useful utility functions that simplify the manipulation of email or news messages in Haskell.

(Machine Translation)
Letztes Update: 2011-11-05 00:29

Ginsu Chat Client

Ginsu is a client for the Gale chat system. It is
designed to be powerful and above all stable, as
well as having a quick learning curve.

(Machine Translation)
Letztes Update: 2005-02-12 15:32


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.

(Machine Translation)
Letztes Update: 2019-08-19 22:30

Archive of Formal Proofs

形式的な証明のアーカイブは証拠のライブラリ、例、およびより大きい科学の発展、Isabelle の定理証明における機械的にチェックのコレクションです。それは科学的な雑誌の方法で編成されます。サブミッションは査読有り。

(Machine Translation)
Letztes Update: 2007-12-26 14:16


HaXml is a suite of libraries and tools for
manipulating XML documents in Haskell. It
includes a parser, a pretty-printer, a validator,
a combinator library for transforming
documents, and converters for changing a
Haskell datatype into an XML DTD, and for
changing an XML DTD into a set of Haskell
datatypes. There are also tools for a query
language based on XQL.

(Machine Translation)
Letztes Update: 2008-01-16 10:19


The ListLike module provides a common interface to
the various Haskell types that are "list-like".
Predefined interfaces include standard Haskell
lists, Arrays, ByteStrings, and lazy ByteStrings.
Custom types can easily be made ListLike instances
as well. ListLike also provides for String-like
types, such as String and ByteString, for types
that support I/O, and for types that can handle
infinite lists.

(Machine Translation)
Letztes Update: 2001-12-18 07:10


hsclock is an accurate, multi-zone GTK clock that
can also run in a tty. Currently configuration is
solely by commandline options. hsclock uses GTK
timeouts to synchronize with the system clock,
making display updates accurate to within
milliseconds. The time output format can be set
with a date-like format option.

(Machine Translation)