Repositories list

• chatlsp

  Public
  ChatLSP website.

  CSS

  •00 forks•00 stars•00 issues•11 pull request•Updated Dec 24, 2024Dec 24, 2024

• grove-paper

  Public
  TeX

  •00 forks•11 star•00 issues•11 pull request•Updated Dec 6, 2024Dec 6, 2024

• grove-agda

  Public
  Mechanization of Grove, a collaborative structured editing calculus

  Agda

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 25, 2024Oct 25, 2024

• stepper-papers

  Public
  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 12, 2024Mar 12, 2024

• pattern-paper

  Public
  TeX

  •00 forks•55 stars•00 issues•00 pull requests•Updated Mar 13, 2023Mar 13, 2023

• pattern-artifacts

  Public
  Artifacts for Live Pattern Matching with Typed Holes, OOPSLA 2023

  Agda

  •

  MIT License

  •00 forks•11 star•00 issues•00 pull requests•Updated Mar 9, 2023Mar 9, 2023

• rustviz-tutorial

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

  HTML

  •00 forks•1010 stars•00 issues•00 pull requests•Updated Aug 5, 2022Aug 5, 2022

• vscode-camel-tasks

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Jun 29, 2022Jun 29, 2022

• mps-camel

  Public
  JetBrains MPS

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 29, 2022Jun 29, 2022

• vscode-camel

  Public
  TypeScript

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jun 18, 2022Jun 18, 2022

• type-inference-paper

  Public
  TeX

  •00 forks•00 stars•00 issues•11 pull request•Updated May 18, 2022May 18, 2022

• tylrcore

  Public
  Coq

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 2, 2021Nov 2, 2021

• lam

  Public
  00 forks•00 stars•00 issues•00 pull requests•Updated Oct 29, 2021Oct 29, 2021

• ui-for-pl

  Public
  User Interfaces for Programming Languages: The Compendium

  TeX

  •1010 forks•2929 stars•00 issues•99 pull requests•Updated Feb 14, 2021Feb 14, 2021

• learn-ocaml

  Public
  A Web Application for Learning OCaml

  OCaml

  •

  Other

  •7272 forks•00 stars•00 issues•00 pull requests•Updated Jan 4, 2020Jan 4, 2020