{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"TaelinArena","owner":"moonad","isFork":false,"description":"[outdated] A moddable MOBA in Formality","allTopics":["game","functional-programming","game-development","taelin","moba","formality"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":21,"issueCount":102,"starsCount":97,"forksCount":26,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-07T12:57:49.353Z"}},{"type":"Public","name":"Moonad","owner":"moonad","isFork":false,"description":"Moonad: a p2p academic journal, or a social network for code?","allTopics":["functional-programming","game-development","formal-verification","formal-languages","academic-journals","formality","moonad"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":26,"issueCount":0,"starsCount":27,"forksCount":7,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-01-06T05:44:14.833Z"}},{"type":"Public","name":"HVM-1","owner":"moonad","isFork":true,"description":"A massively parallel, optimal functional runtime in Rust","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":388,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-10-30T19:32:55.301Z"}},{"type":"Public","name":"Formality-tmp","owner":"moonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-19T21:27:48.788Z"}},{"type":"Public","name":"events","owner":"moonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-02-05T19:57:06.673Z"}},{"type":"Public","name":"Formalog","owner":"moonad","isFork":false,"description":"Sandboxed communication for Moonad-Formality apps","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-07-13T16:03:28.960Z"}},{"type":"Public","name":"Research","owner":"moonad","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2020-04-28T07:39:08.827Z"}}],"repositoryCount":7,"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":"moonad repositories"}