@@ -570,24 +570,38 @@ to encode low level details into it.</li></ul>
<p> QEMU is a generic and open source machine emulator and
virtualizer. When used as a machine emulator, QEMU can run OSes and
programs made for one machine (e.g. an ARM board) on a different
machine (e.g. your own PC). By using dynamic translation, it achieves
very good performance. When used as a virtualizer, QEMU achieves near
native performances by executing the guest code directly on the host
CPU. QEMU supports
virtualization when executing under the Xen hypervisor or using the
KVM kernel module in Linux. When using KVM, QEMU can virtualize x86,
server and embedded PowerPC, and S390 guests.</p>
<h2><a href="https://racket-lang.org">Racket</a></h2>
<img class="project-logo" src="../../img/projects/racket.svg" alt="" />
<form action="https://www.paypal.com/cgi-bin/webscr" method="post" target="_top">
<input type="hidden" name="cmd" value="_s-xclick">
<input type="hidden" name="hosted_button_id" value="URMNGBCTB96G2">
<input type="image" src="https://www.paypalobjects.com/en_US/i/btn/btn_donate_LG.gif" name="submit" alt="Donate to Racket via PayPal">
</form>
<p>Racket is a general-purpose programming language as well as the world’s
first ecosystem for language-oriented programming. Make your dream language,
or use one of the dozens already available.</p>
<h2><a href="https://reproducible-builds.org">Reproducible Builds</a></h2>
<img class="project-logo" src="../../img/projects/2018-10_Reproducible-Builds.svg" alt="" />
<input type="hidden" name="hosted_button_id" value="9QA63APRU4TNE">
<input type="image" src="https://www.paypalobjects.com/en_US/i/btn/btn_donate_LG.gif" name="submit" alt="Donate to Reproducible Builds via PayPal">
<p>Reproducible Builds are a set of software development practices that create an independently verifiable path
from source code to the binary code used by computers. This is especially useful for developers collaborating