Popular repositories Loading

1. ui-for-pl ui-for-pl Public

   User Interfaces for Programming Languages: The Compendium

   TeX 27 10

2. rustviz-tutorial rustviz-tutorial Public

   Repository for material relevant to the Future of Programming Lab at Michigan

   HTML 9

3. pattern-paper pattern-paper Public

   TeX 5

4. grove-agda grove-agda Public

   Mechanization of Grove, a collaborative structured editing calculus

   Agda 2

5. grove-paper grove-paper Public

   TeX 1

6. pattern-artifacts pattern-artifacts Public

   Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023

   Agda 1