{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"ats-lang.github.io","owner":"ats-lang","isFork":false,"description":"For hosting certain parts of <a href=\"http://www.ats-lang.org\" rel=\"nofollow\">http://www.ats-lang.org</a>","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":1,"starsCount":25,"forksCount":9,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-18T20:48:18.475Z"}},{"type":"Public","name":"ATS-CodeBook","owner":"ats-lang","isFork":false,"description":"This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primarily meant as recipes for people interested in learning ATS as well as using it to construct software for use in the real world.","allTopics":[],"primaryLanguage":{"name":"ATS","color":"#1ac620"},"pullRequestCount":0,"issueCount":0,"starsCount":57,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-01-31T02:02:24.961Z"}},{"type":"Public","name":"ATS-Postiats-release","owner":"ats-lang","isFork":true,"description":"ATS2: Unleashing the Potentials of Types and Templates","allTopics":[],"primaryLanguage":{"name":"ATS","color":"#1ac620"},"pullRequestCount":0,"issueCount":0,"starsCount":40,"forksCount":54,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-12-18T00:03:53.875Z"}},{"type":"Public","name":"ATS-Postiats-npm-utils","owner":"ats-lang","isFork":false,"description":"For using npm to manage additional ATS-Postiats packages","allTopics":[],"primaryLanguage":{"name":"ATS","color":"#1ac620"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2019-05-23T21:45:07.859Z"}},{"type":"Public","name":"ATS-Category","owner":"ats-lang","isFork":false,"description":"For template-based library code that is, kind of, inspired by category theory.","allTopics":[],"primaryLanguage":{"name":"ATS","color":"#1ac620"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":1,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2018-08-21T01:35:31.124Z"}}],"repositoryCount":5,"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":"ats-lang repositories"}