Modular RISC-V implementation & SoC
☆19Aug 29, 2026Updated this week
Alternatives and similar repositories for river
Users that are interested in river are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nix build Scheduler☆11Nov 24, 2025Updated 9 months ago
- Flake workspace / repo to stage and track Nixpkgs/NixOS's ability to be compiled completely with LLVM☆31Mar 3, 2025Updated last year
- A Dart library to decode audio files☆12May 26, 2026Updated 3 months ago
- Build an End-to-End Typesafe APIs (Experimental)☆16Sep 19, 2022Updated 3 years ago
- ☆17Feb 12, 2026Updated 6 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A compiled language that is halfway between C and Go/Swift/Rust☆13Jul 7, 2016Updated 10 years ago
- Open source FPGA silicon☆348May 27, 2026Updated 3 months ago
- ☆17May 26, 2026Updated 3 months ago
- CIRCT and Yosys interoperability, demonstrated with CHISEL☆18Feb 3, 2026Updated 6 months ago
- OpenTestability is an open-source tool for structural analysis of digital circuits, enabling computation of SCOAP metrics, Controllibilit…☆19Aug 18, 2026Updated last week
- This is the repository containing the implementation of sparse dense matrix multiplication for the matrix dimension of 560 x 560.☆10Jul 7, 2021Updated 5 years ago
- Petri Net Simulator program☆10Nov 27, 2017Updated 8 years ago
- nixos in a gameboy shell☆16Jun 22, 2026Updated 2 months ago
- Fetch derivations from your friends.☆24Dec 14, 2025Updated 8 months 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.
- python driver and runtime for tenstorrent blackhole cards☆19Aug 12, 2026Updated 2 weeks ago
- SoCal Linux Expo (SCaLE) on-site network, WiFi, and server configs☆61Updated this week
- (NJU CPL2024/ICS2024) SN EMUlator, a simple RV32IMAFD emulator for FUN and practice (JIT Mode WIP)☆16Jan 16, 2025Updated last year
- Declaratively manage keys in hardware tokens, from NixOS.☆57Dec 10, 2025Updated 8 months ago
- A double JIT VM☆23Jul 9, 2026Updated last month
- ☆22Mar 1, 2026Updated 5 months ago
- ☆17Mar 21, 2026Updated 5 months ago
- Simodense: a RISC-V softcore for custom SIMD instructions☆17Aug 9, 2026Updated 3 weeks ago
- nix plugin + daemon + tui for global system monitoring of all nix activity☆23Feb 19, 2026Updated 6 months ago
- 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.
- Porting FreeRTOS to a RISC-V based system on PYNQ-Z2☆12Dec 26, 2024Updated last year
- Cosimulation for the Rapid Open Hardware Development (ROHD) framework with other simulators☆29May 20, 2026Updated 3 months ago
- This plugin allow you choose a wiki template when you add a new page.☆23Nov 27, 2016Updated 9 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Jul 22, 2026Updated last month
- An experimental modular OS written in Rust.☆12Jul 19, 2024Updated 2 years ago
- Used FPGA board and System Verilog to design controller, DMA, pipelined SIMD processor, and GEMM accelerator☆13Aug 26, 2023Updated 3 years ago
- cheriot-ibex is a RTL implementation of CHERIoT ISA based on LowRISC's Ibex core.☆135May 8, 2026Updated 3 months ago
- ☆36Jul 23, 2023Updated 3 years ago
- A Rust-based Unikernel Enhancing Reliability and Efficiency of Embedded Systems.☆12Jun 28, 2024Updated 2 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.
- RTL implementation of a ray-tracing GPU☆16Dec 18, 2012Updated 13 years ago
- Our contribution to the AMD Open Hardware Contest: A ML-based Deep Packet Inspection for RDMA-networking on FPGAs☆13May 6, 2026Updated 3 months ago
- ☆13Jul 14, 2026Updated last month
- Research enablement kit for designing and prototyping a Cortex-M0–based SoC with custom IP integration (education, research)☆18Jun 13, 2025Updated last year
- BUSted!!! Microarchitectural Side-Channel Attacks on the MCU Bus Interconnect☆11Jun 26, 2026Updated 2 months ago
- Implementation of different types of adder circuits☆16Jan 5, 2016Updated 10 years ago
- Import Nix projects regardless of how they are exposed.☆34Nov 9, 2025Updated 9 months ago