1. verismith
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
2. vericert
A formally verified high-level synthesis tool based on CompCert and written in Coq.
3. emacs-zettelkasten
Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/
1-3 of 3 user projects