Alternatives and similar repositories for AAG-Visualizer

Users that are interested in AAG-Visualizer are comparing it to the libraries listed below

• NTU-ALComLab / LSV-PA
  Logic Synthesis and Verification: Programming Assignments
  ☆13Updated last week
• ByronHsu / FRAIGs
  C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.
  ☆10Updated 4 years ago
• chengyinwu / V3
  An Extensible Framework for Hardware Verification and Debugging
  ☆18Updated 3 years ago
• cyliustack / sofa
  SOFA: A Cross-framework Performance Profiler for Heterogeneous Computing Systems and Distributed Machine Learning Systems.
  ☆35Updated 4 years ago
• DVLab-NTU / qsyn
  A C++-based growing software system for synthesizing, optimizing, and verifying quantum circuits
  ☆190Updated this week
• ric2k1 / DSnP.open
  DSnP Open Source Repository
  ☆165Updated 2 months ago
• stevengogogo / DataStructureAlgorithm
  Data Structure and Algorithm with C (2021 Spring)
  ☆11Updated 2 months ago
• pangfengliu / parallelprogramming
  Materials for my parallel programming course
  ☆36Updated 3 years ago
• RafaelTupynamba / SMTSampler
  SMTSampler: Efficient Stimulus Generation from Complex SMT Constraints
  ☆29Updated 6 years ago
• milochen0418 / hello-verilog
  Hello Verilog by Mac + VSCode
  ☆30Updated 4 years ago
• gundambox / DIY_OpenMIPS
  實作《自己動手寫CPU》書上的程式碼
  ☆64Updated 7 years ago
• ymherklotz / vericert
  A formally verified high-level synthesis tool based on CompCert and written in Coq.
  ☆93Updated last month
• cucapra / dahlia
  Time-sensitive affine types for predictable hardware generation
  ☆145Updated last week
• champyen / halide-essentials
  book for Halide language programming
  ☆13Updated 4 years ago
• elevate-lang / elevate
  The implementation of the Elevate language
  ☆30Updated 6 months ago
• cucapra / latte21
  Languages, Tools, and Techniques for Accelerator Design
  ☆33Updated 3 years ago
• mgudemann / iimc
  ☆14Updated 7 years ago
• IntelLabs / t2sp
  Productive and portable performance programming across spatial architectures (FPGAs, etc.) and vector architectures (GPUs, etc.)
  ☆31Updated last year
• yungyuc / nsd
  Numerical Software Development
  ☆88Updated 4 years ago
• NTU-LaDS-II / qATG
  An open-source quantum automatic test generator.
  ☆14Updated 4 months ago
• yihozhang / relational-ematching-benchmark
  ☆16Updated 3 years ago
• bchao1 / dsnp_test_cases
  💻 Test cases for NTUEE Course "Data Structures and Programming".
  ☆14Updated 6 years ago
• raster-gpu / raster-i
  A 3D FPGA GPU for real-time rasterization with a tile-based deferred rendering (TBDR) architecture, featuring transform & lighting (T&L),…
  ☆243Updated 9 months ago
• David-Durst / embeddedHaskellAetherling
  ☆27Updated 3 years ago
• David-Durst / aetherling
  Create auto-scheduled data-parallel pipelines in hardware with user-friendly Python
  ☆13Updated 4 years ago
• kuopinghsu / srv32
  Simple 3-stage pipeline RISC-V processor
  ☆142Updated last month
• uwplse / rake
  compiling DSLs to high-level hardware instructions
  ☆23Updated 2 years ago
• cuddorg / cudd
  CUDD Decision Diagram Package
  ☆144Updated last week
• marty1885 / perfurator
  ☆28Updated 5 years ago
• saleh1204 / sis
  Logic Synthesis System from UC Berkeley (Unofficial Distribution)
  ☆15Updated 6 years ago