Contests
☆20Jul 28, 2026Updated 3 weeks 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:
- 面向 AI 编程 Agent 的开源形式验证技能库，聚焦 FPV、SVA、证明优化、TCL 脚本与可扩展的形式验证工作流。Open-source formal verification skills for AI coding agents, focused on FPV,…☆29Jul 27, 2026Updated 3 weeks ago
- EDA claws for analog/digital circuits and device design☆52Aug 16, 2026Updated last week
- 定时检测新版教务系统中的成绩，用QQ邮箱SMTP服务推送成绩更新到学邮。☆17Updated this week
- Vivado HLS study notes, courses, documents.☆12Dec 7, 2019Updated 6 years ago
- 基于FP16的二维脉动阵列电路设计☆13Feb 23, 2023Updated 3 years 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.
- ☆18Apr 2, 2026Updated 4 months ago
- 在FPGA端实现JPEG编码（开发中……☆13Oct 17, 2024Updated last year
- An Automatic Synthesis Tool for PIM-based CNN Accelerators.☆17Feb 29, 2024Updated 2 years ago
- GitHub 账号被 flag / hidden 自救手册：面向中国大陆开发者的申诉流程、SMS验证问题解决方案与真实案例档案 | 中文解封指南 如果这份文档对您有帮助的话，阔不阔以留一个star~(￣▽￣)~*☆22Aug 5, 2026Updated 2 weeks ago
- 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
- ☆36Nov 27, 2023Updated 2 years ago
- RISC-V Sv39 Page Table Entry Visualization Tool☆17May 20, 2025Updated last year
- ☆21Jul 12, 2024Updated 2 years 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 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- An LSTM template and a few examples using Vivado HLS☆47May 4, 2024Updated 2 years ago
- 全新使用JAVA编写的DLUTToolBox手机版，UI仿照i大工进行，保留i大工所有服务大厅功能并增加了一些i大工没有但实用的功能 举例:浏览器页面分享，截图分享，APP功能固定到桌面，课表数据动态刷新；增加教务系统便捷应用，增加开发区校区网络模块，可以实时监测并自动认证…☆28Sep 15, 2025Updated 11 months ago
- 集成电路 / 微电子专业自学指南。17 个科研方向全景导览（课题组 · 知识路径 · 毕业去向），7大知识板块 200+ 门课程资源，帮助同学们构建连续的知识体系。希望对同学们的学习有所帮助❤️，如果喜欢请给个star🌟☆209Updated this week
- research, experimentation and implementation of hardware-agnostic accelerated DL framework☆41Aug 7, 2026Updated 2 weeks ago
- ☆58Apr 8, 2024Updated 2 years ago
- 2024编译系统实现赛RISC-V赛道一等奖作品(A compiler of SysY (subset of C) )☆24Sep 4, 2024Updated last year
- ☆84Sep 18, 2025Updated 11 months ago
- 【例程】简单的FPGA入门项目 适用于各类Cyclone 开发板☆36Dec 4, 2025Updated 8 months ago
- 复旦大学计算机入门指南☆56Dec 2, 2025Updated 8 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- LLM-powered Chrome extension for automatic web form filling. All data stays local.☆35Jun 4, 2026Updated 2 months ago
- An MLIR Complier for PyTorch/C/C++ Codes into HLS Dataflow Designs☆73Aug 1, 2025Updated last year
- A touchpad peripheral device based on ESP32 + specific laptop TouchPad. Compatible with Microsoft Precision TouchPad (PTP) standard. Supp…☆44Apr 26, 2026Updated 3 months ago
- 与大连理工大学相关的工具软件收集☆60Jul 31, 2026Updated 3 weeks ago
- ☆124Nov 17, 2023Updated 2 years ago
- Official implementation for Training LLMs with MXFP4☆130Apr 25, 2025Updated last year
- FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool☆122Jul 2, 2025Updated last year
- INT8 & FP16 multiplier accumulator (MAC) design with UVM verification completed.☆125Apr 3, 2026Updated 4 months ago
- Examples for creating AXI-interfaced peripherals in Chisel☆76Nov 15, 2015Updated 10 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 大工软院 寝室免费高速IPv6网络 配置指南(A configuration guide for SSDUT(Software School of Dalian University of Technology) students to surf the internet …☆48Oct 15, 2017Updated 8 years ago
- 定时抓取你的课程的icourse录屏，在线进行语音转写调用大模型进行摘要，推送到你的邮箱。再也不用亲自上课了！☆121Updated this week
- ☆128Mar 18, 2026Updated 5 months ago
- 将 DeepL 翻译接入你的 QQNT | Integrate DeepL translation into your QQNT.☆78Jun 7, 2025Updated last year
- [NeurIPS 2025] Domain-RAG: Retrieval-Guided Compositional Image Generation for Cross-Domain Few-Shot Object Detection☆74Feb 2, 2026Updated 6 months ago
- An open-source EDA infrastructure and tools from netlist to GDS☆540Jul 9, 2026Updated last month
- Load custom UserStyles for QQNT☆117Mar 9, 2026Updated 5 months ago