{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"idris2-scala3-vscode","owner":"idris-industry","isFork":false,"description":"idris2 vscode extension written in Scala 3","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-01T19:52:07.346Z"}},{"type":"Public","name":"ikan","owner":"idris-industry","isFork":false,"description":"build tool and package manager for idris,in idris,with free monads","allTopics":["package-manager","idris","free-monads"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":2,"starsCount":34,"forksCount":3,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-02-20T02:47:10.813Z"}},{"type":"Public","name":"idris-sdecl","owner":"idris-industry","isFork":true,"description":"a working stackage-based empty code generator for idris (but it gives you sth,sdecl,which might be more friendly)","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":5,"forksCount":21,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-23T10:26:59.559Z"}},{"type":"Public","name":"idris-free","owner":"idris-industry","isFork":true,"description":"Free Monads and useful constructions to work with them","allTopics":["idris"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":10,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-18T10:55:42.049Z"}},{"type":"Public","name":"Blodwen","owner":"idris-industry","isFork":true,"description":"A little toy...(idris compiler in idris)","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":36,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-17T08:26:41.213Z"}},{"type":"Public","name":"idrisfmt","owner":"idris-industry","isFork":false,"description":"code formatter for idris","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-16T07:04:01.040Z"}},{"type":"Public","name":"everything-idris","owner":"idris-industry","isFork":false,"description":"everything about idris","allTopics":["idris"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-14T09:01:19.585Z"}},{"type":"Public","name":"derive","owner":"idris-industry","isFork":true,"description":"Work on type class deriving with elaboration reflection","allTopics":["idris"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":5,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-07-12T11:04:06.333Z"}},{"type":"Public","name":"lightyear","owner":"idris-industry","isFork":true,"description":"Parser combinators for Idris","allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":43,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-10T10:13:34.132Z"}},{"type":"Public","name":"idris-ffi-example","owner":"idris-industry","isFork":false,"description":"A minimal example of the Idris C FFI","allTopics":["ffi","idris"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":1,"starsCount":14,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-05-15T13:19:19.808Z"}}],"repositoryCount":10,"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":"idris-industry repositories"}