Hi, I'm a a FOSS and hardware design enthusiast. I spent time trying to perform formal verification of hardware designs in college.
I also like to dabble in applications of Programming Language Theory.
Some posts that I made to remind me of some stuff. Hopefully others can benefit as well. :-)
Corrections would be appreciated (maybe as an issue in my repo. Ideally with some reference that I can follow up with).