Geeks
msr-quarc
/
ReVerC
Verified compilation of space-efficient reversible circuits
Primary Language
F*
MIT License
MIT
ReVerC GitHub
Markdown
Readme
2
Issues
18
Stargazers
10
Watchers
Watchers
alan-geller
Retired
Art
Adiabatonauts
B-Rich
None
eemailme
jhcloos
k4rtik
UChicago CS
martinquantum
Microsoft
meamy
Simon Fraser University
s-zanella
Microsoft
viktorveis
Microsoft