Simple Project List 軟體列表

94 projects in result set
最後更新: 2014-06-14 04:12

Ganeti

Ganeti is virtual server management software built on top of Xen, KVM, and other open source software. It has been designed to facilitate cluster management of virtual servers and to provide fast and simple recovery after physical failures using commodity hardware.

最後更新: 2014-04-18 21:59

arbtt

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 which windows are open and active, and provides you with a powerful rule-based language to afterwards categorize your work.

最後更新: 2014-06-07 17:55

husk-scheme

Husk is an implementation of the Scheme programming language for the Haskell Platform. Advanced R5RS features are provided, including continuations, hygienic macros, and a full numeric tower.

最後更新: 2011-06-15 14:19

The Glasgow Haskell Compiler

The Glasgow Haskell Compiler is a robust, fully-featured, optimising compiler for the functional programming language Haskell. GHC compiles Haskell to either native code or C. It implements numerous experimental language extensions to Haskell for example concurrency, a foreign language interface, several type-system extensions, exceptions, and so on. GHC comes with a generational garbage collector, a space and time profiler, and a comprehensive set of libraries.

最後更新: 2013-12-09 12:30

pandoc

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)
最後更新: 2011-08-01 03:02

pandoc

Pandoc is a Haskell library for converting from one markup format to another, and a command-line tool that uses this library. It can read markdown and (subsets of) reStructuredText, HTML, and LaTeX, and it can write markdown, reStructuredText, HTML, LaTeX, DocBook, OpenDocument XML, RTF, ODT, GNU Texinfo, MediaWiki markup, and S5 HTML slide shows. Pandoc extends standard markdown syntax with footnotes, embedded LaTeX, and more. A compatibility mode is provided for those who need a drop-in replacement for Markdown.pl. Included wrapper scripts make it easy to convert markdown to PDFs and Web pages to markdown documents. It has a modular design where the addition of a new input or output format requires only the addition of a reader or writer module.

最後更新: 2008-07-03 12:03

hpodder

hpodder is a command-line podcast downloader
(aggregator/podcatcher). It has quite a few
features, including very easy operation,
multithreaded downloading, the ability to import
history from other programs, easy customization,
and quick setup.

(Machine Translation)
最後更新: 2007-12-26 14:15

C->Haskell

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.

最後更新: 2012-06-30 20:21

hex

hex is a Haskell-based reimplementation of TeX. It currently only implements the macro functionality and very basic typesetting with DVI output. Its goal is to implement all of TeX and have a PDF output option.

(Machine Translation)
最後更新: 2014-01-13 23:52

intricacy

intricacy is a networked game in which players attempt to construct maximally difficult puzzles within certain strict design constraints, and to solve the puzzles of others.

(Machine Translation)
最後更新: 2008-11-22 00:43

darcs

Darcs is an advanced revision control system. It
has two particularly distinctive features which
differ from other revision control systems: each
copy of the source is a fully functional branch,
and underlying it is a consistent and powerful
theory of patches. In spite of its power, darcs is
simple to use, in part because of the symmetry
that is restored by making each copy of the
repository a branch.

(Machine Translation)
最後更新: 2006-07-09 03:56

Debian From Scratch

Debian From Scratch is really two related components in one. First, it's a live bootable CD image that is designed to provide a full-featured kernel and rescue environment. It includes filesystem tools, editors, C compilers, Python, Perl, and everything you need to manually install Debian on a new machine. On ix86 machines, Grub is used to boot directly from the CD. There is also a program that is used to create the DFS CD images. It is highly configurable and can be used to create other custom bootable CD or DVD images. You can include whatever kernel or packages you want.

最後更新: 2008-03-16 04:59

gressgraph

gressgraph produces a graph of your iptables
ruleset using Graphviz. You can use the graph to
look for vulnerabilities or redundancies, get a
"feel" for a network, or showcase your firewall.

(Machine Translation)
最後更新: 2011-11-26 23:40

Bluetile

Bluetile is a tiling window manager designed to integrate with the GNOME desktop environment. It provides both a traditional, stacking layout mode as well as tiling layouts where windows are arranged to use the entire screen without overlapping. Bluetile tries to make the tiling paradigm easily accessible to users coming from traditional window managers by drawing on known conventions and providing both mouse and keyboard access for all features.

(Machine Translation)
最後更新: 2016-05-22 06:39

Music Player Daemon

Music Player Daemon 音楽プレイヤーデーモン(​​MPD)は、さまざまなサウンドファイルを再生したり、プレイリストを管理するためのリモートアクセスを可能にすることを目的としています。設計の焦点は、ローカルネットワーク上での音楽再生用のコントロールを提供するステレオシステムにコンピュータを統合することです。