☆21Sep 23, 2026Updated 2 weeks ago
Alternatives and similar repositories for nexst
Users that are interested in nexst are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This repository contains IPs, Vitis kernels and software APIs that can be leveraged by Vitis users to build scale-out solutions on multip…☆24Apr 27, 2023Updated 3 years ago
- ☆24Jun 22, 2026Updated 3 months ago
- RISC-V IOMMU in verilog☆22Jun 18, 2022Updated 4 years ago
- ☆18Aug 17, 2026Updated last month
- 本项目已被合并至官方Chiplab中☆14Jan 13, 2025Updated last year
- 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.
- ☆39Apr 9, 2022Updated 4 years ago
- Linux kernel source tree☆14Jul 7, 2026Updated 3 months ago
- Pick your favorite language to verify your chip.☆95Oct 1, 2026Updated last week
- PoC for Paper: BunnyHop Exploiting the Instruction Prefetcher (USENIX Security 2023)☆14Aug 17, 2023Updated 3 years ago
- edge/mobile transformer based Vision DNN inference benchmark☆17Aug 29, 2025Updated last year
- ☆33Mar 19, 2026Updated 6 months ago
- IOMMU IP compliant with the RISC-V IOMMU Specification v1.0☆122Sep 24, 2025Updated last year
- ☆20Mar 18, 2022Updated 4 years ago
- The first version of TritonPart☆39Jul 25, 2026Updated 2 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.
- A RISC-V core running Debian (and a LoongArch core running Linux).☆24Nov 24, 2025Updated 10 months ago
- The RISC-V External Debug Security Specification☆20Sep 29, 2026Updated last week
- 替代spec官方的runspec脚本，可以运行在spec的命令前加上前缀命令，用于收集各种信息☆15Sep 21, 2026Updated 2 weeks ago
- A minimal runtime for seL4 applications.☆13Jul 22, 2026Updated 2 months ago
- A framework for building hardware verification platform using software method☆40Apr 19, 2026Updated 5 months ago
- Language for simplifying parameterized RTL design☆14Apr 3, 2026Updated 6 months ago
- 多核与并发数据结构-用于列车售票的可线性化并发数据结构☆17Jan 3, 2021Updated 5 years ago
- Verilua: An Open Source Versatile Framework for Efficient Hardware Verification and Analysis Using LuaJIT☆22Sep 30, 2026Updated last week
- Collection for submission (Hardware Model Checking Benchmark)☆13Nov 9, 2025Updated 10 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.
- ☆25May 9, 2019Updated 7 years ago
- ☆14Apr 13, 2021Updated 5 years ago
- ☆47Sep 2, 2026Updated last month
- Documentation for XiangShan Design☆52Sep 28, 2026Updated last week
- ucas五子棋作业☆25Jan 2, 2023Updated 3 years ago
- SeekFree RT1064 Library GCC(VSCode) Porting☆12Oct 8, 2021Updated 5 years ago
- [Archived - See https://github.com/rustsbi/rustsbi/] RustSBI prototyper☆12Feb 16, 2025Updated last year
- This is the paddle code for SeBoW(Self-Born wiring for neural trees), a kind of neural tree born form a large search space☆11Dec 10, 2021Updated 4 years ago
- Formally proven secure design of the RISC-V core BOOM (Berkeley Out-of-Order Machine) w.r.t. transient execution attacks (e.g., Meltdown …☆15Jan 17, 2025Updated last year
- 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.
- 🌄 RISC-V Ecosystem Landscape: a living document that developers, investors, vendors, researchers and others can use as a resource on the…☆25Updated this week
- RISC-V Zve32x, Zve32f, Zvfh Vector Coprocessor☆21Updated this week
- Capture retired instructions of a RISC-V Core and compress them to a sequence of packets.☆19Mar 13, 2024Updated 2 years ago
- A fork of Xiangshan for AI☆59Updated this week
- A simple MIPS CPU for BUAA CO course (and now NSCSCC).☆10May 15, 2021Updated 5 years ago
- Some tools for checking amateur radio awards☆12Jul 16, 2026Updated 2 months ago
- Altium PCB from KaRadioWired 2x15W Internet radio 100BT Ethernet and Wifi with FM receiver☆18Dec 5, 2017Updated 8 years ago