{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"alphachar","owner":"system-f","isFork":false,"description":"Alpha character","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-09T04:32:42.665Z"}},{"type":"Public","name":"digit","owner":"system-f","isFork":false,"description":"A data-type representing digits 0-9 and other combinations","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":1,"starsCount":5,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-09T04:28:22.594Z"}},{"type":"Public","name":"list-zipper","owner":"system-f","isFork":false,"description":"List zipper","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T09:07:23.307Z"}},{"type":"Public","name":"exitcode","owner":"system-f","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":2,"starsCount":1,"forksCount":5,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-06T01:34:50.951Z"}},{"type":"Public","name":"fp-course","owner":"system-f","isFork":false,"description":"Functional Programming Course","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":14,"starsCount":4103,"forksCount":1188,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-05T05:47:27.650Z"}},{"type":"Public","name":"validation","owner":"system-f","isFork":false,"description":"A data-type like Either but with an accumulating Applicative ","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":20,"starsCount":99,"forksCount":28,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-10T22:36:34.160Z"}},{"type":"Public","name":"fp-introduction","owner":"system-f","isFork":false,"description":"Introductory talk to FP","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":1,"issueCount":0,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-06-23T02:02:17.686Z"}},{"type":"Public","name":"zippers","owner":"system-f","isFork":false,"description":"A talk on zippers","allTopics":[],"primaryLanguage":{"name":"TeX","color":"#3D6117"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-04-14T04:07:26.330Z"}},{"type":"Public","name":"tickle","owner":"system-f","isFork":false,"description":"Port of Data.Binary with tighter data types and parameterised error messages","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":6,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-12T05:28:27.010Z"}},{"type":"Public","name":"papa","owner":"system-f","isFork":false,"description":"Reasonable Haskell default import","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":6,"starsCount":27,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-09-12T05:28:02.895Z"}},{"type":"Public","name":"radian","owner":"system-f","isFork":false,"description":"A floating-point newtype to represent measurements in radians","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T12:27:23.409Z"}},{"type":"Public","name":"text1","owner":"system-f","isFork":false,"description":"Non-empty values of text","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":1,"starsCount":5,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T12:26:26.187Z"}},{"type":"Public","name":"vfr-waypoints","owner":"system-f","isFork":false,"description":"VFR waypoints","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":3,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T12:25:20.595Z"}},{"type":"Public","name":"casa-abbreviations-and-acronyms","owner":"system-f","isFork":false,"description":"CASA Abbreviations and Acronyms","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":3,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T12:24:45.956Z"}},{"type":"Public","name":"natural","owner":"system-f","isFork":false,"description":"Natural number","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":6,"forksCount":5,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-09T12:24:20.178Z"}},{"type":"Public","name":"aviation-cessna172-diagrams","owner":"system-f","isFork":false,"description":"Diagrams for the Cessna 172 aircraft in aviation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-07T11:35:29.412Z"}},{"type":"Public","name":"aviation-cessna172-weight-balance","owner":"system-f","isFork":false,"description":"Weight and Balance for the Cessna 172 aircraft in aviation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-07T11:23:48.705Z"}},{"type":"Public","name":"aviation-weight-balance","owner":"system-f","isFork":false,"description":"Weight and Balance in aviation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-02-07T11:19:27.039Z"}},{"type":"Public","name":"aviation-units","owner":"system-f","isFork":false,"description":"Units of measurement pertaining to aviation","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T05:36:30.536Z"}},{"type":"Public","name":"aviation-cessna172-todrldr","owner":"system-f","isFork":false,"description":"TODR / LDR charts for the Cessna 172 aircraft","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T05:36:02.202Z"}},{"type":"Public","name":"exitcode-process","owner":"system-f","isFork":false,"description":"Process functions that use Exitcode","allTopics":[],"primaryLanguage":{"name":"Nix","color":"#7e7eff"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T05:21:54.251Z"}},{"type":"Public","name":"tagsoup-navigation","owner":"system-f","isFork":false,"description":"Lenses and Zipper for tagsoup","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T05:19:24.864Z"}},{"type":"Public","name":"notzero","owner":"system-f","isFork":false,"description":"A data type for representing numeric values, except zero.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T05:02:08.791Z"}},{"type":"Public","name":"aip","owner":"system-f","isFork":false,"description":"Document management for the airservices Aeronautical Information Package (AIP).","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T05:00:48.768Z"}},{"type":"Public","name":"zippers-course","owner":"system-f","isFork":false,"description":"Zippers Course","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T01:41:48.190Z"}},{"type":"Public","name":"bomradar","owner":"system-f","isFork":false,"description":"BOM radar images","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":1,"issueCount":0,"starsCount":1,"forksCount":2,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-11-25T01:27:17.851Z"}},{"type":"Public","name":"lets-lens","owner":"system-f","isFork":false,"description":"Course material for lens","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":2,"issueCount":7,"starsCount":231,"forksCount":92,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-15T09:31:49.861Z"}},{"type":"Public","name":"geodetics","owner":"system-f","isFork":true,"description":"Haskell library of data types and calculations for positions on planet Earth","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":10,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-06T09:13:39.428Z"}},{"type":"Public","name":"nephele","owner":"system-f","isFork":false,"description":"General purpose XML parser and library","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-04-17T23:24:23.552Z"}},{"type":"Public","name":"xsharpx","owner":"system-f","isFork":true,"description":"XSharpX is a general library for functional programming using .NET languages.","allTopics":[],"primaryLanguage":{"name":"C#","color":"#178600"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":8,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-12-01T11:54:03.885Z"}}],"repositoryCount":30,"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":"system-f repositories"}