equal
deleted
inserted
replaced
590 other heavy-duty programming language) |
590 other heavy-duty programming language) |
591 <li>Anything related to programming languages and formal methods (like |
591 <li>Anything related to programming languages and formal methods (like |
592 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) |
592 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) |
593 <li>Anything related to low-cost, hands-on hardware like Raspberry Pi, Arduino, |
593 <li>Anything related to low-cost, hands-on hardware like Raspberry Pi, Arduino, |
594 <A HREF="http://en.wikipedia.org/wiki/Cubieboard">Cubieboard</A> |
594 <A HREF="http://en.wikipedia.org/wiki/Cubieboard">Cubieboard</A> |
|
595 <li>Anything related to microkernel operating systems, like |
|
596 <A HREF="http://www.xenproject.org">Xen</A> or |
|
597 <A HREF="http://www.openmirage.org">Mirage OS</A> |
595 </ul> |
598 </ul> |
596 </p> |
599 </p> |
597 |
600 |
598 |
601 |
599 <li> <H4>Earlier Projects</H4> |
602 <li> <H4>Earlier Projects</H4> |
608 </TD> |
611 </TD> |
609 </TR> |
612 </TR> |
610 </TABLE> |
613 </TABLE> |
611 |
614 |
612 <P> |
615 <P> |
613 <!-- hhmts start --> Last modified: Thu Dec 25 16:09:06 GMT 2014 <!-- hhmts end --> |
616 <!-- hhmts start --> Last modified: Thu Dec 25 16:14:40 GMT 2014 <!-- hhmts end --> |
614 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
617 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
615 </BODY> |
618 </BODY> |
616 </HTML> |
619 </HTML> |