{"payload":{"pageCount":1,"repositories":[{"type":"Public","name":"qsyn","owner":"DVLab-NTU","isFork":false,"description":"A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits","allTopics":["quantum","quantum-computing","quantum-software","quantum-circuit-synthesis"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":16,"starsCount":167,"forksCount":13,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-06-12T03:08:40.671Z"}},{"type":"Public","name":"pyzx","owner":"DVLab-NTU","isFork":true,"description":"Python library for quantum circuit rewriting and optimisation using the ZX-calculus","allTopics":[],"primaryLanguage":{"name":"OpenQASM","color":"#AA70FF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":108,"license":"Apache License 2.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T16:24:37.683Z"}},{"type":"Public","name":"qsyn-benchmark","owner":"DVLab-NTU","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"OpenQASM","color":"#AA70FF"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-05T17:59:25.462Z"}},{"type":"Public","name":"abc","owner":"DVLab-NTU","isFork":true,"description":"ABC: System for Sequential Logic Synthesis and Formal Verification","allTopics":[],"primaryLanguage":{"name":"C","color":"#555555"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":520,"license":"Other","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-02-23T12:36:40.084Z"}},{"type":"Public","name":"cadical","owner":"DVLab-NTU","isFork":true,"description":"CaDiCaL SAT Solver","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":0,"forksCount":113,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-25T19:34:28.333Z"}},{"type":"Public","name":"112-1-qda-hw3-q-aware-k-lut","owner":"DVLab-NTU","isFork":false,"description":"A almost-complete, minimum-viable implementation of the quantum-aware k-LUT mapping algorithm","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":0,"forksCount":0,"license":"Creative Commons Zero v1.0 Universal","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2023-12-05T18:27:07.363Z"}}],"repositoryCount":6,"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"}