Links to stack.yaml files in the wild
Links to stack.yaml files in the wild

As proposed by @chrisdone. @feuerbach I hope you don't mind, I can remove the
prover link if you'd prefer.

anton-dessiatov/stack,soenkehahn/stack,wolftune/stack,agrafix/stack,rvion/stack,lukexi/stack,athanclark/stack,rvion/stack,rrnewton/stack,phadej/stack,ant1441/stack,MaxGabriel/stack,meiersi-11ce/stack,rekka/stack,luigy/stack,rrnewton/stack,bollu/stack,mietek/stack,sjakobi/stack,Denommus/stack,narrative/stack,duplode/stack,Blaisorblade/stack,robstewart57/stack,AndreasPK/stack,fizruk/stack,narrative/stack,CRogers/stack,Andrew-the-Ubergeek/stack,hesselink/stack,Fuuzetsu/stack,keent/stack,mrkkrp/stack,martin-kolinek/stack,phadej/stack,achernyak/stack,AndrewRademacher/stack,k-bx/stack,Heather/stack,harendra-kumar/stack,cabrera/stack,Denommus/stack,sinelaw/stack,supermario/stack,rubik/stack,adinapoli/stack,harendra-kumar/stack,chadbrewbaker/stack,keent/stack,mathhun/stack,kairuku/stack,GaloisInc/stack,MichielDerhaeg/stack,ant1441/stack,anton-dessiatov/stack,AndrewRademacher/stack,wolftune/stack,mrkkrp/stack,achernyak/stack,martin-kolinek/stack,akhileshs/stack,joozek78/stack,tedkornish/stack,MichielDerhaeg/stack,DanielG/stack,deech/stack,rekka/stack,juhp/stack,agrafix/stack,CRogers/stack,lukexi/stack,bixuanzju/stack,robstewart57/stack,mathhun/stack,bollu/stack,vigoo/stack,chreekat/stack,athanclark/stack,k-bx/stack,Heather/stack,sjakobi/stack,vigoo/stack,meiersi-11ce/stack,DanielG/stack,akhileshs/stack,markus1189/stack,deech/stack,Andrew-the-Ubergeek/stack,joozek78/stack,rubik/stack,wskplho/stack,chreekat/stack,sinelaw/stack,GaloisInc/stack,duplode/stack,fizruk/stack,supermario/stack,luigy/stack,bixuanzju/stack,chadbrewbaker/stack,AndreasPK/stack,cocreature/stack,MaxGabriel/stack,soenkehahn/stack,Fuuzetsu/stack,tedkornish/stack,cocreature/stack,kairuku/stack,adinapoli/stack,Blaisorblade/stack,markus1189/stack,wskplho/stack,cabrera/stack,juhp/stack