A Modern SystemVerilog Coding IDE.
☆137Aug 20, 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☆47Aug 1, 2026Updated 3 weeks ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 太原理工大学先进计算机系统研究实验室（“一生一芯”工作室）辅助教学 使用的前置知识讲义☆17Aug 7, 2026Updated 2 weeks ago
- 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)☆22Updated this week
- ☆80Aug 18, 2026Updated last week
- An easy-to-learn/use static analysis framework for Java and Android☆1,804Aug 14, 2026Updated last 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
- Prune is a constraint logic programming language with branching heuristic.☆39Jul 17, 2026Updated last month
- 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☆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 5 months ago
- ☆17Mar 26, 2025Updated last year
- An RTL-to-Chip Silicon Design Solution.☆62Updated this week
- High performance LA32R out-of-order processor core. (NSCSCC 2023 Special Prize)☆100Aug 29, 2023Updated 2 years ago
- APS: An open-source toolchain towards agile processor specialization based on MLIR☆20Jan 17, 2026Updated 7 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.
- ☆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 last year
- Most influential papers in programming languages☆60Jan 20, 2025Updated last year
- A Typst-friendly static Zettelkästen site generator.☆216Updated this week
- 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
- Simple visualized cetz editor☆12Jun 22, 2026Updated 2 months ago
- ☆39Jul 22, 2025Updated last year
- (System)Verilog to Chisel translator☆123May 20, 2022Updated 4 years 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.
- 实时交互输入辅助工具☆10Apr 7, 2022Updated 4 years ago
- 龙芯杯21个人赛作品☆36Sep 15, 2021Updated 4 years ago
- Generate Linux Perf event tables for Apple Silicon☆19Dec 16, 2025Updated 8 months ago
- ☆20Jul 24, 2026Updated last month
- ☆10Oct 15, 2021Updated 4 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆68Jul 21, 2025Updated last year
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆24Mar 9, 2026Updated 5 months ago