{"id":15048040,"url":"https://github.com/cda-tum/mqt-syrec","last_synced_at":"2025-04-09T15:04:20.891Z","repository":{"id":37056683,"uuid":"444882754","full_name":"cda-tum/mqt-syrec","owner":"cda-tum","description":"SyReC Synthesizer - A Tool for HDL-based Synthesis of Reversible Circuits","archived":false,"fork":false,"pushed_at":"2025-04-07T17:25:13.000Z","size":1462,"stargazers_count":28,"open_issues_count":6,"forks_count":10,"subscribers_count":2,"default_branch":"main","last_synced_at":"2025-04-09T15:03:07.919Z","etag":null,"topics":["cpp17","python","quantum-computing","reversible-computation","synthesis"],"latest_commit_sha":null,"homepage":"https://mqt.readthedocs.io/projects/syrec","language":"C++","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"mit","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/cda-tum.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":".github/contributing.rst","funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":".github/support.rst","governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2022-01-05T16:58:07.000Z","updated_at":"2025-03-22T04:46:34.000Z","dependencies_parsed_at":"2024-01-01T18:29:28.591Z","dependency_job_id":"6b1378f2-d8c7-483d-a948-4b850770c50b","html_url":"https://github.com/cda-tum/mqt-syrec","commit_stats":{"total_commits":253,"total_committers":5,"mean_commits":50.6,"dds":0.5928853754940712,"last_synced_commit":"a2489abde41b4a442e389d3799b8baffae0ced63"},"previous_names":["cda-tum/mqt-syrec","cda-tum/syrec"],"tags_count":8,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cda-tum%2Fmqt-syrec","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cda-tum%2Fmqt-syrec/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cda-tum%2Fmqt-syrec/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/cda-tum%2Fmqt-syrec/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/cda-tum","download_url":"https://codeload.github.com/cda-tum/mqt-syrec/tar.gz/refs/heads/main","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":248055275,"owners_count":21040156,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["cpp17","python","quantum-computing","reversible-computation","synthesis"],"created_at":"2024-09-24T21:07:18.538Z","updated_at":"2025-04-09T15:04:20.850Z","avatar_url":"https://github.com/cda-tum.png","language":"C++","funding_links":[],"categories":["Quantum compilers"],"sub_categories":[],"readme":"[![PyPI](https://img.shields.io/pypi/v/mqt.syrec?logo=pypi\u0026style=flat-square)](https://pypi.org/project/mqt.syrec/)\n![OS](https://img.shields.io/badge/os-linux%20%7C%20macos%20%7C%20windows-blue?style=flat-square)\n[![License: MIT](https://img.shields.io/badge/license-MIT-blue.svg?style=flat-square)](https://opensource.org/licenses/MIT)\n[![CI](https://img.shields.io/github/actions/workflow/status/cda-tum/mqt-syrec/ci.yml?branch=main\u0026style=flat-square\u0026logo=github\u0026label=c%2B%2B)](https://github.com/cda-tum/mqt-syrec/actions/workflows/ci.yml)\n[![Bindings](https://img.shields.io/github/actions/workflow/status/cda-tum/mqt-syrec/deploy.yml?branch=main\u0026style=flat-square\u0026logo=github\u0026label=python)](https://github.com/cda-tum/mqt-syrec/actions/workflows/deploy.yml)\n[![codecov](https://img.shields.io/codecov/c/github/cda-tum/mqt-syrec?style=flat-square\u0026logo=codecov)](https://codecov.io/gh/cda-tum/mqt-syrec)\n\n\u003e [!NOTE]\n\u003e This project is currently in low maintenance mode. We will still fix bugs and accept pull requests, but we will not actively develop new features.\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://mqt.readthedocs.io\"\u003e\n   \u003cpicture\u003e\n     \u003csource media=\"(prefers-color-scheme: dark)\" srcset=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/mqt_light.png\" width=\"60%\"\u003e\n     \u003cimg src=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/mqt_dark.png\" width=\"60%\"\u003e\n   \u003c/picture\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\n# SyReC Synthesizer: A Tool for HDL-based Synthesis of Reversible Circuits\n\nA tool for HDL-based synthesis of reversible circuits developed as part of the [_Munich Quantum Toolkit (MQT)_](https://mqt.readthedocs.io) by the [Chair for Design Automation](https://www.cda.cit.tum.de/) at the [Technical University of Munich](https://www.tum.de/).\nIt builds upon [MQT Core](https://github.com/cda-tum/mqt-core), which forms the backbone of the MQT.\n\n\u003cp align=\"center\"\u003e\n  \u003ca href=\"https://mqt.readthedocs.io/projects/syrec\"\u003e\n  \u003cimg width=30% src=\"https://img.shields.io/badge/documentation-blue?style=for-the-badge\u0026logo=read%20the%20docs\" alt=\"Documentation\" /\u003e\n  \u003c/a\u003e\n\u003c/p\u003e\n\nIf you have any questions, feel free to contact us by creating an issue on [GitHub](https://github.com/cda-tum/mqt-syrec/issues).\n\n## Getting Started\n\nThe _SyReC Synthesizer_ is available via [PyPI](https://pypi.org/project/mqt.syrec/) for Linux, macOS, and Windows.\n\n- In order to make the library as easy to use as possible (without compilation), we provide pre-built wheels for most common platforms (64-bit Linux, MacOS, Windows). These can be installed using\n  ```bash\n  (venv) $ pip install mqt.syrec\n  ```\n- Once installed, start the _SyReC Synthesizer_ GUI by running:\n  ```bash\n  (venv) $ syrec-editor\n  ```\n\n**Detailed documentation on all available methods, options, and input formats is available at [ReadTheDocs](https://mqt.readthedocs.io/projects/syrec).**\n\n## System Requirements and Building\n\nThe implementation is compatible with any C++17 compiler and a minimum CMake version of 3.19.\nPlease refer to the [documentation](https://mqt.readthedocs.io/projects/syrec) on how to build the project.\n\nBuilding (and running) is continuously tested under Linux, macOS, and Windows using the [latest available system versions for GitHub Actions](https://github.com/actions/virtual-environments).\n\n## References\n\n_SyReC Synthesizer_ has been developed based on methods proposed in the following papers:\n\n[[1]](https://doi.org/10.1016/j.simpa.2022.100451)\nS. Adarsh, L. Burgholzer, T. Manjunath and R. Wille. SyReC Synthesizer: An MQT tool for synthesis of reversible circuits. Software Impacts, 2022.\n\n[[2]](http://www.informatik.uni-bremen.de/agra/doc/konf/10_syrec_reversible_hardware_language.pdf)\nR. Wille, S. Offermann, and R. Drechsler. SyReC: A Programming Language for Synthesis of Reversible Circuits. In Forum on Specification and Design Languages (FDL), 2010.\n\n[[3]](https://doi.org/10.1016/j.vlsi.2015.10.001)\nR. Wille, E. Schönborn, M. Soeken, and R. Drechsler. SyReC: A hardware description language for the specification and synthesis of reversible circuits. Integration (The VLSI Journal), 2016.\n\n[[4]](https://www.cda.cit.tum.de/files/eda/2019_iccad_hdl_based_reversible_circuit_synthesis_without_additional_lines.pdf)\nR. Wille, M. Haghparast, S. Adarsh, and T. Manjunath. Towards HDL-based Synthesis of Reversible Circuits with No Additional Lines. In International Conference on Computer Aided Design (ICCAD), 2019.\n\n---\n\n## Acknowledgements\n\nThe Munich Quantum Toolkit has been supported by the European\nResearch Council (ERC) under the European Union's Horizon 2020 research and innovation program (grant agreement\nNo. 101001318), the Bavarian State Ministry for Science and Arts through the Distinguished Professorship Program, as well as the\nMunich Quantum Valley, which is supported by the Bavarian state government with funds from the Hightech Agenda Bayern Plus.\n\n\u003cp align=\"center\"\u003e\n\u003cpicture\u003e\n\u003csource media=\"(prefers-color-scheme: dark)\" srcset=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/tum_dark.svg\" width=\"28%\"\u003e\n\u003cimg src=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/tum_light.svg\" width=\"28%\"\u003e\n\u003c/picture\u003e\n\u003cpicture\u003e\n\u003cimg src=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/logo-bavaria.svg\" width=\"16%\"\u003e\n\u003c/picture\u003e\n\u003cpicture\u003e\n\u003csource media=\"(prefers-color-scheme: dark)\" srcset=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/erc_dark.svg\" width=\"24%\"\u003e\n\u003cimg src=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/erc_light.svg\" width=\"24%\"\u003e\n\u003c/picture\u003e\n\u003cpicture\u003e\n\u003cimg src=\"https://raw.githubusercontent.com/cda-tum/mqt/main/docs/_static/logo-mqv.svg\" width=\"28%\"\u003e\n\u003c/picture\u003e\n\u003c/p\u003e\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcda-tum%2Fmqt-syrec","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fcda-tum%2Fmqt-syrec","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fcda-tum%2Fmqt-syrec/lists"}