Description: ICE ECC is a computation and programming language designed for circuit optimization and verification. It allows for Boolean reasoning and manipulation of circuits and netlists. Useful for hardware design and optimization.
Type: software
Description: Screenlets is an open source desktop widget engine for Linux. It allows users to add miniature applications like clocks, RSS readers, system monitors, sticky notes, and more to their desktop.
Type: software
Pricing: Open Source