{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"website","owner":"extensibl","isFork":false,"description":"A simple website written in Ur/Web","allTopics":[],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":9,"starsCount":8,"forksCount":2,"license":"BSD 2-Clause \"Simplified\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-10-01T12:01:08.613Z"}},{"type":"Public","name":"cal-open-library","owner":"extensibl","isFork":true,"description":"C/AL Open Library is a repository for .NET Interop wrappers that will be included into Dynamics 365 for Financials and usable from Extensions V2","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":52,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-04T11:01:50.728Z"}},{"type":"Public","name":"upo","owner":"extensibl","isFork":true,"description":"The Ur/Web People Organizer","allTopics":[],"primaryLanguage":{"name":"UrWeb","color":"#ccccee"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":15,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-02-01T19:58:32.871Z"}},{"type":"Public","name":"ports","owner":"extensibl","isFork":false,"description":"OpenBSD ports of MLton and Ur/Web compilers","allTopics":["openbsd-wip"],"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":0,"issueCount":1,"starsCount":4,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-11-30T22:36:40.826Z"}},{"type":"Public","name":"urweb","owner":"extensibl","isFork":true,"description":"The Ur/Web programming language","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":66,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-19T10:26:30.017Z"}},{"type":"Public","name":"mlton-bootstrap","owner":"extensibl","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-19T10:25:24.389Z"}},{"type":"Public","name":"mlton","owner":"extensibl","isFork":true,"description":"The MLton repository","allTopics":[],"primaryLanguage":{"name":"Standard ML","color":"#dc566d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":126,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-06-17T06:06:27.401Z"}},{"type":"Public","name":"openbsd-gcc-4.2.1-segfault","owner":"extensibl","isFork":false,"description":"GCC 4.2.1 bug report","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-24T11:32:29.927Z"}},{"type":"Public","name":"propellor","owner":"extensibl","isFork":true,"description":"property-based host configuration management in haskell","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":25,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-09T00:10:52.730Z"}},{"type":"Public","name":"HaNS","owner":"extensibl","isFork":true,"description":"The haskell network stack","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":16,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-05-08T19:22:53.003Z"}},{"type":"Public","name":"bindings-dsl","owner":"extensibl","isFork":true,"description":"Library and macros to simplify writing Haskell FFI code","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":18,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-04-08T04:15:45.279Z"}},{"type":"Public","name":"fscq-impl","owner":"extensibl","isFork":true,"description":"FSCQ is a certified file system written and proven in Coq","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":20,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-24T20:47:38.551Z"}},{"type":"Public","name":"union","owner":"extensibl","isFork":true,"description":"Extensible type-safe unions for Haskell","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-22T19:41:36.576Z"}},{"type":"Public","name":"prototype","owner":"extensibl","isFork":true,"description":"The HIPERFIT Portfolio Management Prototype","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":4,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-02T09:54:51.178Z"}},{"type":"Public","name":"commercialhaskell","owner":"extensibl","isFork":true,"description":"A special interest group for companies and individuals interested in commercial usage of Haskell","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":115,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-27T03:49:32.642Z"}},{"type":"Public","name":"postgrest","owner":"extensibl","isFork":true,"description":"REST API for any Postgres database","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1020,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-26T20:17:36.210Z"}},{"type":"Public","name":"mirage","owner":"extensibl","isFork":true,"description":"MirageOS is a library operating system that constructs unikernels","allTopics":[],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":244,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-26T16:39:06.330Z"}},{"type":"Public","name":"HaLVM","owner":"extensibl","isFork":true,"description":"The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":88,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-02-25T02:22:12.282Z"}},{"type":"Public","name":"haskell-tor","owner":"extensibl","isFork":true,"description":"A Haskell implementation of the Tor protocol.","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":19,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-12-06T18:15:22.499Z"}},{"type":"Public","name":"RSA","owner":"extensibl","isFork":true,"description":"Haskell RSA Library","allTopics":[],"primaryLanguage":{"name":"Haskell","color":"#5e5086"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":7,"license":"BSD 3-Clause \"New\" or \"Revised\" License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2015-10-12T18:52:42.350Z"}}],"repositoryCount":20,"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":"extensibl repositories"}