{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"AFT","owner":"toda-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-15T23:46:33.164Z"}},{"type":"Public","name":"pygplib","owner":"toda-lab","isFork":false,"description":"Pygplib: Python First-Order Graph Property Library","allTopics":["graph","logic","first-order-logic","mathematics","sat-solver","satisfiability"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":[20,0,0,0,51,12,8,0,0,0,0,0,0,0,0,2,0,0,0,0,0,0,0,0,0,0,0,5,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T03:48:28.244Z"}},{"type":"Public","name":"randgraph","owner":"toda-lab","isFork":false,"description":"Random Graph Generator","allTopics":["graph","mathematics"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-05T15:01:59.341Z"}},{"type":"Public","name":"simpgraph","owner":"toda-lab","isFork":false,"description":"Simple implementation of unorderd graph","allTopics":["graph","mathematics","alg"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-05T14:32:17.712Z"}},{"type":"Public","name":"pydavid","owner":"toda-lab","isFork":false,"description":"A Python interface of Open-David, an abductive reasoner","allTopics":["first-order-logic","inference","artificial-intelligence","explanation","natural-language-understanding","abduction"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-02T14:13:48.173Z"}},{"type":"Public","name":"pystc","owner":"toda-lab","isFork":false,"description":"A simple but extensible Python module for sentences","allTopics":["logic","formal-semantics","linguistics","sentence","natural-language-understanding","pragmatics"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,11,2,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-28T19:02:58.402Z"}},{"type":"Public","name":"dhgraph","owner":"toda-lab","isFork":false,"description":"A Python module for directed hypergraphs","allTopics":["database","logic","mathematics","context-free-grammar","hypergraph","horn-clauses"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-27T04:25:13.428Z"}},{"type":"Public","name":"Vbt-X","owner":"toda-lab","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-26T23:54:39.521Z"}},{"type":"Public","name":"scg","owner":"toda-lab","isFork":false,"description":"CSP encoder for the strategy-solvable Sudoku clues problem","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Other","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-04-29T01:39:29.610Z"}}],"repositoryCount":9,"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":"toda-lab repositories"}