{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"Verse-library","owner":"AutoVerse-ai","isFork":false,"description":"Library for modeling, simulation, and verification of interacting autonomous agents","allTopics":["ai","verification","scenarios","vehicles","formal","autonomy"],"primaryLanguage":{"name":"Jupyter Notebook","color":"#DA5B0B"},"pullRequestCount":0,"issueCount":6,"starsCount":29,"forksCount":18,"license":"University of Illinois/NCSA Open Source License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T01:38:59.345Z"}},{"type":"Public","name":"NeuReach","owner":"AutoVerse-ai","isFork":true,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":2,"license":"University of Illinois/NCSA Open Source License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-11-15T17:55:05.836Z"}}],"repositoryCount":2,"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":"AutoVerse-ai repositories"}