DisChoco: Distributed Constraint Reasoning Solver
Angel Linux Operating System
Mac Port Editor and WSI Creator
The Cocoa Benchmark
Protect your personal data with SafePassDB.
GCode sender for ramps and marlin firmware for CNC Milling Machine
A low-power ISA design and simulator for a 2010 IEEE competition
a miniature early Macintosh emulator
KnockIt! is a port Knocking tool for MAC OSX
A vulnerable lab for IT Security professionals & students
JBernstein: Exploration techniques for non-linear constraint checking
Mac OSX style and feel on the latest Cinnamon Desktop
One Toolkit to Rock them All!
Simple tool to help you create a backup of your RaspberryPi's SD card.
A resource editor for the Mac OS.
MD5sum is an utility that calculates 128-bit MD5 hash
Galsoft Linux