Future of Programming Lab (FP Lab) @ Michigan

Popular repositories Loading

ui-for-pl ui-for-pl Public

User Interfaces for Programming Languages: The Compendium

TeX 29 10
rustviz-tutorial rustviz-tutorial Public

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

HTML 10
pattern-paper pattern-paper Public

TeX 5
grove-paper grove-paper Public

TeX 1
grove-agda grove-agda Public

Mechanization of Grove, a collaborative structured editing calculus

Agda 1
pattern-artifacts pattern-artifacts Public

Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023

Agda 1

Repositories

chatlsp Public
ChatLSP website.

fplab/chatlsp’s past year of commit activity

CSS 0 0 0 1 Updated Dec 24, 2024
grove-paper Public

fplab/grove-paper’s past year of commit activity

TeX 1 0 0 1 Updated Dec 6, 2024
grove-agda Public
Mechanization of Grove, a collaborative structured editing calculus

fplab/grove-agda’s past year of commit activity

Agda 1 MIT 0 0 0 Updated Oct 25, 2024
stepper-papers Public

fplab/stepper-papers’s past year of commit activity

TeX 0 0 0 0 Updated Mar 12, 2024
pattern-paper Public

fplab/pattern-paper’s past year of commit activity

TeX 5 0 0 0 Updated Mar 13, 2023
pattern-artifacts Public
Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023

fplab/pattern-artifacts’s past year of commit activity

Agda 1 MIT 0 0 0 Updated Mar 9, 2023
rustviz-tutorial Public
Repository for material relevant to the Future of Programming Lab at Michigan

fplab/rustviz-tutorial’s past year of commit activity

HTML 10 0 0 0 Updated Aug 5, 2022
vscode-camel-tasks Public

fplab/vscode-camel-tasks’s past year of commit activity

0 0 0 0 Updated Jun 29, 2022
mps-camel Public

fplab/mps-camel’s past year of commit activity

JetBrains MPS 0 0 0 0 Updated Jun 29, 2022
vscode-camel Public

fplab/vscode-camel’s past year of commit activity

TypeScript 0 0 0 0 Updated Jun 18, 2022

View all repositories

People

Top languages

Loading…

Most used topics

Loading…