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 (