Pinned Loading

1. lambda-notebook lambda-notebook Public

   Lambda Notebook: Formal Semantics in Jupyter

   Python 31 6

2. svgling svgling Public

   linguistics tree drawing to SVG in python, aimed at Jupyter

   Python 64 9

3. crawl/crawl crawl/crawl Public

   Dungeon Crawl: Stone Soup official repository

   C++ 3k 1.7k

4. crawl/scoring crawl/scoring Public

   Crawl scoring server, scripts, and pages

   Python 7 7