Submissions from protzenko.fr

		Eurydice: a Rust to C compiler (yes) (protzenko.fr)
		87 points by todsacerdoti 7 hours ago \| past \| 29 comments
		15,000 lines of verified cryptography now in Python (protzenko.fr)
		483 points by todsacerdoti 7 months ago \| past \| 158 comments
		The strange world of GitHub repositories (protzenko.fr)
		3 points by matt_d on Dec 13, 2019 \| past
		Generating C code that people want to use (protzenko.fr)
		225 points by bibyte on March 4, 2019 \| past \| 51 comments
		Generating C code that people want to use (protzenko.fr)
		4 points by matt_d on March 2, 2019 \| past