{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"circuitgraph","owner":"circuitgraph","isFork":false,"description":"Tools for working with circuits as graphs in python","allTopics":["eda","netlist","satisfiability","boolean-circuits","python","graphs"],"primaryLanguage":{"name":"Verilog","color":"#b2b7f8"},"pullRequestCount":2,"issueCount":11,"starsCount":106,"forksCount":14,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-11-17T07:27:49.286Z"}},{"type":"Public","name":"logiclocking","owner":"circuitgraph","isFork":false,"description":"Lock circuitgraphs using various logic locking techniques","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":7,"forksCount":4,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-05-02T21:16:15.671Z"}},{"type":"Public","name":"circuitsim","owner":"circuitgraph","isFork":false,"description":"Perform gate-level simulations from python","allTopics":["python","simulation","eda","netlist","boolean-circuits"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-03-20T01:09:38.053Z"}},{"type":"Public","name":"circuitgraph.github.io","owner":"circuitgraph","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2022-06-23T15:55:15.004Z"}}],"repositoryCount":4,"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":"circuitgraph repositories"}