equal
deleted
inserted
replaced
576 |
576 |
577 <p> |
577 <p> |
578 <ul> |
578 <ul> |
579 <li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples) |
579 <li><A HREF="http://elm-lang.org">Elm</A> (a reactive functional language for animating webpages; have a look at the cool examples) |
580 <li><A HREF="http://www.smlserver.org/smltojs/">SMLtoJS</A> (a ML compiler to JavaScript; or anything else related to |
580 <li><A HREF="http://www.smlserver.org/smltojs/">SMLtoJS</A> (a ML compiler to JavaScript; or anything else related to |
581 a sane language that compiles to JavaScript) |
581 sane languages that compile to JavaScript) |
582 <li>Any statistical data related to Bitcoins (in the spirit of this |
582 <li>Any statistical data related to Bitcoins (in the spirit of this |
583 <A HREF="http://people.csail.mit.edu/spillai/data/papers/ bitcoin-transaction-graph-analysis.pdf">paper</A> or |
583 <A HREF="http://people.csail.mit.edu/spillai/data/papers/ bitcoin-transaction-graph-analysis.pdf">paper</A> or |
584 this <A HREF="https://eprint.iacr.org/2012/584.pdf">one</A>; this will probably require some extensive C knowledge or any |
584 this <A HREF="https://eprint.iacr.org/2012/584.pdf">one</A>; this will probably require some extensive C knowledge or any |
585 other heavy-duty programming language) |
585 other heavy-duty programming language) |
586 <li>anything realted to programming languages and formal methods, like |
586 <li>Anything related to programming languages and formal methods (like |
587 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A> |
587 <A HREF="http://matt.might.net/articles/intro-static-analysis/">static program analysis</A>) |
588 </ul> |
588 </ul> |
589 </p> |
589 </p> |
590 |
590 |
591 |
591 |
592 <li> <H4>Earlier Projects</H4> |
592 <li> <H4>Earlier Projects</H4> |
603 </TD> |
603 </TD> |
604 </TR> |
604 </TR> |
605 </TABLE> |
605 </TABLE> |
606 |
606 |
607 <P> |
607 <P> |
608 <!-- hhmts start --> Last modified: Fri Dec 12 13:13:41 GMT 2014 <!-- hhmts end --> |
608 <!-- hhmts start --> Last modified: Fri Dec 12 13:16:29 GMT 2014 <!-- hhmts end --> |
609 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
609 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
610 </BODY> |
610 </BODY> |
611 </HTML> |
611 </HTML> |