Pinned Loading

1. wordlike wordlike Public

   Wordlike

   TypeScript 1

2. lambda-map-drawer lambda-map-drawer Public

   Interactive Lambda Maps Toy

   TypeScript 3 1

3. gosynth gosynth Public

   JavaScript 1

4. Imaginary Book Club Imaginary Book Club

   1

   > Welcome to imaginary book club! I hope everyone finished the reading

   2

   > this week. No? Fine, we'll just wing it. At least there's snacks.

   3

   4

   There is a deck of cards. Each has a question on it. Play starts with

   5

   a random player and proceeds in a circle, with each player drawing a

5. upsilon-draft upsilon-draft Public

   Engineering game prototype

   TypeScript 1

6. twelf-wasm twelf-wasm Public

   Run Twelf in the browser with wasm and WASI

   TypeScript 5 1