Software Map

ラッパー Gtk + 2.x を関数型言語 Haskell 全室フル メモリ管理で Unicode 意識もちろん Gtk2 の新機能。

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

カレーのプログラミング言語の拡張版の実験的コンパイラ

Knit is a new component definition and linking language that can be used with C and assembly code. Knit supports component definitions that require little or no modification to existing code. It automatically schedules component initializers and finalizers and provides an extensible constraint system to detect subtle errors in component composition. Knit provides cross-module inlining that largely eliminates the overheads of componentization, supports component hierarchies, and supports cyclic component dependencies. Knit can be used for any C program, but is especially well suited for use in systems that have many separate components, multiple implementations of the same component, intricate initialization requirements, complex component interdependencies, low-level code and embedded systems, or code that is used in radically different configurations.

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.

ShellCheck is a static analysis tool for shell scripts.
Its goals are to point out and clarify typical beginner's syntax issues that causes a shell to give cryptic error messages, to point out and clarify typical intermediate level semantic problems that causes a shell to behave strangely and counter-intuitively, and to point out subtle caveats, corner cases, and pitfalls that may cause an advanced user's otherwise working script to fail under future circumstances.

The motto of timeplot is "visualize system behavior from logs with a shell one-liner".

Haskell Ports Library provides ports in Haskell.
Ports are an abstraction for modelling variables
whose values evolve over time without the need to
resort to mutable variable, such as
IORefs. More precisely, a port represents all
values that a time-dependent variable successively
take as a stream, where each element of the stream
corresponds to a state change. A port supports
concurrent construction of the time series, or
stream of values. Ports are ideally suited for
purely functional GUI interfaces that completely
avoid the use of mutable variables.

lsdupes is a command line tool that finds files that have identical content and lists them, deletes them, or hard links them together.

DisTract is a distributed bug tracker. DisTract
allows you to manage bugs in a distributed and
potentially offline manner through your Web
browser on your local machine. The distribution is
achieved by making use of a distributed software
control system, Monotone. Thus Monotone is used to
move files across the network, perform merging
operations, and track the development of every
bug.

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.

!PortFusion 書かれた Haskell + LLVM は、GPLv3 の下でリリースの TCP、ミニマル、クロスプラット フォーム トランスポート - 分散層逆/フォワード プロキシです。この直感的なインターフェイスと美しいデザインの Haskell の優れたサポートを前例のないレベルの同時実行および並列処理を組み合わせて、独自の機能に叩くことによってそれぞれのプラットフォームのほとんどになります 1 つのパッケージ。それは最大のスループットとオーバーヘッド近くを提供しながら、ソース コード サイズの最小の (< 500 行) を努めています。

timeplotters is a collection of command line tools for visualizing temporal data. It is especially useful for visualizing data from ad-hoc program logs, helping you to spot patterns and anomalies that you would not otherwise see by just watching how the program works or by looking at the logs with the naked eye. Its input format is tailored to event types typically seen in program logs, and the visualization methods are tailored to the questions typically asked about program performance (e.g. distribution of activity durations).