Skip to content

@fplab Future of Programming Lab (FP Lab) @ Michigan

Change the repository type filter

All

    Repositories list

    15 repositories

    • chatlsp

      Public
      ChatLSP website.
      CSS
      •0•0•0•1•Updated Dec 24, 2024Dec 24, 2024

    • grove-paper

      Public
      TeX
      •0•1•0•1•Updated Dec 6, 2024Dec 6, 2024

    • grove-agda

      Public
      Mechanization of Grove, a collaborative structured editing calculus
      Agda
      •
      MIT License
      •0•2•0•0•Updated Oct 25, 2024Oct 25, 2024

    • stepper-papers

      Public
      TeX
      •0•0•0•0•Updated Mar 12, 2024Mar 12, 2024

    • pattern-paper

      Public
      TeX
      •0•4•0•0•Updated Mar 13, 2023Mar 13, 2023

    • pattern-artifacts

      Public
      Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023
      Agda
      •
      MIT License
      •0•1•0•0•Updated Mar 9, 2023Mar 9, 2023

    • rustviz-tutorial

      Public
      Repository for material relevant to the Future of Programming Lab at Michigan
      HTML
      •0•9•0•0•Updated Aug 5, 2022Aug 5, 2022

    • vscode-camel-tasks

      Public
      0•0•0•0•Updated Jun 29, 2022Jun 29, 2022

    • mps-camel

      Public
      JetBrains MPS
      •0•0•0•0•Updated Jun 29, 2022Jun 29, 2022

    • vscode-camel

      Public
      TypeScript
      •0•0•0•0•Updated Jun 18, 2022Jun 18, 2022

    • type-inference-paper

      Public
      TeX
      •0•0•0•1•Updated May 18, 2022May 18, 2022

    • tylrcore

      Public
      Coq
      •0•0•0•0•Updated Nov 2, 2021Nov 2, 2021

    • lam

      Public
      0•0•0•0•Updated Oct 29, 2021Oct 29, 2021

    • ui-for-pl

      Public
      User Interfaces for Programming Languages: The Compendium
      TeX
      •10•27•0•9•Updated Feb 14, 2021Feb 14, 2021

    • learn-ocaml

      Public
      A Web Application for Learning OCaml
      OCaml
      •
      Other
      •66•0•0•0•Updated Jan 4, 2020Jan 4, 2020