Pinned Loading

1. Tools for solving cryptic crosswords: https://www.wordfun.ca/

   Rust 1

2. Source code for http://www.bcmets.org/

   Ruby 2

3. Playing at writing a Javascript compiler

   Haskell 2

4. Implementation of System T, as in Practical Foundations for Programming Languages chapter 9.

   JavaScript 2

5. Cardelli type inferencer translated to Javascript

   Haskell 6