Liste des projets simples Logiciel Télécharger Carte

94 projects in result set
Dernière Mise à Jour: 2014-06-14 04:12


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.

Dernière Mise à Jour: 2014-06-07 17:55


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.

Système d'exploitation: Linux
Langage de programmation: Haskell, Scheme
Interface utilisateur: Toolkits/Libraries
Dernière Mise à Jour: 2014-04-18 21:59


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.

Système d'exploitation: Linux, Windows
Langage de programmation: Haskell
Interface utilisateur: X11 Applications
Dernière Mise à Jour: 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.

Dernière Mise à Jour: 2011-08-01 03:02


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

Dernière Mise à Jour: 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.

Dernière Mise à Jour: 2007-12-26 14:15


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.

Dernière Mise à Jour: 2012-06-30 20:21


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.

(Traduction automatique)
Statut de développement: 3 - Alpha
Système d'exploitation: POSIX (Linux,BSD,Solaris etc..), Linux
Langage de programmation: Haskell
Dernière Mise à Jour: 2008-11-22 00:43


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.

(Traduction automatique)
Dernière Mise à Jour: 2008-03-16 04:59


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.

(Traduction automatique)
Dernière Mise à Jour: 2008-07-03 12:03


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.

(Traduction automatique)
Dernière Mise à Jour: 2014-01-13 23:52


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.

(Traduction automatique)
Langage naturel: English
Système d'exploitation: POSIX (Linux,BSD,Solaris etc..), Linux, Windows
Langage de programmation: Haskell
Interface utilisateur: Curses/Ncurses, SDL
Dernière Mise à Jour: 2011-11-26 23:40


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.

(Traduction automatique)
Dernière Mise à Jour: 2007-01-31 18:34

Grammatical Framework

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

(Traduction automatique)
Utilisateurs cibles: Développeurs, Science/Research
Système d'exploitation: Cygwin (MS Windows), MacOSX, Linux, SunOS/Solaris
Langage de programmation: Haskell, Java
Interface utilisateur: Java Swing, Console/Terminal
Dernière Mise à Jour: 2009-05-22 12:12

Gtk2Hs - A GUI Library for Haskell

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

(Traduction automatique)