---
# System prepended metadata

title: Portfolio - Guillaume Claret

---

# 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)