Contests
☆20Jul 28, 2026Updated 2 months ago
Alternatives and similar repositories for Agentic4SystemSummerSchoolContest
Users that are interested in Agentic4SystemSummerSchoolContest 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-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL …☆34Updated this week
- EDA claws for analog/digital circuits and device design☆54Sep 26, 2026Updated last week
- ☆12Dec 11, 2023Updated 2 years ago
- Vivado HLS study notes, courses, documents.☆13Dec 7, 2019Updated 6 years ago
- 基于FP16的二维脉动阵列电路设计☆13Feb 23, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- ☆18Sep 22, 2026Updated last week
- 大连理工大学集成电路学院本科课程指南☆45Nov 7, 2024Updated last year
- 在FPGA端实现JPEG编码（开发中……☆13Oct 17, 2024Updated last year
- Source code repository for ASPLOS '25 paper "Syno: Structured Synthesis for Neural Operators"☆15Aug 31, 2025Updated last year
- A CORDIC implementation of square root Verilog calculation on Quartus Prime 16.0, with ability to simulate on ModelSim as well.☆19Jul 24, 2021Updated 5 years ago
- 数字电路设计与FPGA设计书籍☆114May 31, 2022Updated 4 years ago
- ☆37Nov 27, 2023Updated 2 years ago
- ☆30Jan 30, 2025Updated last year
- VeriFlow-CC: A Claude Code-driven RTL design pipeline. Automates Chip-on-Chat from architecture to synthesis (iVerilog/Yosys) using a sta…☆51Aug 3, 2026Updated 2 months 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.
- ☆21Feb 3, 2025Updated last year
- RISC-V Sv39 Page Table Entry Visualization Tool☆17May 20, 2025Updated last year
- SDIO Device Verilog Core☆25Jul 25, 2018Updated 8 years ago
- SafeArena is a benchmark for assessing the harmful capabilities of web agents☆26Apr 23, 2025Updated last year
- ☆26Jul 10, 2026Updated 2 months ago
- A tool that allow you to use ani files in your web program to create a dynamic animation cursor. / 一个能让你在web项目和网站中使用 ani 文件以创建动画鼠标指针的工具☆35Jun 15, 2026Updated 3 months ago
- An LSTM template and a few examples using Vivado HLS☆47May 4, 2024Updated 2 years ago
- United Adobe Editor is a user-friendly tool that combines a Splash Screen and UI Color Changer for popular Adobe Applications☆25Aug 18, 2025Updated last year
- 全新使用JAVA编写的DLUTToolBox手机版，UI仿照i大工进行，保留i大工所有服务大厅功能并增加了一些i大工没有但实用的功能 举例:浏览器页面分享，截图分享，APP功能固定到桌面，课表数据动态刷新；增加教务系统便捷应用，增加开发区校区网络模块，可以实时监测并自动认证…☆28Sep 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.
- 集成电路 / 微电子专业自学指南。17 个科研方向全景导览（课题组 · 知识路径 · 毕业去向），7大知识板块 200+ 门课程资源，帮助同学们构建连续的知识体系。希望对同学们的学习有所帮助❤️，如果喜欢请给个star🌟☆276Updated this week
- research, experimentation and implementation of hardware-agnostic accelerated DL framework☆41Aug 7, 2026Updated last month
- ☆61Apr 8, 2024Updated 2 years ago
- This repo contains ~4000 designs that are used to train GAN-OPC [DAC2018. TCAD2019]☆34Mar 11, 2021Updated 5 years ago
- Learning-based lithography simulator and mask optimizer☆44Oct 24, 2021Updated 4 years ago
- AI-assisted FPGA development across AMD Vivado, Anlogic TangDynasty, and Intel Quartus.☆57Aug 17, 2026Updated last month
- 【例程】简单的FPGA入门项目 适用于各类Cyclone 开发板☆36Dec 4, 2025Updated 9 months ago
- 全新WinUI3版本的DLUTToolBox 扁平化全新体验☆41Apr 2, 2025Updated last year
- 紫光同创FPGA大赛☆40Mar 19, 2025Updated last year
- 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.
- An MLIR Complier for PyTorch/C/C++ Codes into HLS Dataflow Designs☆74Aug 1, 2025Updated last year
- The HW-CBMC and EBMC Model Checkers for Verilog☆116Updated this week
- A Synthetic Dataset for Personal Attribute Inference (NeurIPS'24 D&B)☆63Jul 27, 2025Updated last year
- 与大连理工大学相关的工具软件收集☆69Jul 31, 2026Updated 2 months ago
- An app that sets BA Memory Lobby as wallpaper☆68Nov 21, 2025Updated 10 months ago
- ☆124Nov 17, 2023Updated 2 years ago
- Official implementation for Training LLMs with MXFP4☆130Apr 25, 2025Updated last year