ð ð ð Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
â103Jan 22, 2018Updated 8 years ago
Alternatives and similar repositories for AAG-Visualizer
Users that are interested in AAG-Visualizer are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- C++ implementation of FRAIGs. Won the 1st place in 2018 Cadence-sponsored contest in NTU DSnP.â10Oct 21, 2020Updated 5 years ago
- DSnP Open Source Repositoryâ176Jul 22, 2025Updated 11 months ago
- ðđðĩðķ A platform to make Original and Cover Visible and Valuable.â14Nov 8, 2022Updated 3 years ago
- ð A lightweight online dictionary integration to the command line. No browsers. No paperbacks.â244Feb 24, 2019Updated 7 years ago
- Source codes that run on RPi for controlling the light hardware.â14Mar 15, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean âĒ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A small library for BDD manipulation in Rust. Part of the BioDivine toolset.â25Feb 14, 2026Updated 4 months ago
- Random Generator of Btor2 Filesâ10Sep 2, 2023Updated 2 years ago
- Python version of tools to work with AIG formatted filesâ12May 20, 2025Updated last year
- ðĶ 3D renderer in Go.â21Aug 18, 2020Updated 5 years ago
- BDD based DQBF solverâ13Dec 8, 2022Updated 3 years ago
- The Swift Programming Languageâ13Aug 4, 2021Updated 4 years ago
- â18Nov 9, 2022Updated 3 years ago
- A Coq framework to support structural design and proof of hardware cache-coherence protocolsâ14May 7, 2022Updated 4 years ago
- Synthesis Format Conversion Toolâ28Nov 18, 2025Updated 7 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer âĒ AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Resources and guide for preparing for Stanford's electrical engineering qualification exams.â25Feb 4, 2020Updated 6 years ago
- A LR(1) parser generator targeting C++17.â13Jul 8, 2020Updated 5 years ago
- â15Sep 14, 2020Updated 5 years ago
- äļæŽūįŪįšĶčäļįŪå Typecho Markdown įžčūåĻâ20Apr 14, 2026Updated 2 months ago
- A model checker based on SAT solving and inductionâ15Mar 27, 2015Updated 11 years ago
- BuDDy Binary Decision Diagram(BDD) library provisioned with CMake filesâ14Apr 1, 2017Updated 9 years ago
- An Extensible Framework for Hardware Verification and Debuggingâ17Sep 14, 2022Updated 3 years ago
- A fork of the Kissat SAT solver with additional features. Supports incremental solving.â17Aug 13, 2022Updated 3 years ago
- â38Dec 9, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform âĒ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Integer Multiplier Generator for Verilogâ25Jul 4, 2025Updated 11 months ago
- This is the repository for Learning to Generate Piano Music With Sustain Pedalsâ12Nov 23, 2023Updated 2 years ago
- Repository of benchmarks for SYNTCOMPâ16Jun 18, 2026Updated 2 weeks ago
- AIGER And-Inverter-Graph Libraryâ103Feb 17, 2026Updated 4 months ago
- Dependently typed lambda calculus - A Simple Proof Assistantâ12Sep 3, 2020Updated 5 years ago
- convert midi file to piano video with highlighted keysâ12Mar 26, 2021Updated 5 years ago
- Thinkord is an open source desktop application dedicated to helping people comveniently capture their thoughts.â21Jan 1, 2023Updated 3 years ago
- An educational SAT solver written in Rustâ13Sep 23, 2023Updated 2 years ago
- Strix is a tool for reactive synthesis of controllers from LTL specifications.â26Sep 16, 2022Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer âĒ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- LightDance editor for choreographing and controlling.â32May 12, 2026Updated last month
- GOMIL: Global Optimization of Multiplier by Integer Linear Programmingâ13Aug 25, 2021Updated 4 years ago
- easter egg is a flexible, high-performance e-graph library with support of multiple additional assumptions at onceâ13Mar 27, 2025Updated last year
- â13Oct 3, 2023Updated 2 years ago
- A copy of the latest version of MVSISâ13Apr 18, 2021Updated 5 years ago
- Regular Invariant Generator and SMTLIB2 code transformerâ13Aug 8, 2022Updated 3 years ago
- An advanced circuit-based sat solverâ38Feb 24, 2025Updated last year