RSS 2 projects tagged "AFL"

No download Website Updated 27 May 2004 infoscherm

Screenshot
Pop 11.45
Vit 60.12

Infoscherm is a system for displaying information on screens all over a campus.

No download Website Updated 03 Oct 2006 Molle

Screenshot
Pop 13.00
Vit 1.00

Molle is a cross-platform prover for modal logic. It exploits the modal semantic tableaux method. It features a very usable graphical interface, with an interactive representation of generated models.

Screenshot

Project Spotlight

Firejail

A Linux namespaces sandbox program.

Screenshot

Project Spotlight

S3QL

A full featured file system for Amazon S3 and other online storage services.