☆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:
- ☆19Mar 29, 2022Updated 4 years ago
- ☆49Mar 14, 2023Updated 3 years ago
- ☆18Dec 30, 2023Updated 2 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
- 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.
- 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
- IronMan+alpha: Graph Neural Network and Reinforcement Learning in High-Level Synthesis☆27Jun 24, 2022Updated 3 years 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
- Source code, data, analysis code of experiment for the paper "Force-directed graph layouts revisited: a new force based on the t-Distribu…☆12Dec 15, 2022Updated 3 years ago
- SPICE Netlist Datasets: https://symbench.github.io/spice-datasets/☆37Oct 10, 2023Updated 2 years ago
- Simple Smith chart application serving as a paper.js demo☆14Jul 27, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Official Implementation of "Graph Neural Network-Inspired Kernels for Gaussian Processes in Semi-Supervised Learning"☆18Feb 11, 2023Updated 3 years ago
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Jan 28, 2026Updated 4 months ago
- A Matlab Toolbox for Passive Macro Modeling☆14Sep 22, 2024Updated last year
- CV32E40X Design-Verification environment☆16Mar 25, 2024Updated 2 years ago
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- VeRLPy is an open-source python library developed to improve the digital hardware verification process by using Reinforcement Learning (R…☆31Oct 5, 2022Updated 3 years ago
- 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☆22May 20, 2026Updated last week
- A client for Isabelle server (https://isabelle.in.tum.de)☆14May 3, 2026Updated 3 weeks 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.
- Tools for working with circuits as graphs in python☆129Nov 17, 2023Updated 2 years ago
- 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 7 years ago
- RTL-to-Vector-to-GDS☆77Apr 2, 2026Updated last month
- Translating HTN planning problems to PDDL☆22Jul 7, 2021Updated 4 years ago
- 浙江大学Beamer模板☆16May 19, 2022Updated 4 years ago
- A fully themable, old-school HyperCard,VB,Excel inspired RAD in your browser, upgraded for the modern age.☆16May 17, 2022Updated 4 years ago
- A natural attraction/repulsion force type for the d3-force simulation engine☆33Jun 5, 2025Updated 11 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Layered distributions using FLAX/JAX☆10Dec 13, 2020Updated 5 years ago
- A tiny example of PCM to PDM pipeline on FPGA☆22Feb 16, 2022Updated 4 years ago
- Simple and most probably incomplete parser for spectre netlists☆14Oct 4, 2016Updated 9 years ago
- ☆31Oct 12, 2023Updated 2 years ago
- ☆31Apr 23, 2024Updated 2 years ago
- Predict performance issues with manufacturing equipment motors. Perform local or cloud analytics of the issues found, and then display th…☆29Jan 3, 2023Updated 3 years ago
- Artificial Netlist Generator☆47Mar 19, 2024Updated 2 years ago