{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"austral","owner":"austral","isFork":false,"description":"Systems language with linear types and capability-based security.","allTopics":["capabilities","linear-types","compiler"],"primaryLanguage":{"name":"OCaml","color":"#ef7a08"},"pullRequestCount":1,"issueCount":17,"starsCount":1101,"forksCount":39,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-24T22:21:08.574Z"}},{"type":"Public","name":"austral.github.io","owner":"austral","isFork":false,"description":"The website for the Austral programming language.","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":7,"starsCount":5,"forksCount":12,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-18T00:14:39.181Z"}},{"type":"Public","name":"standard","owner":"austral","isFork":false,"description":"The Austral Standard Library.","allTopics":[],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-11-22T19:31:53.641Z"}},{"type":"Public","name":"specification","owner":"austral","isFork":false,"description":"The Austral Language Specification","allTopics":["documentation","specification","austral"],"primaryLanguage":{"name":"Makefile","color":"#427819"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-18T00:56:04.680Z"}},{"type":"Public","name":"impressum","owner":"austral","isFork":false,"description":"An HTML printer","allTopics":[],"primaryLanguage":{"name":"Common Lisp","color":"#3fb68b"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2016-03-25T21:10:45.153Z"}}],"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":"austral repositories"}