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: MkDocs is a fast, simple and downright gorgeous static site generator that's geared towards building project documentation. Documentation source files are written in Markdown, and configured with a single YAML configuration file.
Type: software
Pricing: Open Source