A Modern SystemVerilog Coding IDE.
☆129Jul 14, 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
- Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920☆36Jun 1, 2026Updated last month
- A Simple CPP Static Analysis Framework☆20Jun 16, 2023Updated 3 years ago
- ☆21May 26, 2025Updated last year
- Typst blog template based on Zola, typst.ts, and apollo.☆43Jun 8, 2025Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Mirror of https://gitee.com/loongson-edu/open-la500.git☆27Jan 2, 2025Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- An easy-to-learn/use static analysis framework for Java and Android☆1,788Jun 28, 2026Updated 2 weeks ago
- Upgrade your typst packages☆23Jun 22, 2026Updated 3 weeks ago
- A superscalar RISC-V CPU with out-of-order execution and multi-core support☆62Feb 17, 2022Updated 4 years ago
- The SysY compiler competition. A backup before official path gets set up.☆51Aug 20, 2025Updated 10 months ago
- My blog☆11Jul 6, 2025Updated last year
- Forge wonderful chat messages in typst☆112Dec 16, 2025Updated 6 months ago
- MoonBit Port of Implementations for Pierce's Types and Programming Languages☆71Mar 2, 2026Updated 4 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- ☆17Mar 26, 2025Updated last year
- Most influential papers in programming languages☆59Jan 20, 2025Updated last year
- An RTL-to-Chip Silicon Design Solution.☆47Updated this week
- High performance LA32R out-of-order processor core. (NSCSCC 2023 Special Prize)☆94Aug 29, 2023Updated 2 years ago
- OpenROAD Agent. This repository contain the model to train and testing the model using EDA Corpus dataset.☆31Jul 24, 2025Updated 11 months ago
- (System)Verilog to Chisel translator☆121May 20, 2022Updated 4 years ago
- ☆18Jul 12, 2024Updated 2 years ago
- 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 3 weeks ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Python interpreter written in Nim (C or Js backend)☆21Jun 27, 2026Updated 2 weeks ago
- Open-source AMBA CHI infrastructures (supporting Issue B, E.b)☆39Updated this week
- Draw elegant metro maps with ease☆42Aug 12, 2025Updated 11 months ago
- 龙芯杯21个人赛作品☆36Sep 15, 2021Updated 4 years ago
- Pick your favorite language to verify your chip.☆90Updated this week
- ☆10Oct 15, 2021Updated 4 years ago
- Source code for Trinity(ASPLOS 2026)☆23Apr 24, 2026Updated 2 months ago
- Xiangshan deterministic workloads generator☆28May 14, 2025Updated last year
- A verified polyhedral scheduling validator in Coq. Vibing proving in progress: https://github.com/Hughshine/PolCert/tree/extractor. Codex…☆23Mar 9, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A similarity measurer on two programming assignments on Online Judge.☆10Jan 6, 2023Updated 3 years ago
- The source of my blog.☆65Jul 6, 2026Updated last week
- A Verilator based SoC simulator that allows you to define AXI Slave interface in software.☆53Mar 31, 2026Updated 3 months ago
- Linux-capable in-order superscaler LoongArch32r processor. Silicon-proven.☆49Jul 25, 2024Updated last year
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Dec 5, 2022Updated 3 years ago
- 🌊 Tool for RTL waveform (VCD/FST) inspection via CLI☆37Updated this week
- Validate semantic equivalence between C++ and Rust LLVM IR using State-Of-The-Art Verification☆15Dec 11, 2024Updated last year