RSS 19 projects tagged "Unix"

Download Website Updated 12 Oct 2009 APRON numerical abstract domain library

Screenshot
Pop 29.19
Vit 1.59

The APRON library is dedicated to the static analysis of the numerical variables of a program by abstract interpretation. The aim of such an analysis is to infer invariants about these variables.

Download Website Updated 25 May 2008 bitstring

Screenshot
Pop 20.35
Vit 1.00

Bitstring is a powerful language extension for OCaml which adds native parsing of arbitrary bitstrings, in the style of Erlang. Bitstring can be used to parse and generate binary file formats and binary protocols. This project was formerly known as "bitmatch".

Download Website Updated 14 Oct 2008 Nurpawiki

Screenshot
Pop 46.35
Vit 3.03

Nurpawiki is a personal information manager (PIM) application that combines a wiki, a to-do list, and a simple scheduler to help you get organized. It aims to ease note taking and action planning. Actions (to-dos) are always associated with notes or plans (wiki pages). The application will be extended for multiple users in the future to help organizing small team development.

No download Website Updated 02 Apr 2008 Ocsigen

Screenshot
Pop 32.45
Vit 1.78

Ocsigen is a research project aiming at developing new programming techniques for the Web. It contains a full featured Web server and a programming framework that provides a way to create dynamic Web sites. Its goal is to offer an alternative to Apache/PHP, based on technologies from research in programming languages. There is also a module, called Eliom, for generating dynamic Web pages. With Eliom, you program in a concise and modular way, with a strong type system which helps you to produce valid XHTML. The server handles sessions, URLs, and page parameters automatically.

Download Website Updated 09 Jan 2008 apalogretrieve

Screenshot
Pop 43.76
Vit 2.31

Apalogretrieve is a stand-alone program that provides a SQL-like interface for Apache-Logfile-Queries. You can retrieve data from the logfile with SQL commands or use a wildcard match, just as you would with an SQL database.

Download Website Updated 01 Aug 2007 newfileaction

Screenshot
Pop 19.18
Vit 1.00

newfileaction (newfaction) invokes a program for each file that newly is created in a directory you want to visit.

Download Website Updated 01 Aug 2007 pftdbns

Screenshot
Pop 18.87
Vit 1.00

pftdbns sorts files into separate directories according to the structure of their names, which means they will be grouped based on the character-classes of the characters of their names.

Download Website Updated 28 Oct 2007 namealign

Screenshot
Pop 26.68
Vit 1.76

namealign renames files in so that they are formatted uniformly according to the same name structure (in sense of character classes).

Download Website Updated 07 Jul 2006 Kom

Screenshot
Pop 19.60
Vit 1.00

Kom stands for "Keep old mails". It imports email messages into a MySQL database, and provides a frontend in GTK 2 to search and browse the archived messages. Some options can be used to incrementally import email (per month, for example). It can also export messages stored in the database, in mbox format or one-message-per-file format, and generate some statistics.

No download Website Updated 19 May 2006 Caml-get

Screenshot
Pop 13.78
Vit 1.00

Caml-get is a tool to distribute and get Objective-Caml code in a way similar to the apt-get utility.

Screenshot

Project Spotlight

GluCat

A generic library of universal Clifford algebra templates.

Screenshot

Project Spotlight

Model Railroad System

A software package that can help you run your railroad.