{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"mqt-qao","owner":"cda-tum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":3,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T13:47:13.022Z"}},{"type":"Public","name":"mmft-iso-designer","owner":"cda-tum","isFork":false,"description":"The MMFT ISO Designer is a tool that validates and generates microfluidic chip designs conforming to the ISO 22916 standard.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":null,"participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,8,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T10:53:37.726Z"}},{"type":"Public","name":"mqt-core","owner":"cda-tum","isFork":false,"description":"MQT Core - The Backbone of the Munich Quantum Toolkit","allTopics":["tum","quantum-computing","mqt","quantum-intermediate-representation"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":21,"starsCount":46,"forksCount":23,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-29T09:49:04.729Z"}},{"type":"Public","name":"mqt-predictor","owner":"cda-tum","isFork":false,"description":"MQT Predictor - A MQT tool for Automatic Device Selection with Device-Specific Circuit Compilation for Quantum Computing","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":10,"starsCount":53,"forksCount":10,"license":"MIT License","participation":[0,0,7,4,1,1,1,1,2,1,2,1,1,0,0,0,0,0,6,2,2,1,3,5,3,1,0,5,4,1,0,1,1,3,1,2,2,1,7,0,2,1,2,0,0,1,3,1,4,3,0,3],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T19:23:40.080Z"}},{"type":"Public","name":"fiction","owner":"cda-tum","isFork":false,"description":"An open-source design automation framework for Field-coupled Nanotechnologies","allTopics":["simulation","layout","routing","verification","eda","fcn","logic-synthesis","placement","nml","qca","emerging-tech","nanocomputing","clocking","sidb"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":7,"issueCount":1,"starsCount":54,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-28T08:08:05.064Z"}},{"type":"Public","name":"mtct","owner":"cda-tum","isFork":false,"description":"Design Automation for Railway Systems","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":1,"starsCount":11,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T18:44:25.383Z"}},{"type":"Public","name":"mqt-qubomaker","owner":"cda-tum","isFork":false,"description":"A framework for the automatic generation of QUBO formulations for optimization problems.","allTopics":["optimization","quantum-computing","qubo"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,3,0,8,7,2,12,4,7,0,0,0,0,19,4,7,8,9,1,4,19,9,4,0,4,1,2,3,1,2,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:58:07.800Z"}},{"type":"Public","name":"mqt-problemsolver","owner":"cda-tum","isFork":false,"description":"MQT ProblemSolver - A MQT tool for Solving Problems Using Quantum Computing","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":26,"forksCount":3,"license":null,"participation":[0,1,0,2,0,2,1,1,2,2,2,1,1,1,1,1,3,1,1,1,1,0,4,1,2,1,0,2,1,1,0,1,1,1,1,0,1,2,0,0,1,1,1,0,2,1,2,2,4,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:56:59.974Z"}},{"type":"Public","name":"mqt-qcec","owner":"cda-tum","isFork":false,"description":"MQT QCEC - A tool for Quantum Circuit Equivalence Checking","allTopics":["python","tum","verification","quantum-computing","cpp17","decision-diagrams","quantum-circuits","mqt","equivalence-checker","jku","zx-calculus"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":3,"starsCount":86,"forksCount":20,"license":"MIT License","participation":[1,1,7,0,16,6,1,11,1,5,11,26,56,1,1,2,1,8,1,2,2,1,3,5,3,1,2,4,0,3,8,4,1,1,3,3,2,1,9,0,2,3,1,3,1,6,2,1,3,1,0,8],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:54:29.038Z"}},{"type":"Public","name":"mqt-qudits","owner":"cda-tum","isFork":false,"description":"A Framework For Mixed-Dimensional Qudit Quantum Computing","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":1,"issueCount":0,"starsCount":8,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,9,3,0,0,0,0,0,0,0,0,0,1,0,0,0,0,1,0,0,0,0,0,1,0,0,3,6,28,38,2,1,0,1],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:54:02.609Z"}},{"type":"Public","name":"mqt-planqk","owner":"cda-tum","isFork":false,"description":"Service provider for the MQT on the PlanQK platform","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:53:32.809Z"}},{"type":"Public","name":"mqt-qmap","owner":"cda-tum","isFork":false,"description":"MQT QMAP - A tool for Quantum Circuit Mapping written in C++","allTopics":["quantum","quantum-computing","compilation","mapping-tools","quantum-circuits"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":7,"issueCount":11,"starsCount":84,"forksCount":22,"license":"MIT License","participation":[13,1,12,24,0,7,4,5,0,4,11,2,69,1,1,1,0,6,1,2,2,1,0,7,2,1,2,1,0,5,2,3,2,0,35,6,29,3,17,2,19,3,4,3,6,4,7,24,47,17,1,7],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:53:00.001Z"}},{"type":"Public","name":"mqt-bench","owner":"cda-tum","isFork":false,"description":"MQT Bench - A MQT tool for Benchmarking Quantum Software Tools","allTopics":["benchmarking","performance-testing","quantum-circuits","quantum-computing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":13,"starsCount":67,"forksCount":12,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:52:18.385Z"}},{"type":"Public","name":"mqt-ddsim","owner":"cda-tum","isFork":false,"description":"MQT DDSIM - A quantum circuit simulator based on decision diagrams written in C++","allTopics":["python","tum","quantum","quantum-computing","decision-diagrams","quantum-circuit-simulator","quantum-circuits","mqt","jku"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":10,"starsCount":123,"forksCount":25,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:51:57.079Z"}},{"type":"Public","name":"setup-z3","owner":"cda-tum","isFork":false,"description":"Set up a specific version of the Z3 theorem prover","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":10,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:51:26.299Z"}},{"type":"Public","name":"mqt-workflows","owner":"cda-tum","isFork":false,"description":"A collection of reusable GitHub workflows used throughout the MQT","allTopics":["quantum-computing","design-automation","munich-quantum-toolkit"],"primaryLanguage":null,"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:50:54.318Z"}},{"type":"Public","name":"mqt","owner":"cda-tum","isFork":false,"description":"The Munich Quantum Toolkit","allTopics":["quantum-computing","design-automation","mqt","quantum-software"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:50:03.736Z"}},{"type":"Public","name":"mqt-limdd","owner":"cda-tum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":4,"issueCount":0,"starsCount":7,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,4,4,0,0,5,0,0,0,1,0,1,4,1,1,0,1,1,1,1,0,1,0,1,0,0,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:33:42.466Z"}},{"type":"Public","name":"mqt-qudit-compression","owner":"cda-tum","isFork":false,"description":"A tool for mapping qubits on a qudit architecture of preferred size","allTopics":[],"primaryLanguage":{"name":"OpenQASM","color":"#AA70FF"},"pullRequestCount":1,"issueCount":3,"starsCount":10,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:32:26.542Z"}},{"type":"Public","name":"mqt-qecc","owner":"cda-tum","isFork":false,"description":"MQT QECC - Tools for Quantum Error Correcting Codes","allTopics":["ldpc-codes","quantum-error-correction","quantum-information-theory","quantum-computing"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":2,"starsCount":85,"forksCount":9,"license":"MIT License","participation":[4,1,3,0,0,10,2,10,2,2,12,2,0,0,2,1,1,41,1,1,2,1,2,4,1,0,0,1,0,3,3,1,1,1,0,0,0,0,0,0,1,0,0,0,0,4,38,4,2,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:32:19.137Z"}},{"type":"Public","name":"mqt-misim","owner":"cda-tum","isFork":false,"description":"MQT library to handle quantum circuits with mixed dimensions","allTopics":["quantum-computing","complex-numbers","decision-diagrams","higher-dimensions"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":5,"issueCount":0,"starsCount":9,"forksCount":1,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,3,1,2,1,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T17:32:13.237Z"}},{"type":"Public","name":"mnt-siqad-plugins","owner":"cda-tum","isFork":false,"description":"Physical Simulation of Atomic Silicon Quantum Dot Assemblies.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":0,"starsCount":11,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-27T04:48:45.532Z"}},{"type":"Public","name":"mmft-ooc-designer","owner":"cda-tum","isFork":false,"description":"Design automation solution for organs-on-chip.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":8,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T17:38:45.658Z"}},{"type":"Public","name":"mnt-nanoplacer","owner":"cda-tum","isFork":false,"description":"NanoPlaceR: An open-source framework for placement and routing of Field-coupled Nanotechnologies based on reinforcement learning.","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":15,"forksCount":1,"license":"MIT License","participation":[0,0,1,0,0,2,0,1,3,2,0,0,0,0,0,0,2,0,1,4,0,0,0,0,0,0,0,0,0,0,0,0,29,12,0,2,0,0,0,0,0,0,0,0,0,0,0,0,0,2,0,5],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-24T06:04:22.048Z"}},{"type":"Public","name":"mmft-simulator","owner":"cda-tum","isFork":false,"description":"A library that contains a collection of simulators for closed channel-based microfluidic devices.","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":1,"starsCount":18,"forksCount":1,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-23T12:59:14.654Z"}},{"type":"Public","name":"mqt-qusat","owner":"cda-tum","isFork":false,"description":"MQT QuSAT - Using Satisfiability Testing (SAT) Techniques for Encoding Quantum Computing","allTopics":["quantum-computing"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":3,"issueCount":0,"starsCount":17,"forksCount":0,"license":"MIT License","participation":[2,1,1,0,1,0,2,0,1,1,21,1,1,1,2,1,1,0,2,1,1,0,0,1,1,1,1,2,3,0,4,0,0,0,0,1,0,0,0,0,0,0,0,1,0,0,0,0,0,1,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-13T15:46:14.593Z"}},{"type":"Public","name":"mqt-qudit-entanglement-compilation","owner":"cda-tum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":12,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T15:05:42.012Z"}},{"type":"Public","name":"mqt-qudit-compilation","owner":"cda-tum","isFork":false,"description":"","allTopics":["quantum-computing","qudits"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":6,"starsCount":14,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T15:04:27.943Z"}},{"type":"Public","name":"mqt-dasqa","owner":"cda-tum","isFork":false,"description":"MQT DASQA - Designer for Superconducting Quantum Architectures","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":13,"forksCount":0,"license":"MIT License","participation":[0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,7,0,0,0],"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-07T08:12:45.043Z"}},{"type":"Public","name":"mqt-ion-shuttler","owner":"cda-tum","isFork":false,"description":"MQT IonShuttler generate shuttling schedules for QCCD architectures","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":0,"starsCount":11,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-05-05T23:47:09.551Z"}}],"repositoryCount":45,"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"}