A Modern SystemVerilog Coding IDE.
☆144Sep 13, 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 3 months ago
- MCP server to read waveform files☆48Aug 1, 2026Updated last month
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 太原理工大学先进计算机系统研究实验室（“一生一芯”工作室 ）辅助教学使用的前置知识讲义☆17Aug 7, 2026Updated last month
- Typst blog template based on Zola, typst.ts, and apollo.☆44Jun 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)☆22Aug 24, 2026Updated 3 weeks ago
- ☆82Updated this week
- An easy-to-learn/use static analysis framework for Java and Android☆1,814Sep 7, 2026Updated last week
- 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 9 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.
- Prune is a constraint logic programming language with branching heuristic.☆39Aug 25, 2026Updated 3 weeks ago
- A superscalar RISC-V CPU with out-of-order execution and multi-core support☆61Feb 17, 2022Updated 4 years ago
- My blog☆11Jul 6, 2025Updated last year
- Forge wonderful chat messages in typst☆113Dec 16, 2025Updated 8 months ago
- ☆19Oct 18, 2025Updated 10 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆73Mar 2, 2026Updated 6 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.☆65Updated this week
- 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.
- High performance LA32R out-of-order processor core. (NSCSCC 2023 Special Prize)☆99Aug 29, 2023Updated 3 years ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆20Jan 17, 2026Updated 7 months ago
- A simple Docker-based build & judge system for complex multi-file projects. 使用 Docker 隔离的适用于多文件项目的自动评测机。☆44Mar 7, 2022Updated 4 years ago
- ☆18Jul 12, 2024Updated 2 years ago
- The SysY compiler competition. A backup before official path gets set up.☆53Aug 20, 2025Updated last year
- Most influential papers in programming languages☆61Jan 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.☆221Sep 1, 2026Updated 2 weeks ago
- Simple visualized cetz editor☆12Jun 22, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆39Jul 22, 2025Updated last year
- (System)Verilog to Chisel translator☆123May 20, 2022Updated 4 years ago
- 实时交互输入辅助工具☆10Apr 7, 2022Updated 4 years ago
- 龙芯杯21个人赛作品☆35Sep 15, 2021Updated 5 years ago
- Generate Linux Perf event tables for Apple Silicon☆19Dec 16, 2025Updated 8 months ago
- ☆20Updated this week
- ☆10Oct 15, 2021Updated 4 years ago