pschanely
pschanely avatar
Active user
1 year ago by invitation from yingw787
41, averaging 3.73 per story/comment
1, most commonly tagged python
10
https://twitter.com/pschanely
https://github.com/pschanely
@pschanely

Hi! I’m interested in compilers and static analysis. My current big project is a theorem-prover-assisted property tester for python: https://github.com/pschanely/CrossHair

I’m also friendly; send me a message anytime!