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: Portmaster is a free, open source application firewall and HTTPS proxy for Windows that protects against malicious content getting to your computer. It blocks malware, ads, and trackers from making connections.
Type: software
Pricing: Open Source