{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"things","owner":"practal","isFork":false,"description":"Data structures and utilities for TypeScript.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T06:59:00.127Z"}},{"type":"Public","name":"recursivetext","owner":"practal","isFork":false,"description":"Recursive teXt","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-05T14:06:20.175Z"}},{"type":"Public","name":"text","owner":"practal","isFork":false,"description":"Manipulating and parsing text.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-01T16:30:42.531Z"}},{"type":"Public","name":"practal-core","owner":"practal","isFork":false,"description":"Open-source implementation of core Practal functionality.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":4,"forksCount":0,"license":"GNU Affero General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-15T22:25:53.091Z"}},{"type":"Public","name":".github","owner":"practal","isFork":false,"description":"Profile repository","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-02-11T11:25:34.148Z"}},{"type":"Public","name":"AL-in-HOL","owner":"practal","isFork":false,"description":"Abstraction Logic formalised in Isabelle/HOL","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-27T00:33:51.915Z"}},{"type":"Public","name":"practal-light","owner":"practal","isFork":false,"description":"Research prototype for Practal's logic.","allTopics":[],"primaryLanguage":{"name":"Swift","color":"#F05138"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-09-01T22:33:04.058Z"}}],"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":"Repositories"}