# Portfolio - Guillaume Claret * 🌲 https://formal.land/ : the company I founded to do strong security audits with formal verification (we worked in particular for the crypto-currency [Tezos](https://tezos.com/)) * 🚀 https://github.com/clarus/redux-ship : I library I developed to have better unit-tests for [Redux](https://redux.js.org/), including snapshot-testing for side-effects with [Jest](https://jestjs.io/fr/) * 🐓 https://github.com/formal-land/coq-of-ocaml : a tool I developed to translate OCaml programs to Coq and do formal verification on OCaml * 🚗 https://www.ouicar.fr/ : the main company I worked for as a frontend developer (during three years)