Projects in Awesome Lists tagged with aig
A curated list of projects in awesome lists tagged with aig .
https://github.com/byronhsu/aag-visualizer
🌆 🏙 🌃 Viz.js Graphviz - An Elegant Visualizer for And-Inverter Graph
aag aig circuit css-animations dot dsnp fraig frontend-web graph graphviz javascript ntu visualizer vizjs
Last synced: 02 Sep 2025
https://github.com/marcelwa/aigverse
A Python library for working with logic networks, synthesis, and optimization.
aig aiger logic-optimization logic-synthesis machine-learning python verilog
Last synced: 31 Jul 2025
https://github.com/ametnes/nesis
Your AI Powered Enterprise Knowledge Partner. Discover knowledge from your private documents in your enterprise. Designed to be used at scale from ingesting large amounts of documents formats such as pdfs, docx, xlsx, png, jpgs, tiff, mp3, mp4, jpeg. Integrates with s3, Windows Shares, Google Drive and more.
aig embeddings enterprise-software genai-chatbot genai-usecase rag
Last synced: 17 Jan 2026
https://github.com/tniessen/aiger-safety-properties
AIGER files designed by hand, for testing (and limited benchmarking) of new model checkers
aig aiger benchmark dataset examples formal-verification model-checking testing verification
Last synced: 07 Jan 2026
https://github.com/valandro/c-aig-reader
And inverted Graph (AIG) reader for Circuit Aided Design classes at UFRGS/BR.
aig aig-reader graph-algorithms
Last synced: 29 Mar 2025
