BlifPad is a simple editor for Berkeley Logic Interchange Format (blif) files.
It provides also a simple graphical interface to Berkeley SIS.


CRUX PPC is a port of CRUX for the Power Architecture® platform. It’s a GNU system with a Linux kernel and runs on Apple NewWorld (both 32 and 64bit) PowerPC, YDL Powerstation, Genesi PegasosII and EFIKA, ACube Sam440ep, IBM RS/6000 CHRP and pSeries servers. CRUX PPC includes support for laptop-specific features, extended hardware support and server tools.


GrADS .NET Bindings


gVirtuS allows an instanced virtual machine to access GPGPUs in a transparent way, with an overhead slightly greater than a real machine/GPGPU setup. gVirtuS is hypervisor independent, and, even though it currently virtualizes nVIDIA CUDA based GPUs.


Ilenia is a tool that offers a simple, quick and comfortable way to manage ports and packages on your own CRUX system.
Ilenia was born to substitue ports with a much faster tool, very faster tool, that shows ports with version newer than installed packages and not only ports with a different version.


Petroula Logo Petroula aims to make up an automated system for weather forecasts using a Bayesian classification for predict weather from known cases in the reference period. Each case (and each class) is characterized by some meteorological variables and their trend in the previous day.
The weather forecasts will be accessible for third parties applications trough a Web Service (MeteoService) provided in the project.

Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s