Pinned Repositories
gentoo
The Gentoo ebuild repository mirror
gentoo-wsl
local-overlay
ml-overlay
profiles
Custom gentoo profiles
vagrant-autolwe
A Vagrant box for running autolwe
QuantumLib
Coq library for reasoning about quantum programs
QWIRE
A quantum circuit language and formal verification tool
SQIR
A Small Quantum Intermediate Representation
adcompile
autodiff compiler
hungshihhan's Repositories
hungshihhan/gentoo-wsl
hungshihhan/gentoo
The Gentoo ebuild repository mirror
hungshihhan/local-overlay
hungshihhan/ml-overlay
hungshihhan/profiles
Custom gentoo profiles
hungshihhan/vagrant-autolwe
A Vagrant box for running autolwe