☆16Jan 7, 2023Updated 3 years ago
Alternatives and similar repositories for circuit-fewshot-code
Users that are interested in circuit-fewshot-code are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Open Circuit Benchmark OCB and source code for CktGNN (https://openreview.net/forum?id=NE2911Kq1sp).☆93Sep 11, 2023Updated 2 years ago
- ☆20Mar 29, 2022Updated 4 years ago
- ☆50Mar 14, 2023Updated 3 years ago
- ☆18Dec 30, 2023Updated 2 years ago
- This repo contains the code that runs RL+GNN to optimize LDOs in SKY130 process.☆49Jun 24, 2024Updated 2 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- [ICML 2019] Circuit-GNN: Graph Neural Networks for Distributed Circuit Design http://circuit-gnn.csail.mit.edu/☆117Jul 7, 2023Updated 3 years ago
- Deep Reinforcement Learning of Analog Circuit Designs☆133Jun 12, 2023Updated 3 years ago
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆26May 29, 2022Updated 4 years ago
- propositional satisfiability problem (SAT) goes neural and deep☆12Aug 17, 2021Updated 4 years ago
- Original DVS128 Gesture Dataset in PyTorch☆14Jun 6, 2023Updated 3 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 3 years ago
- ☆36Nov 27, 2023Updated 2 years ago
- ☆10Mar 28, 2024Updated 2 years ago
- IronMan+alpha: Graph Neural Network and Reinforcement Learning in High-Level Synthesis☆27Jun 24, 2022Updated 4 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.
- A Jupyter kernel for Logtalk☆14Aug 23, 2025Updated 10 months ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- ☆33Dec 16, 2021Updated 4 years ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 2 years ago
- SPICE Netlist Datasets: https://symbench.github.io/spice-datasets/☆40Oct 10, 2023Updated 2 years ago
- A collection of design automation algorithms, methodologies, and tools for electronics/photonics, and emerging eda technologies☆19Apr 1, 2023Updated 3 years ago
- Simple Smith chart application serving as a paper.js demo☆14Jul 27, 2020Updated 5 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 5 months ago
- Prolog is suitable enviroment for writting planners. However there is no way how to work with PDDL files so far. In this library we provi…☆20Jul 26, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- CV32E40X Design-Verification environment☆16Jun 2, 2026Updated last month
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Inertial Measurement Unit (IMU) Driver based on on the MPU6050☆10Mar 23, 2020Updated 6 years ago
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆10Dec 12, 2023Updated 2 years ago
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- ☆21Oct 27, 2022Updated 3 years ago
- A client for Isabelle server (https://isabelle.in.tum.de)☆14Jun 20, 2026Updated 2 weeks ago
- Tools for working with circuits as graphs in python☆129Nov 17, 2023Updated 2 years ago
- Open-Source Framework for Co-Emulation☆13Feb 12, 2021Updated 5 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.
- ☆17Jun 29, 2026Updated last week
- Smooth Variational Graph Embeddings for Efficient Neural Architecture Search☆14Feb 2, 2023Updated 3 years ago
- GNN-RE datasets for circuit recognition☆59May 16, 2023Updated 3 years ago
- Python implementation of the MACE Bayesian optimization algorithm, with GPy used as the backend GP library☆21Jun 25, 2018Updated 8 years ago
- Translating HTN planning problems to PDDL☆22Jul 7, 2021Updated 5 years ago
- RTL-to-Vector-to-GDS☆83Apr 2, 2026Updated 3 months ago
- A generic Janus WebRTC Media Server Docker container☆12Mar 15, 2024Updated 2 years ago