Yann Herklotz
Results
3
repositories owned by
Yann Herklotz
verismith
90
Stars
11
Forks
Watchers
Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.
vericert
85
Stars
5
Forks
Watchers
A formally verified high-level synthesis tool based on CompCert and written in Coq.
emacs-zettelkasten
55
Stars
3
Forks
Watchers
Simple zettelkasten mode for emacs. Mirror of https://sr.ht/~ymherklotz/emacs-zettelkasten/