Consola (Baseada em Texto) (6)

SAT SCheme

SAT Solver in plain C99 and the Scheme programming language.

Tabard

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

WinShares

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

Conteúdo sindicado