Skip to content
@plait-lab

plait-lab

Popular repositories Loading

  1. stsearch stsearch Public

    Sequence-to-Tree Search

    Rust 3

  2. stfp-livestreams stfp-livestreams Public

    Links to the livestreams observed in the OOPSLA '21 publication "How Statically-Typed Functional Programmers Write Code"

    2 1

  3. plait-lab.github.io plait-lab.github.io Public

    TypeScript 1 3

  4. stbench stbench Public

    Benchmarks for `stsearch` tool

    Python 1

  5. simplify-types simplify-types Public

    Compile refinements into simple types

    OCaml

  6. edit-mirror edit-mirror Public

    A suite of tools to log programmers' edits to their code over time

    JavaScript

Repositories

Showing 9 of 9 repositories
  • plait-lab.github.io Public
    plait-lab/plait-lab.github.io’s past year of commit activity
    TypeScript 1 3 4 1 Updated Jun 3, 2024
  • stbench Public

    Benchmarks for `stsearch` tool

    plait-lab/stbench’s past year of commit activity
    Python 1 0 0 0 Updated Apr 29, 2024
  • stsearch Public

    Sequence-to-Tree Search

    plait-lab/stsearch’s past year of commit activity
    Rust 3 0 0 1 Updated Apr 7, 2024
  • programming-interfaces Public
    plait-lab/programming-interfaces’s past year of commit activity
    CSS 0 0 0 0 Updated Mar 22, 2024
  • edit-mirror Public

    A suite of tools to log programmers' edits to their code over time

    plait-lab/edit-mirror’s past year of commit activity
    JavaScript 0 0 0 0 Updated Jun 14, 2022
  • elm Public

    An e-flyer for "How do Elm programmers write code?"

    plait-lab/elm’s past year of commit activity
    HTML 0 0 0 0 Updated Apr 25, 2022
  • edit-mirror-vscode Public

    The Edit Mirror language client plugin for VS Code

    plait-lab/edit-mirror-vscode’s past year of commit activity
    TypeScript 0 0 0 0 Updated Feb 4, 2022
  • stfp-livestreams Public

    Links to the livestreams observed in the OOPSLA '21 publication "How Statically-Typed Functional Programmers Write Code"

    plait-lab/stfp-livestreams’s past year of commit activity
    2 1 0 0 Updated Nov 1, 2021
  • simplify-types Public

    Compile refinements into simple types

    plait-lab/simplify-types’s past year of commit activity
    OCaml 0 0 0 0 Updated Jun 3, 2021

Top languages

Loading…

Most used topics

Loading…