{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"oven","owner":"nuscr","isFork":false,"description":"A tool for handling Synthetic MPST specifications","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":9,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-03T13:54:54.178Z"}},{"type":"Public","name":"nuscr","owner":"nuscr","isFork":false,"description":"A toolkit to manipulate Scribble-style multiparty protocols, based on classical multiparty session type theory.","allTopics":["concurrency","protocol-specification","multiparty-session-types"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":9,"starsCount":26,"forksCount":12,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-09-20T09:08:49.254Z"}},{"type":"Public","name":"opam-repository","owner":"nuscr","isFork":true,"description":"Main public package repository for OPAM, the source package manager of OCaml.","allTopics":[],"primaryLanguage":{"name":"Shell","color":"#89e051"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1115,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-07-18T19:11:18.191Z"}},{"type":"Public","name":"vim-nuscr","owner":"nuscr","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Vim Script","color":"#199f4b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-19T21:41:04.382Z"}},{"type":"Public","name":"nuscr.github.io","owner":"nuscr","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-11-20T21:38:10.020Z"}}],"repositoryCount":5,"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":"nuscr repositories"}