{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"site","owner":"typedefs","isFork":false,"description":"Typedefs website","topicNames":["types","type-theory","category-theory","serialization-library","f-algebras"],"topicsNotShown":0,"allTopics":["types","type-theory","category-theory","serialization-library","f-algebras"],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":19,"issueCount":2,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-09T22:09:59.559Z"}},{"type":"Public","name":"typedefs.js","owner":"typedefs","isFork":false,"description":"Typedefs library as a JavaScript NPM module","topicNames":["npm-module","javascript-bindings","typedefs"],"topicsNotShown":0,"allTopics":["npm-module","javascript-bindings","typedefs"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":11,"issueCount":0,"starsCount":7,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-04T21:43:41.807Z"}},{"type":"Public","name":"try-typedefs","owner":"typedefs","isFork":false,"description":"Try Typedefs!","topicNames":["playground","website","sandbox","typedefs"],"topicsNotShown":0,"allTopics":["playground","website","sandbox","typedefs"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":11,"issueCount":9,"starsCount":3,"forksCount":2,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-12-03T00:57:26.197Z"}},{"type":"Public","name":"typedefs","owner":"typedefs","isFork":false,"description":"Programming language agnostic type construction language based on polynomials.","topicNames":["serialization","types","marshalling","type-theory","category-theory","serialization-library","f-algebras","type-definitions"],"topicsNotShown":0,"allTopics":["serialization","types","marshalling","type-theory","category-theory","serialization-library","f-algebras","type-definitions"],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":4,"issueCount":51,"starsCount":365,"forksCount":18,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-12-07T15:07:23.177Z"}},{"type":"Public","name":"idris-gpd","owner":"typedefs","isFork":false,"description":"Generic Packet Descriptions in Idris","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":{"name":"Idris","color":"#b30000"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-09-03T20:30:19.279Z"}},{"type":"Public archive","name":"purescript-typedefs-interop","owner":"typedefs","isFork":false,"description":"DEAD END EXPERIMENT: Direct interop with parsed terms from PureScript","topicNames":["purescript","deprecated","serialisation","typedefs"],"topicsNotShown":0,"allTopics":["purescript","deprecated","serialisation","typedefs"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-21T13:57:13.525Z"}},{"type":"Public","name":"cli","owner":"typedefs","isFork":false,"description":"Typedefs Command Line Interface","topicNames":["code-generator","cli-tool","typedefs"],"topicsNotShown":0,"allTopics":["code-generator","cli-tool","typedefs"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":2,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-04-18T12:29:48.048Z"}},{"type":"Public","name":"typedefs-example-reasonml","owner":"typedefs","isFork":false,"description":"Demo of Typedefs Codegen with ReasonML","topicNames":[],"topicsNotShown":0,"allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":1,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-01-09T05:53:31.498Z"}},{"type":"Public","name":"typedefs-docs","owner":"typedefs","isFork":false,"description":"Typedefs automatically generated source documentation","topicNames":["documentation"],"topicsNotShown":0,"allTopics":["documentation"],"primaryLanguage":{"name":"CSS","color":"#563d7c"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-12-25T13:46:06.987Z"}},{"type":"Public","name":"pm","owner":"typedefs","isFork":false,"description":"project management","topicNames":["project-management"],"topicsNotShown":0,"allTopics":["project-management"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":12,"starsCount":0,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-05-15T13:41:10.590Z"}},{"type":"Public","name":"tdlc","owner":"typedefs","isFork":false,"description":"compiler","topicNames":["serialization","product","types","functional-programming","lambda-calculus","deserialization","coproduct","typedef"],"topicsNotShown":0,"allTopics":["serialization","product","types","functional-programming","lambda-calculus","deserialization","coproduct","typedef"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":4,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2017-09-24T13:47:42.402Z"}}],"repositoryCount":11,"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":"Repositories"}