I'm a PhD student at LSU working on certified hardware synthesis. I like bikes.
My stuff
Check out my projects! Or find me on github!
More things I like
- Vim
- Radare
- Rust
- Haskell
- OCaml
- Agda
- GPL
- Arch
- Category theory
- Constructive mathematics
I also think the primitive technology guy is pretty cool.
Contact
Send me a message with XMPP! My JID is jacques@jacquescomeaux.xyz
Donate
Not sure why you would want to do this
XMR:
88U1H 43BvJ F2rnY eMw7S nLUsa
wdQ9o VmR1K ZhFdT gKs6S pVikg
fo8tu 3cdQK g9Pwn oeZLn 1sevW
VY9yZ 3GTTY meC3y Nx6B6