中国科学院大学软件研究所考研报考指南-2026/8/2
☆33Aug 16, 2026Updated this week
Alternatives and similar repositories for ISCAS-Application-Guide
Users that are interested in ISCAS-Application-Guide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆17Aug 11, 2026Updated last week
- 本项目已被合并至官方Chiplab中☆14Jan 13, 2025Updated last year
- Agda grammar for tree-sitter☆47Aug 30, 2025Updated 11 months ago
- A framework for ysyx flow☆14Oct 31, 2024Updated last year
- The User Guide of XiangShan.☆21Jun 1, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Prune is a constraint logic programming language with branching heuristic.☆39Jul 17, 2026Updated last month
- SpecAuditor: Generating Audit Specifications for LLM-Driven Bug Detection (S&P 2026)☆24Jun 8, 2026Updated 2 months ago
- Build mini linux for your own RISC-V emulator!☆25Sep 11, 2024Updated last year
- Second Prize in NSCSCC 2024. An out-of-order CPU designed by NoAXI team from HDU. 2024年全国大学生计算机系统能力大赛CPU设计赛（龙芯杯）团队赛二等奖作品☆26Sep 14, 2024Updated last year
- Automated CUDA kernel performance diagnostics from NVIDIA Nsight Compute (NCU) CSV exports.☆35Mar 18, 2026Updated 5 months ago
- A tool to decode RISC-V and LoongArch and MIPS instructions in gtkwave☆35Apr 13, 2025Updated last year
- GPGPU-Sim 中文注释版代码，包含 GPGPU-Sim 模拟器的最新版代码，经过中文注释，以帮助中文用户更好地理解和使用该模拟器。☆30Dec 18, 2024Updated last year
- A framework for building hardware verification platform using software method☆40Apr 19, 2026Updated 3 months ago
- ☆45Dec 5, 2025Updated 8 months 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.
- ☆40Nov 13, 2025Updated 9 months ago
- ☆39Jul 22, 2025Updated last year
- Nix template for the chisel-based industrial designing flows.☆58Jul 21, 2026Updated 3 weeks ago
- Documentation for XiangShan Design☆50Jul 12, 2026Updated last month
- A eDSL framework based on Scala and MLIR, focusing on the Hardware design.☆76Updated this week
- ☆71Jul 30, 2026Updated 2 weeks ago
- 网页实时Markdown转换为Slide幻灯片，主题灵感来源于南京大学蒋炎岩jyy老师☆99Nov 30, 2024Updated last year
- Out-of-the-box, customizable and multilingual theorem environment package for Typst.☆140Jul 13, 2026Updated last month
- Pick your favorite language to verify your chip.☆94Aug 6, 2026Updated last week
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- 《编程语言基础：Agda 描述》，Programming Language Foundations in Agda 中文版☆222Aug 5, 2026Updated last week
- A Typst-friendly static Zettelkästen site generator.☆215Updated this week
- ☆126Jul 2, 2022Updated 4 years ago
- A garden of small programming language implementations 🪴☆331Aug 7, 2026Updated last week
- This project aims to replicate mainstream open-source model architectures with limited computational resources, implementing mini models …☆293Aug 4, 2026Updated 2 weeks ago
- WAL enables programmable waveform analysis.☆182May 31, 2026Updated 2 months ago
- Modern co-simulation framework for RISC-V CPUs☆182Updated this week
- Static Analyser for C☆174Updated this week
- ☆168Jul 16, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆145Sep 3, 2024Updated last year
- [SOSP'25] Automatic checker synthesis for system-level static analysis☆186Oct 26, 2025Updated 9 months ago
- 体系结构研讨 + ysyx高阶大纲 (WIP☆218Oct 14, 2024Updated last year
- A proof assistant and a dependently-typed language☆362Jun 8, 2026Updated 2 months ago
- Monorepo containing a machine-readable database of the RISC-V specification and artifact generation tools☆210Updated this week
- ☆320Jul 22, 2026Updated 3 weeks ago
- 使用Markdown制作和蒋炎岩老师幻灯片同一主题的Web幻灯片框架(Base on Reveal.js)☆311Jun 17, 2025Updated last year