Sanjay Adhith's starred repositories
coq-of-python
Translate Python code to Coq code for formal verification. Applied to the reference implementation of Ethereum in Python.
Hadamard-single-pixel-imaging
Single-pixel imaging using Hadamard basis patterns