A Modern SystemVerilog Coding IDE.
☆151Oct 22, 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:
- OpenLACores 是一个以 OpenLA132、OpenLA264 为核心的 LoongArch 架构处理器设计和验证工程。☆16Oct 15, 2026Updated last week
- A simple concurrent queue using std::mutex and std::condition_variable in C++ 11☆16May 12, 2024Updated 2 years ago
- (NSCSCC 2026) A high-performance out-of-order superscalar LA32R processor for AI Agents☆29Sep 2, 2026Updated last month
- A Simple CPP Static Analysis Framework☆20Jun 16, 2023Updated 3 years ago
- ☆21May 26, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Summary of bugs in Xuantie C9XX core design. include C906/C908/C910/C920☆36Jun 1, 2026Updated 4 months ago
- MCP server to read waveform files☆48Updated this week
- Upgrade your typst packages☆23Oct 19, 2026Updated last week
- 太原理工大学先进计算机系统研究实验室（“一生一芯”工作室）辅助教学使用的前置知识讲义☆21Sep 23, 2026Updated last month
- Open-source, license-free MCP server for RTL waveform debug: reads FST waveforms (VCD/FSDB auto-convert) plus a SystemVerilog netlist, wi…☆249Updated this week
- ☆17Jun 12, 2024Updated 2 years ago
- Forge wonderful chat messages in typst☆114Dec 16, 2025Updated 10 months ago
- Typst blog template based on Zola, typst.ts, and apollo.☆44Jun 8, 2025Updated last year
- High performance LA32R out-of-order processor core. (NSCSCC 2023 Special Prize)☆100Aug 29, 2023Updated 3 years 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.
- TAIDL: Tensor Accelerator ISA Definition Language☆25Updated this week
- Language Server Protocol types made easy.☆14Sep 22, 2026Updated last month
- Mirror of https://gitee.com/loongson-edu/open-la500.git☆29Jan 2, 2025Updated last year
- La-MIR is a benchmarking framework to evaluate and analyze the ability of LLMs to understand compiler Intermediate Representation (IR).☆13May 23, 2025Updated last year
- An easy-to-learn/use static analysis framework for Java and Android☆1,826Updated this week
- Python interpreter written in Nim (C or Js backend)☆22Sep 20, 2026Updated last month
- A Verilator based SoC simulator that allows you to define AXI Slave interface in software.☆54Mar 31, 2026Updated 6 months ago
- clreq-gap (Chinese layout gap analysis) for typst. 分析 Typst 与中文排版的差距。https://gap.zhtyp.top☆33Oct 12, 2026Updated 2 weeks ago
- A superscalar RISC-V CPU with out-of-order execution and multi-core support☆62Feb 17, 2022Updated 4 years 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.
- ICSE 2025: Fuzzing MLIR compilers with Custom Mutation Synthesis☆15Jul 22, 2025Updated last year
- My blog☆11Jul 6, 2025Updated last year
- ☆90Updated this week
- only display GPU☆10Mar 6, 2025Updated last year
- Clang wrapper with i18n support Clang国际化支持插件☆14Apr 5, 2026Updated 6 months ago
- An optimizing compiler for SysY targeting ARM, RISC-V, and Brainfuck.☆21Nov 23, 2025Updated 11 months ago
- A DSL for formal verification of hardware and software systems using Rocq/Coq.☆12Updated this week
- Formalization of CBPV extended with effect and coeffect tracking☆18Aug 30, 2024Updated 2 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17May 10, 2022Updated 4 years ago
- 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.
- "EPUB is a bitch of a format for anything where layout matters." - u/CookbookMike☆14Aug 13, 2026Updated 2 months ago
- ☆98Nov 12, 2025Updated 11 months ago
- (System)Verilog to Chisel translator☆123May 20, 2022Updated 4 years ago
- A tool to compile your RTL files into GDSII layouts.☆12Sep 9, 2025Updated last year
- The Next-gen Language & Compiler Powering Efficient Hardware Design☆41Jan 16, 2025Updated last year
- Prune is a constraint logic programming language with branching heuristic.☆45Oct 16, 2026Updated last week
- ☆17Mar 26, 2025Updated last year