{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Idris2","owner":"idris-lang","isFork":false,"description":"A purely functional programming language with first class types","topicNames":["dependent-types","hacktoberfest","compiler"],"topicsNotShown":0,"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":22,"issueCount":530,"starsCount":2401,"forksCount":362,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-02T16:32:16.070Z"}},{"type":"Public","name":"idris-lang.github.io","owner":"idris-lang","isFork":false,"description":"The Idris website","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":3,"issueCount":0,"starsCount":3,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-10T19:27:27.344Z"}},{"type":"Public","name":"Idris-dev","owner":"idris-lang","isFork":false,"description":"A Dependently Typed Functional Programming Language","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":17,"issueCount":691,"starsCount":3410,"forksCount":643,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-01-02T20:47:46.366Z"}},{"type":"Public","name":"idris-emptycg","owner":"idris-lang","isFork":false,"description":"An empty code generator, to be used as a starting point for any new back ends.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":1,"starsCount":51,"forksCount":21,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-11-02T19:03:41.768Z"}},{"type":"Public","name":"idris-tutorial","owner":"idris-lang","isFork":false,"description":"A tutorial to the Idris Programming Language.","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":0,"starsCount":95,"forksCount":27,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-16T12:38:57.995Z"}}],"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}