{"payload":{"pageCount":2,"repositories":[{"type":"Public","name":"mqt-bench","owner":"cda-tum","isFork":false,"description":"MQT Bench - A MQT Tool for Benchmarking Quantum Software Tools","allTopics":["benchmarking","quantum-computing","performance-testing","quantum-circuits"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":5,"issueCount":15,"starsCount":71,"forksCount":16,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T02:05:26.361Z"}},{"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":["reinforcement-learning","quantum-circuit","supervised-machine-learning","quantum-compiler"],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":3,"issueCount":11,"starsCount":58,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-21T02:02:17.268Z"}},{"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":1,"issueCount":0,"starsCount":5,"forksCount":0,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T22:27:16.382Z"}},{"type":"Public","name":"mqt-ddvis","owner":"cda-tum","isFork":false,"description":"MQT DDVis - An installation-free web-tool which visualizes quantum decision diagrams and allows to explore their behavior when used in design tasks such as simulation, synthesis, or verification.","allTopics":["visualization","gui","decision-diagrams","mqt","quantum","quantum-computing"],"primaryLanguage":{"name":"JavaScript","color":"#f1e05a"},"pullRequestCount":0,"issueCount":1,"starsCount":19,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T17:25:05.158Z"}},{"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":8,"issueCount":0,"starsCount":56,"forksCount":21,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T12:35:24.304Z"}},{"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":3,"issueCount":23,"starsCount":52,"forksCount":28,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T12:28:35.242Z"}},{"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":5,"issueCount":13,"starsCount":21,"forksCount":2,"license":"GNU General Public License v3.0","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T11:36:37.073Z"}},{"type":"Public","name":"mmft-STL-generator","owner":"cda-tum","isFork":false,"description":"An automatic STL format geometry generator for microfluidic networks","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":3,"starsCount":0,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T09:50:05.601Z"}},{"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":3,"issueCount":7,"starsCount":89,"forksCount":20,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T05:18:23.349Z"}},{"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":1,"starsCount":13,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T04:52:17.228Z"}},{"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":8,"issueCount":16,"starsCount":95,"forksCount":22,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T04:43:27.044Z"}},{"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":6,"issueCount":4,"starsCount":101,"forksCount":13,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T04:43:18.946Z"}},{"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":15,"forksCount":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T04:22:58.204Z"}},{"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":5,"issueCount":6,"starsCount":131,"forksCount":27,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-20T03:33:59.267Z"}},{"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":1,"issueCount":0,"starsCount":12,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T15:22:19.018Z"}},{"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":5,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-18T14:44:09.455Z"}},{"type":"Public","name":"mqt-syrec","owner":"cda-tum","isFork":false,"description":"SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits","allTopics":["synthesis","cpp17","reversible-computation","python","quantum-computing"],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":3,"starsCount":23,"forksCount":8,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T12:14:04.106Z"}},{"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":33,"forksCount":4,"license":null,"participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T01:55:57.028Z"}},{"type":"Public","name":"mqt-qao","owner":"cda-tum","isFork":false,"description":"MQT Quantum Auto Optimizer - A MQT Tool for Solving Optimization Problems with Quantum Computers","allTopics":[],"primaryLanguage":{"name":"Python","color":"#3572A5"},"pullRequestCount":0,"issueCount":3,"starsCount":13,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-17T01:44:33.697Z"}},{"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-09-17T01:43:54.808Z"}},{"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-09-16T17:39:08.089Z"}},{"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":1,"issueCount":0,"starsCount":11,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T06:38:00.310Z"}},{"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":3,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-16T04:59:58.895Z"}},{"type":"Public","name":"mnt-bench","owner":"cda-tum","isFork":false,"description":"MNT Bench - An MNT tool for Benchmarking FCN circuits","allTopics":["benchmarking","physical-design","nanocomputing"],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":9,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-12T13:49:10.271Z"}},{"type":"Public","name":"mmft-gradient-generator","owner":"cda-tum","isFork":false,"description":"A tool that allows users to automatically create designs for tree-shaped concentration gradient generators for mixing two fluids with different concentration values.","allTopics":[],"primaryLanguage":{"name":"TypeScript","color":"#3178c6"},"pullRequestCount":0,"issueCount":0,"starsCount":1,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-09T15:29:01.210Z"}},{"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":1,"issueCount":0,"starsCount":17,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-09-01T15:38:33.231Z"}},{"type":"Public","name":"mtct","owner":"cda-tum","isFork":false,"description":"Design Automation for Railway Systems","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":2,"issueCount":1,"starsCount":12,"forksCount":2,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-27T08:31:59.100Z"}},{"type":"Public","name":"mmft-modular-1D-simulator","owner":"cda-tum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-22T10:31:37.308Z"}},{"type":"Public","name":"mnt-operational-domains","owner":"cda-tum","isFork":false,"description":"Supplementary material for the paper \"Multi-Dimensional Operational Domain Computation in Silicon Dangling Bond Logic\" by M. Walter, J. Drewniok, S. S. H. Ng, K. Walus, and R. Wille submitted to TCAD (under review).","allTopics":[],"primaryLanguage":{"name":"HTML","color":"#e34c26"},"pullRequestCount":0,"issueCount":0,"starsCount":2,"forksCount":0,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-21T14:43:33.454Z"}},{"type":"Public","name":"mqt-limdd","owner":"cda-tum","isFork":false,"description":"","allTopics":[],"primaryLanguage":{"name":"C++","color":"#f34b7d"},"pullRequestCount":1,"issueCount":0,"starsCount":7,"forksCount":1,"license":"MIT License","participation":null,"lastUpdated":{"hasBeenPushedTo":true,"timestamp":"2024-08-20T17:09:39.964Z"}}],"repositoryCount":51,"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":"cda-tum repositories"}