Future of Programming Lab (FP Lab) @ Michigan

Future of Programming Lab (FP Lab) @ Michigan's repositories

User Interfaces for Programming Languages: The Compendium

Language:TeX28 40

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

Language:HTML9 140

Language:TeX4 80

Mechanization of Grove, a collaborative structured editing calculus

Language:AgdaMIT2 60

Language:TeX100

Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023

Language:AgdaMIT1 40

040

A Web Application for Learning OCaml

Language:OCamlNOASSERTION010

Language:JetBrains MPS040

Language:Coq040

Language:TeX04 1

Language:TypeScript040

040

Language:TeX040