Hello there! I'm a full-time software engineer that is passionate about web and system software, efficiency, and open-source. I work on open-source projects in my spare time. Currently working on Rust-related projects.
sagebind / crev-proofs Goto Github PK
View Code? Open in Web Editor NEWThis project forked from crev-dev/crev-proofs
Crev proof repository