fritjof's repositories
- coq — A modified version of Coq that contains an extraction backend for the functional hardware description language CLaSH.
- coq2clash — Coq2CLaSH is a library for Coq that contains some verified API functions in order to design circuits in Coq and generate CLaSH code.
- coq_proofs — Coq proofs for fun
- scripts — scripts that makes the life easier
- website — official website (https://user.informatik.uni-bremen.de/fritjof/)