{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"NonClassicalLogic","owner":"TPTPWorld","isFork":false,"description":"Non-classical logics for the TPTP","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"OpenEdge ABL","color":"#5ce600"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-05T15:20:37.497Z"}},{"type":"Public","name":"SyntaxBNF","owner":"TPTPWorld","isFork":false,"description":"BNF for the TPTP languages, and parser generator","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-05T14:52:00.031Z"}},{"type":"Public","name":"JJParser","owner":"TPTPWorld","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-01T14:47:04.065Z"}},{"type":"Public","name":"TPTP4X","owner":"TPTPWorld","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-28T18:03:45.621Z"}},{"type":"Public","name":"ServiceTools","owner":"TPTPWorld","isFork":false,"description":"TPTP World code for manipulating TPTP files of formulae","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-02T14:56:15.511Z"}},{"type":"Public","name":"ATPProgress","owner":"TPTPWorld","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Java","color":"#b07219"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-17T17:58:09.176Z"}},{"type":"Public","name":"GDV","owner":"TPTPWorld","isFork":false,"description":"Geoff's Derivation Verifier","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Assembly","color":"#6E4C13"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-06T14:20:43.097Z"}},{"type":"Public","name":"RemoteSoT","owner":"TPTPWorld","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-11T16:18:25.350Z"}},{"type":"Public","name":"AGMV","owner":"TPTPWorld","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Perl","color":"#0298c3"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-08-10T16:15:54.730Z"}},{"type":"Public","name":"TPTPProblemLibrary","owner":"TPTPWorld","isFork":false,"description":"Research artifacts related to the TPTP Problem Library","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-07-19T22:45:19.432Z"}},{"type":"Public","name":"MPTPTP2078","owner":"TPTPWorld","isFork":false,"description":"","topicNames":[],"topicsNotShown":0,"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":1,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2021-06-29T12:52:18.750Z"}}],"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}