Einfache Projektliste Software-Karte

94 Projekte im Ergebnis
Letztes Update: 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.

Letztes Update: 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.

Betriebssystem: Linux
Programmiersprache: Haskell, Scheme
Benutzerschnittstelle: Toolkits/Libraries
Letztes Update: 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.

Letztes Update: 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.

Letztes Update: 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.

Letztes Update: 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.

Letztes Update: 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.

Letztes Update: 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)
Entwicklungsstatus: 3 - Alpha
Programmiersprache: Haskell
Themen: Freecode.com
Letztes Update: 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)
Letztes Update: 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)
Letztes Update: 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)
Letztes Update: 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)
Natürliche Sprache: English
Programmiersprache: Haskell
Themen: Freecode.com
Benutzerschnittstelle: Curses/Ncurses, SDL
Letztes Update: 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)
Letztes Update: 2007-01-31 18:34

Grammatical Framework

文法フレームワーク (GF) は型理論に基づく文法形式主義です。特別な目的のプログラミング言語、コンパイラ、言語、および一般的な文法のプロセッサので構成されます。

(Machine Translation)
Zielbenutzer: Entwickler, Science/Research
Programmiersprache: Haskell, Java
Themen: SourceForge.net
Benutzerschnittstelle: Java Swing, Console/Terminal
Letztes Update: 2009-05-22 12:12

Gtk2Hs - A GUI Library for Haskell

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

(Machine Translation)