Contests
☆20Jul 28, 2026Updated last week
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,…☆24Jul 27, 2026Updated last week
- EDA claws for analog/digital circuits and device design☆50Updated this week
- 定时检测新版教务系统中的成绩，用QQ邮箱SMTP服务推送成绩更新到学邮。☆17Jul 6, 2026Updated 3 weeks ago
- ☆18Apr 2, 2026Updated 4 months ago
- An Automatic Synthesis Tool for PIM-based CNN Accelerators.☆17Feb 29, 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.
- GitHub 账号被 flag / hidden 自救手册：面向中国大陆开发者的申诉流程、SMS验证问题解决方案与真实案例档案 | 中文解封指南 如果这份文档对您有帮助的话，阔不阔以留一个star~(￣▽￣)~*☆19Jun 21, 2026Updated last month
- 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
- BitNet a4.8 Implementation in one file of pytorch☆24Jan 13, 2025Updated last year
- ☆36Nov 27, 2023Updated 2 years ago
- ☆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 last month
- 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 11 months ago
- 全新使用JAVA编写的DLUTToolBox手机版，UI仿照i大工进行，保留i大工所有服务大厅功能并增加了一些i大工没有但实用的功能 举例:浏览器页面分享，截图分享，APP功能固定到桌面，课表数据动态刷新；增加教务系统便捷应用，增加开发区校区网 络模块，可以实时监测并自动认证…☆28Sep 15, 2025Updated 10 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.
- 集成电路 / 微电子专业自学指南。17 个科研方向全景导览（课题组 · 知识路径 · 毕业去向），7大知识板块 200+ 门课程资源，帮助同学们构建连续的知识体系。希望对同学们的学习有所帮助❤️，如果喜欢请给个star🌟☆184Updated this week
- research, experimentation and implementation of hardware-agnostic accelerated DL framework☆41Jun 30, 2026Updated last month
- ☆58Apr 8, 2024Updated 2 years ago
- PKU 编译 lab 2023 - SysY 编译器☆14Oct 17, 2023Updated 2 years ago
- 2024编译系统实现赛RISC-V赛道一等奖作品(A compiler of SysY (subset of C) )☆24Sep 4, 2024Updated last year
- Talk to your AI. Watch it drive Vivado. — an MCP server for AI-driven FPGA development on Xilinx Vivado.☆54Jun 9, 2026Updated last month
- 【例程】简单的FPGA入门项目 适用于各类Cyclone 开发板☆35Dec 4, 2025Updated 8 months ago
- 全新WinUI3版本的DLUTToolBox 扁平化全新体验☆40Apr 2, 2025Updated last year
- 紫光同创FPGA大赛☆39Mar 19, 2025Updated last year
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- LLM-powered Chrome extension for automatic web form filling. All data stays local.☆32Jun 4, 2026Updated 2 months ago
- An MLIR Complier for PyTorch/C/C++ Codes into HLS Dataflow Designs☆71Aug 1, 2025Updated last year
- Load custom UserScripts for QQNT☆65Mar 9, 2026Updated 4 months ago
- 与大连理工大学相关的工具软件收集☆56Updated this week
- a collection of skills for vllm-omni☆84Updated this week
- FAN (fan-out-oriented) ATPG (Automatic Test Pattern Generation) and Fault Simulation command line tool☆120Jul 2, 2025Updated last year
- INT8 & FP16 multiplier accumulator (MAC) design with UVM verification completed.☆124Apr 3, 2026Updated 4 months ago
- A community-driven open-source meme culture music community☆70Jul 1, 2026Updated last month
- An unofficial reference implementation of the C Minus Minus Compiler☆70Feb 3, 2025Updated last year
- 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.
- An open-source EDA infrastructure and tools from netlist to GDS☆533Jul 9, 2026Updated 3 weeks ago
- Load custom UserStyles for QQNT☆116Mar 9, 2026Updated 4 months ago
- AXI总线连接器☆109Mar 26, 2020Updated 6 years ago
- We offer a collection of many dataset regarding surface-defect. Up to 24 dataset is listed in this repo.☆125Apr 28, 2025Updated last year
- Pipeline FFT Implementation in Verilog HDL☆172Apr 14, 2019Updated 7 years ago
- 适用于 Nonebot2 的 emoji 合成器☆97Dec 3, 2024Updated last year
- ☆246Jun 21, 2022Updated 4 years ago