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
Description: SureLog is an open-source structural Verilog and SystemVerilog lint, semantic check and automated formal verification tool. It can help detect bugs and ensure adherence to coding guidelines in Verilog/SystemVerilog designs.
Type: software
Pricing: Open Source