Skip to content
@plait-lab

plait-lab

Popular repositories Loading

  1. stsearch stsearch Public

    Sequence-to-Tree Search

    Rust 7 1

  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 4

  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
  • stsearch Public

    Sequence-to-Tree Search

    Rust 7 1 0 1 Updated Oct 23, 2024
  • plait-lab.github.io Public
    TypeScript 1 4 4 1 Updated Sep 23, 2024
  • stbench Public

    Benchmarks for `stsearch` tool

    Python 1 0 0 0 Updated Apr 29, 2024
  • programming-interfaces Public
    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

    JavaScript 0 0 0 0 Updated Jun 14, 2022
  • elm Public

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

    HTML 0 0 0 0 Updated Apr 25, 2022
  • edit-mirror-vscode Public

    The Edit Mirror language client plugin for VS Code

    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"

    2 1 0 0 Updated Nov 1, 2021
  • simplify-types Public

    Compile refinements into simple types

    OCaml 0 0 0 0 Updated Jun 3, 2021

Top languages

Loading…

Most used topics

Loading…