Michael

icon indicating a website link https://www.unwoundstack.com icon indicating an email [email protected]

icon location Portland, OR icon location I hack in C++, LISP, Rust, Coq & Idris. I think a lot about writing provably correct code.

Results 1 repositories owned by Michael

elfeed-score

58
Stars
10
Forks
Watchers

Gnus-style scoring for elfeed

verified publisher icon sp1ff