Submissions from github.com/mit-plv

		Kami: A Platform for Hardware Specification and Verification (github.com/mit-plv)
		2 points by pmaddams on Dec 28, 2023 \| past
		Rupicola: Relational Compilation for Performance-Critical Applications (github.com/mit-plv)
		3 points by matt_d on June 17, 2022 \| past
		fiat-crypto: Cryptographic Primitive Code Generation by Fiat (github.com/mit-plv)
		1 point by rdpintqogeogsaa on June 17, 2022 \| past
		Synthesizing Correct-by-Construction Code for Cryptographic Primitives (github.com/mit-plv)
		78 points by johlo on Jan 3, 2021 \| past \| 2 comments
		TiML: A Functional Programming Language with Time Complexity (github.com/mit-plv)
		2 points by lainon on Dec 26, 2017 \| past \| 1 comment