Giters
plait-lab

plait-lab

Geek Repo

Github PK Tool:Github PK Tool

plait-lab's repositories

stsearch

Sequence-to-Tree Search

Language:RustStargazers:4Issues:2Issues:0

stfp-livestreams

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

Stargazers:2Issues:2Issues:0

plait-lab.github.io

Language:TypeScriptStargazers:1Issues:5Issues:1

stbench

Benchmarks for `stsearch` tool

Language:PythonStargazers:1Issues:0Issues:0

edit-mirror

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

Language:JavaScriptStargazers:0Issues:0Issues:0

edit-mirror-vscode

The Edit Mirror language client plugin for VS Code

Language:TypeScriptStargazers:0Issues:0Issues:0

elm

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

Language:HTMLStargazers:0Issues:1Issues:0

programming-interfaces

Language:CSSStargazers:0Issues:0Issues:0

simplify-types

Compile refinements into simple types

Language:OCamlStargazers:0Issues:3Issues:0