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: Logseq is an open-source knowledge base and note-taking app built on local-first principles. It allows users to build a second brain to organize notes, tasks, documents and link ideas together in an interconnected graph network.
Type: software
Pricing: Open Source