Logic Synthesis and Verification: Programming Assignments
β16Oct 21, 2026Updated last week
Alternatives and similar repositories for LSV-PA
Users that are interested in LSV-PA are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuitsβ199Oct 5, 2026Updated 3 weeks ago
- π» Test cases for NTUEE Course "Data Structures and Programming".β14Dec 27, 2018Updated 7 years ago
- β11Jan 24, 2022Updated 4 years ago
- An open-source quantum automatic test generator.β17Apr 14, 2026Updated 6 months ago
- Zobrist hashing in Cβ17Sep 15, 2016Updated 10 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.β10Oct 21, 2020Updated 6 years ago
- β15Mar 22, 2022Updated 4 years ago
- β22Sep 8, 2026Updated last month
- demo on simple channel routerβ13Jan 3, 2019Updated 7 years ago
- C++ implementation for Fiduccia-Mattheyses Heuristicβ11Jan 9, 2023Updated 3 years ago
- β12Mar 29, 2026Updated 7 months ago
- AMulet 2. - A better AIG Multiplier Examination Toolβ32Dec 23, 2025Updated 10 months ago
- nthu-route 2.11β14Aug 5, 2019Updated 7 years ago
- A BDD-based Quantum Circuit Equivalence Checkerβ16Jun 29, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- β18Nov 19, 2023Updated 2 years ago
- RL-TNCO: A reinforcement learning algorithm for solving the tensor network contraction problemβ11Mar 31, 2023Updated 3 years ago
- β28Feb 7, 2022Updated 4 years ago
- Ship of Harkinian + 2ship2harkinian with 3DS graphicsβ15Updated this week
- π Unofficial LaTeX templates for your graduate thesis (both master's theses and doctoral dissertations) at National Taiwan University. εβ¦β207Aug 13, 2024Updated 2 years ago
- Cross platform Instant Outbidding Bot, Instant Outbidder Bot is designed to outbid all real-time bids within a second by percentage increβ¦β100Jan 17, 2023Updated 3 years ago
- Entry to model counting competition 2021.β26Jun 25, 2024Updated 2 years ago
- List information about the active RISC-V SBI environment (on Linux).β13Aug 26, 2026Updated 2 months ago
- Rust implementation of quantum circuit optimization algorithmsβ13Jun 15, 2026Updated 4 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- VLSI CAD Algorithm Visualizations implemented as Java Applicationsβ18Aug 23, 2023Updated 3 years ago
- DNDS is a vehicle safety recommendation system that monitors the driverβs facial behaviour to detect the driverβs drowsiness and yawning.β¦β13Nov 18, 2024Updated last year
- β30Sep 30, 2026Updated last month
- β13Dec 9, 2024Updated last year
- LintLLM is an open-source Verilog linting framework powered by Large Language Models (LLMs).β12Aug 14, 2026Updated 2 months ago
- QiskitFlow. Framework for reproducible quantum experimentsβ11Jun 30, 2021Updated 5 years ago
- β14Nov 4, 2025Updated 11 months ago
- π€ An automated NTU Thesis LaTeX continuous integration and continuous deploying service built up with GitHub Actions.β10May 8, 2020Updated 6 years ago
- β14Mar 28, 2024Updated 2 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Super Flutter Maker is an online community where people train their knowledge about the Flutter Widgets, by solving puzzles using the widβ¦β13Feb 1, 2020Updated 6 years ago
- Source-first toolkit for custom Xiaomi Smart Band 10 watch faces: JSON layouts, validation, a React/SVG studio, animated + video faces, aβ¦β19Aug 17, 2026Updated 2 months ago
- β41Nov 3, 2020Updated 5 years ago
- ThereminQ CLassiQ - QuantOPS : Orchestrate Qrack, Bonsai, Qimcifa and Tipsy in OpenCL, VCL and CUDA with an X WebUIβ14Jan 10, 2026Updated 9 months ago
- MQT DDSIM - A Quantum Circuit Simulator Based on Decision Diagramsβ163Updated this week
- β16Aug 9, 2025Updated last year
- NTU Summer Course: Intro to Quantum Computing (PLEASE READ README!)β14Aug 19, 2019Updated 7 years ago