☆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).☆92Sep 11, 2023Updated 2 years ago
- ☆19Mar 29, 2022Updated 4 years ago
- ☆49Mar 14, 2023Updated 3 years ago
- ☆17Dec 30, 2023Updated 2 years ago
- [ICML 2019] Circuit-GNN: Graph Neural Networks for Distributed Circuit Design http://circuit-gnn.csail.mit.edu/☆117Jul 7, 2023Updated 2 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.
- LOSTIN: Logic Optimization via Spatio-Temporal Information with Hybrid Graph Models☆26May 29, 2022Updated 3 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 2 years ago
- Official repository for paper "Goal-Aware Neural SAT Solver"☆17Jun 10, 2023Updated 2 years ago
- ☆36Nov 27, 2023Updated 2 years ago
- ☆10Mar 28, 2024Updated 2 years ago
- A Jupyter kernel for Logtalk☆15Aug 23, 2025Updated 8 months ago
- DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction (ASP-DAC 2024)☆13Nov 2, 2023Updated 2 years ago
- Semi-Tenser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.☆17Aug 2, 2023Updated 2 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- SPICE Netlist Datasets: https://symbench.github.io/spice-datasets/☆36Oct 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
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 3 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
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated 2 years ago
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Simple examples on how to implement a DSL in Haskell.☆19Nov 6, 2019Updated 6 years ago
- Mirror of Ngspice - automatically updated on a daily basis☆22Updated this week
- ☆20Oct 27, 2022Updated 3 years 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.
- Tools for working with circuits as graphs in python☆129Nov 17, 2023Updated 2 years ago
- 浙江大学Beamer模板☆15May 19, 2022Updated 3 years ago
- Python implementation of the MACE Bayesian optimization algorithm, with GPy used as the backend GP library☆21Jun 25, 2018Updated 7 years ago
- RTL-to-Vector-to-GDS☆77Apr 2, 2026Updated last month
- Code base for the graph neural network-based polygrain microstructure property prediction project☆50May 27, 2022Updated 3 years ago
- A generic Janus WebRTC Media Server Docker container☆12Mar 15, 2024Updated 2 years ago
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- Simple and most probably incomplete parser for spectre netlists☆14Oct 4, 2016Updated 9 years ago
- ☆31Apr 23, 2024Updated 2 years 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.
- Materials for the Hugging Face Diffusion Models Course☆14Sep 22, 2025Updated 7 months ago
- Artificial Netlist Generator☆46Mar 19, 2024Updated 2 years ago
- Benchmark of robust self-supervised learning (RobustSSL) methods & Code for AutoLoRa (ICLR 2024).☆19Dec 10, 2025Updated 4 months ago
- TCL grammar for tree-sitter☆23May 28, 2025Updated 11 months ago
- Top level for the November shuttle☆12Nov 20, 2021Updated 4 years ago
- Using Generative Adversarial Networks (GANs) to produce awesome looking fantasy maps☆14May 7, 2021Updated 5 years ago
- Unified RISC-V Access Platform project repository☆23Apr 28, 2026Updated last week