A Modern SystemVerilog Coding IDE.
☆132Aug 5, 2026Updated this week
Alternatives and similar repositories for vide
Users that are interested in vide are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16May 12, 2024Updated 2 years ago
- A Simple CPP Static Analysis Framework☆20Jun 16, 2023Updated 3 years ago
- ☆21May 26, 2025Updated last year
- Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920☆36Jun 1, 2026Updated 2 months ago
- MCP server to read waveform files☆45Updated this week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 太原理工大学先进计算机系统研究实验室（“一生一芯”工作室）辅助教学使用的前置知识讲义☆17Jul 23, 2026Updated 2 weeks ago
- Typst blog template based on Zola, typst.ts, and apollo.☆43Jun 8, 2025Updated last year
- Mirror of https://gitee.com/loongson-edu/open-la500.git☆29Jan 2, 2025Updated last year
- Python interpreter written in Nim (C or Js backend)☆22Updated this week
- ☆77Updated this week
- An easy-to-learn/use static analysis framework for Java and Android☆1,798Jun 28, 2026Updated last month
- Upgrade your typst packages☆23Updated this week
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- An optimizing compiler for SysY targeting ARM, RISC-V, and Brainfuck.☆20Nov 23, 2025Updated 8 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A superscalar RISC-V CPU with out-of-order execution and multi-core support☆62Feb 17, 2022Updated 4 years ago
- My blog☆11Jul 6, 2025Updated last year
- Forge wonderful chat messages in typst☆113Dec 16, 2025Updated 7 months ago
- ☆19Oct 18, 2025Updated 9 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆73Mar 2, 2026Updated 5 months ago
- ☆17Mar 26, 2025Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- An RTL-to-Chip Silicon Design Solution.☆50Updated this week
- High performance LA32R out-of-order processor core. (NSCSCC 2023 Special Prize)☆98Aug 29, 2023Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆19Jan 17, 2026Updated 6 months ago
- ☆18Jul 12, 2024Updated 2 years ago
- A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。☆44Mar 7, 2022Updated 4 years ago
- The SysY compiler competition. A backup before official path gets set up.☆53Aug 20, 2025Updated 11 months ago
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- This is a project created and completed by team BOOM(Beihang OO masters).This is a superscalar processor with a 13-stage out-of-order dua…☆18Sep 29, 2024Updated last year
- A Typst-friendly static Zettelkästen site generator.☆213Jul 27, 2026Updated last week
- Simple visualized cetz editor☆12Jun 22, 2026Updated last month
- ☆39Jul 22, 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.
- (System)Verilog to Chisel translator☆121May 20, 2022Updated 4 years ago
- 实时交互输入辅助工具☆10Apr 7, 2022Updated 4 years ago
- 龙芯杯21个人赛作品☆36Sep 15, 2021Updated 4 years ago
- Generate Linux Perf event tables for Apple Silicon☆18Dec 16, 2025Updated 7 months ago
- ☆20Jul 24, 2026Updated last week
- ☆10Oct 15, 2021Updated 4 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆69Jul 21, 2025Updated last year