{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"plait-lab.github.io","owner":"plait-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":1,"issueCount":4,"starsCount":1,"forksCount":3,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-03T23:13:21.944Z"}},{"type":"Public","name":"stbench","owner":"plait-lab","isFork":false,"description":"Benchmarks for `stsearch` tool","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-29T17:33:27.551Z"}},{"type":"Public","name":"stsearch","owner":"plait-lab","isFork":false,"description":"Sequence-to-Tree Search","allTopics":[],"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-07T09:12:57.440Z"}},{"type":"Public","name":"programming-interfaces","owner":"plait-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-22T06:19:58.168Z"}},{"type":"Public","name":"edit-mirror","owner":"plait-lab","isFork":false,"description":"A suite of tools to log programmers' edits to their code over time","allTopics":["research","elm"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-14T22:00:14.755Z"}},{"type":"Public","name":"elm","owner":"plait-lab","isFork":false,"description":"An e-flyer for \"How do Elm programmers write code?\"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-25T17:41:06.588Z"}},{"type":"Public","name":"edit-mirror-vscode","owner":"plait-lab","isFork":false,"description":"The Edit Mirror language client plugin for VS Code","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-02-04T22:33:54.940Z"}},{"type":"Public","name":"stfp-livestreams","owner":"plait-lab","isFork":false,"description":"Links to the livestreams observed in the OOPSLA '21 publication \"How Statically-Typed Functional Programmers Write Code\"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-01T20:25:11.231Z"}},{"type":"Public","name":"simplify-types","owner":"plait-lab","isFork":false,"description":"Compile refinements into simple types","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-03T20:42:46.689Z"}}],"repositoryCount":9,"userInfo":null,"searchable":true,"definitions":[],"typeFilters":[{"id":"all","text":"All"},{"id":"public","text":"Public"},{"id":"source","text":"Sources"},{"id":"fork","text":"Forks"},{"id":"archived","text":"Archived"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"plait-lab repositories"}