Pinned Loading

1. wordfun wordfun Public

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

   Rust 1

2. bcmets bcmets Public

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

   Ruby 2

3. jstype jstype Public

   Playing at writing a Javascript compiler

   Haskell 2

4. systemt systemt Public

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

   JavaScript 2

5. cardelli cardelli Public

   Cardelli type inferencer translated to Javascript

   Haskell 6