{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"granule-project.github.io","owner":"granule-project","isFork":true,"description":"The Granule Project Website","allTopics":[],"primaryLanguage":{"name":"SCSS","color":"#c6538c"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":435,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-07-24T13:00:35.509Z"}},{"type":"Public","name":"granule","owner":"granule-project","isFork":false,"description":"A statically-typed linear functional language with graded modal types for fine-grained program reasoning","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":6,"issueCount":30,"starsCount":584,"forksCount":33,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-08T12:06:04.585Z"}},{"type":"Public","name":"gerty","owner":"granule-project","isFork":false,"description":"A small implementation of graded modal dependent type theory. A younger cousin to Granule.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":51,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-24T08:31:35.123Z"}},{"type":"Public","name":"security-coeffects-mechanization","owner":"granule-project","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Agda","color":"#315665"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-07T16:20:55.658Z"}},{"type":"Public","name":"granule-vscode-extension","owner":"granule-project","isFork":false,"description":"VSCode extension for Granule","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":2,"issueCount":0,"starsCount":2,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-26T13:00:25.293Z"}},{"type":"Public","name":"grdoc","owner":"granule-project","isFork":false,"description":"A tool that generates browseable HTML documentation from Granule type signatures and comments (also written in Granule itself)","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-10T20:30:22.900Z"}},{"type":"Public","name":"deriving-distributed-linear-haskell","owner":"granule-project","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-10-20T23:05:02.065Z"}},{"type":"Public","name":"ghc","owner":"granule-project","isFork":true,"description":"Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (<a href=\"https://gitlab.haskell.org/ghc/ghc\" rel=\"nofollow\">https://gitlab.haskell.org/ghc/ghc</a>). First time contributors are encouraged to get started with the newcomers info (<a href=\"https://gitlab.haskell.org/ghc/ghc/wikis/contributing\" rel=\"nofollow\">https://gitlab.haskell.org/ghc/ghc/wikis/contributing</a>).","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":704,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-07T13:04:21.274Z"}},{"type":"Public","name":"granule-compiler-llvm","owner":"granule-project","isFork":false,"description":"LLVM compiler for Granule","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-08-06T20:46:37.672Z"}}],"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":"granule-project repositories"}