Contests
☆20Jul 28, 2026Updated 3 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:
- EDA claws for analog/digital circuits and device design☆57Updated this week
- Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL …☆37Sep 29, 2026Updated last month
- Certify Model Checking Witnesses in AIGER☆14Nov 5, 2026Updated last week
- ☆13Nov 7, 2026Updated last week
- BigBird: A Beginner-Friendly RV32I CPU Tutorial.The really zero-to-cpu☆23Aug 17, 2026Updated 2 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- IELTS Speaking.☆12Dec 29, 2024Updated last year
- ☆19Sep 22, 2026Updated last month
- ☆16Sep 14, 2020Updated 6 years ago
- [ICCAD'26] Forbench: Symbolic Simulation Helps Make Your Testbench More Formal☆15Updated this week
- Vivado HLS study notes, courses, documents.☆13Dec 7, 2019Updated 6 years ago
- CV32E40X Design-Verification environment☆19Updated this week
- A MkDocs plugin that uses heti to improve typesetting☆13Sep 30, 2023Updated 3 years ago
- 珊瑚礁播放器，一款现代化跨平台流媒体播放器库，支持 RTSP、RTP 和 MJPEG over HTTP 流，提供可定制、高性能、低延迟的推拉流、编解码及录像能力☆47Sep 10, 2026Updated 2 months ago
- Source code repository for ASPLOS '25 paper "Syno: Structured Synthesis for Neural Operators"☆15Aug 31, 2025Updated last year
- 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.
- IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.☆75May 31, 2015Updated 11 years ago
- 在FPGA端实现JPEG编码（开发中……☆13Oct 17, 2024Updated 2 years ago
- An Automatic Synthesis Tool for PIM-based CNN Accelerators.☆17Feb 29, 2024Updated 2 years 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
- Public repository for the project Shittim Canvas NEXT, used for issue tracking and related discussions.☆17Aug 17, 2026Updated 2 months ago
- ☆26Oct 23, 2026Updated 3 weeks ago
- 基于 ESP8266/ESP32/RP2040 的物联网小彩灯 (内含炫酷 RGB 魔法!), 支持多种灯效、自定义动画以及由上位机控制的音乐律动和氛围灯☆19May 18, 2025Updated last year
- 快去激活Windows喵！！！☆17Jun 9, 2026Updated 5 months ago
- 教材自学讲义神器☆37Aug 18, 2026Updated 2 months 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.
- ☆37Nov 27, 2023Updated 2 years ago
- ☆31Jan 30, 2025Updated last year
- RISC-V Sv39 Page Table Entry Visualization Tool☆16May 20, 2025Updated last year
- SDIO Device Verilog Core☆25Jul 25, 2018Updated 8 years ago
- ☆23Jul 12, 2024Updated 2 years ago
- A Simple CDCL Solver☆37Mar 8, 2023Updated 3 years ago
- research, experimentation and implementation of hardware-agnostic accelerated DL framework☆42Oct 31, 2026Updated last week
- MLSys 自学笔记 — with hand-written runnable code☆35Oct 9, 2026Updated last month
- YosysHQ SVA AXI Properties☆60Feb 7, 2023Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- An LSTM template and a few examples using Vivado HLS☆48May 4, 2024Updated 2 years ago
- 全新使用JAVA编写的DLUTToolBox手机版，UI仿照i大工进行，保留i大工所有服务大厅功能并增加了一些i大工没有但实用的功能 举例:浏览器页面分享，截图分享，APP功能固定到桌面，课表数据动态刷新；增加教务系统便捷应用，增加开发区校区网络模块，可以实时监测并自动认证…☆28Sep 15, 2025Updated last year
- ☆62Apr 8, 2024Updated 2 years ago
- A MkDocs plugin that generate statistic data of a site☆37Aug 10, 2025Updated last year
- 【例程】简单的FPGA入门项目 适用于各类Cyclone 开发板☆37Dec 4, 2025Updated 11 months ago
- AI-assisted FPGA development across AMD Vivado, Anlogic TangDynasty, and Intel Quartus.☆57Aug 17, 2026Updated 2 months ago
- 紫光同创FPGA大赛☆42Mar 19, 2025Updated last year
Are these results useful?