Projects

Github Projects :

• Author (Aug 2021 - Mar 2022) : sandmark-nightly
• Maintainer (June 2021 - Mar 2022) : sandmark
• Doodling
  • Chat app using Lwt
  • A crud application in rust using rocket and mongodb

Gitlab Projects :

• Contributor (Mar 2022 - Aug 2022) : coq-tezos-of-ocaml