{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"oxidd","owner":"OxiDD","isFork":false,"description":"Concurrent decision diagram framework written in Rust","topicNames":["bdd","zbdd","binary-decision-diagrams","zdd","zero-suppressed-decision-diagrams"],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":1,"starsCount":25,"forksCount":2,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-03T15:03:44.086Z"}},{"type":"Public","name":"oxidd-lite","owner":"OxiDD","isFork":false,"description":"Stripped-down version of OxiDD as a playground for formal verification of a decision diagram library","topicNames":[],"topicsNotShown":0,"primaryLanguage":{"name":"Rust","color":"#dea584"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-04-22T22:41:17.059Z"}}],"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":"mirror","text":"Mirrors"},{"id":"template","text":"Templates"}],"compactMode":false},"title":"Repositories"}