mmontin
I'm an engineer and doctor in computer sciences, interested in Agda, Haskell and functional programming. I currently lead the High Assurance Group at Tweag.
TweagFrance
Pinned Repositories
agda-stdlib
The Agda standard library
CIPs
Cardano Improvement Proposals (CIPs)
plutus
The Plutus language implementation and tools
adventofcode
libndt
A formal library on spreadable properties over linked nested datatypes
mmontin.github.io
numerical-representations
personal-resources
cooked-validators
pirouette
Language-generic workbench for building static analysis
mmontin's Repositories
mmontin/adventofcode
mmontin/libndt
A formal library on spreadable properties over linked nested datatypes
mmontin/mmontin.github.io
mmontin/numerical-representations
mmontin/personal-resources