{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"CLS-CAD","owner":"tudo-seal","isFork":false,"description":"Automated CAD assembly generation based on Combinatory Logic Synthesis.","allTopics":["cad","combinatorics","3d","combinators","fusion360"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":6,"starsCount":9,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-18T00:01:52.457Z"}},{"type":"Public","name":"clsp-python","owner":"tudo-seal","isFork":true,"description":"Type Based Synthesis using inhabitation in FCLP","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-08T13:03:30.356Z"}},{"type":"Public","name":"cls-python","owner":"tudo-seal","isFork":false,"description":"Synthesis using inhabitation in FCL with intersection types","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-03-07T22:29:31.356Z"}},{"type":"Public","name":"uniform-intersection","owner":"tudo-seal","isFork":false,"description":"Equivalence between the simple type system and the uniform non-idempotent intersection type system.","allTopics":[],"primaryLanguage":{"name":"Coq","color":"#d0b68c"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"The Unlicense","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-19T09:21:10.980Z"}},{"type":"Public","name":"bcls-python","owner":"tudo-seal","isFork":true,"description":"Synthesis using inhabitation in FCL with intersection types and a boolean query","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-10-25T11:57:17.356Z"}},{"type":"Public archive","name":"bcls-python_old","owner":"tudo-seal","isFork":false,"description":"Python implementation of CLS","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-07-28T11:51:34.108Z"}},{"type":"Public","name":".github","owner":"tudo-seal","isFork":false,"description":"","allTopics":[],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-23T12:25:40.953Z"}},{"type":"Public","name":"cls-scala","owner":"tudo-seal","isFork":true,"description":"(CL)S - Combinatory Logic Synthesizer","allTopics":[],"primaryLanguage":{"name":"Scala","color":"#c22d40"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-06T08:09:09.749Z"}}],"repositoryCount":8,"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"}