Skip to content
@fplab

Future of Programming Lab (FP Lab) @ Michigan

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

Repositories

Showing 10 of 15 repositories
  • chatlsp Public

    ChatLSP website.

    CSS 0 0 0 1 Updated Dec 24, 2024
  • grove-paper Public
    TeX 1 0 0 1 Updated Dec 6, 2024
  • grove-agda Public

    Mechanization of Grove, a collaborative structured editing calculus

    Agda 2 MIT 0 0 0 Updated Oct 25, 2024
  • stepper-papers Public
    TeX 0 0 0 0 Updated Mar 12, 2024
  • pattern-paper Public
    TeX 5 0 0 0 Updated Mar 13, 2023
  • pattern-artifacts Public

    Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023

    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

    HTML 9 0 0 0 Updated Aug 5, 2022
  • vscode-camel-tasks Public
    0 0 0 0 Updated Jun 29, 2022
  • mps-camel Public
    JetBrains MPS 0 0 0 0 Updated Jun 29, 2022
  • vscode-camel Public
    TypeScript 0 0 0 0 Updated Jun 18, 2022
View all repositories

Top languages

Loading…

Most used topics

Loading…