A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
☆195Mar 11, 2026Updated last week
Alternatives and similar repositories for qsyn
Users that are interested in qsyn are comparing it to the libraries listed below
Sorting:
- An open-source quantum automatic test generator.☆15Jun 9, 2025Updated 9 months ago
- Logic Synthesis and Verification: Programming Assignments☆15Dec 28, 2025Updated 2 months ago
- A simple yet decent Binary Decision Diagram package☆26Jan 16, 2018Updated 8 years ago
- ☆11Dec 13, 2022Updated 3 years ago
- ☆25Mar 2, 2026Updated 2 weeks ago
- LightDance editor for choreographing and controlling.☆32Updated this week
- DSnP Open Source Repository☆174Jul 22, 2025Updated 8 months ago
- ☆38Dec 9, 2022Updated 3 years ago
- Compact and Efficient RISC-V RV32I[MAFC] emulator☆544Mar 7, 2026Updated 2 weeks ago
- A column introduce and explain modern C++ features.☆176Mar 5, 2026Updated 2 weeks ago
- 🎓 Unofficial LaTeX templates for your graduate thesis (both master's theses and doctoral dissertations) at National Taiwan University. 國…☆185Aug 13, 2024Updated last year
- A BDD-based Quantum Circuit Simulator☆24Sep 18, 2025Updated 6 months ago
- Concurrency Primer☆101Jun 25, 2025Updated 8 months ago
- A virtual wireless device driver for Linux☆246Jan 29, 2026Updated last month
- Traditional Chinese translation of "What Every Programmer Should Know About Memory"☆337Dec 24, 2025Updated 2 months ago
- Virtual Linux soundcard driver☆29May 6, 2024Updated last year
- Complementary Concurrency Programs for course "Linux Kernel Internals"☆424Updated this week
- Quantum circuit analysis toolkit☆89Mar 6, 2026Updated 2 weeks ago
- 💻 Test cases for NTUEE Course "Data Structures and Programming".☆14Dec 27, 2018Updated 7 years ago
- ☆43Feb 12, 2025Updated last year
- A minimalist RISC-V system emulator capable of running Linux kernel with efficient event-driven scheduling☆292Jan 3, 2026Updated 2 months ago
- Solovay Kitaev algorithm☆12Aug 14, 2019Updated 6 years ago
- ☆14Jun 12, 2024Updated last year
- The frontend of NTUCourse Neo.☆34Dec 23, 2022Updated 3 years ago
- Python library for quantum circuit rewriting and optimisation using the ZX-calculus☆502Mar 12, 2026Updated last week
- Multimedia SoC Design with Specialization on Application Acceleration with High-Level-Synthesis [2020 Fall]☆12Jun 15, 2021Updated 4 years ago
- 第一個開放的客語斷詞工具☆13Jun 10, 2018Updated 7 years ago
- ☆11Jan 24, 2022Updated 4 years ago
- Board: PYNQ-Z2, Vitis version: 2022.1☆21Sep 2, 2024Updated last year
- A POSIX RISC-V OS kernel written in C23, featuring preemptive priority scheduling, virtual memory, tiered allocators, time management, mo…☆44Feb 4, 2025Updated last year
- Polar Decoder☆12Jan 19, 2023Updated 3 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆1,132Mar 11, 2026Updated last week
- Efficient Triton Kernels for LLM Training☆6,216Updated this week
- A self-hosting and educational C optimizing compiler☆1,354Feb 9, 2026Updated last month
- A hash chain has the potential to be a limited source of authentication☆15Feb 20, 2022Updated 4 years ago
- An event-driven and non-blocking web server☆81Aug 1, 2023Updated 2 years ago
- High-performance model counter☆58Updated this week
- Because NTU course selection system sucks☆15Nov 13, 2023Updated 2 years ago
- A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)☆184Dec 26, 2024Updated last year