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