Consola (Baseada em Texto)

"Multiple GNU Prolog Engines in a Distributed Environment"

"Tabard provides a way to run multiple GNU Prolog engines in a distributed
environment. The environment can be a cluster of networked
workstations or a set of workstations wide-spread by the Internet. In
fact, these workstations need only to be running Linux and have
ssh/rsh access."

SAT Solver in plain C99 and the Scheme programming language.

"WinShares is a linux program that scans the network and mounts all windows and samba shares available, allowing to browse them. It uses CIFS VFS and it's writen in shell script."

"Carlos' Traffic Shaper"

Compilador de Prolog de alto desempenho.

Rastreio de depêndencias entre cópias de ficheiros.