benpye / nix-fpga-toolsLinks
☆23Updated 3 years ago
Alternatives and similar repositories for nix-fpga-tools
Users that are interested in nix-fpga-tools are comparing it to the libraries listed below
Sorting:
- HDL development environment on Nix.☆25Updated 7 months ago
- 32-bit RISC-V Emulator☆24Updated 6 years ago
- Generate interface between Clash and Verilator☆22Updated last year
- A tool for USB device pass-through using the vfio-user protocol.☆13Updated this week
- ☆29Updated 4 years ago
- A Clash playground/starter kit, using Nix☆35Updated 6 years ago
- Haskell library for hardware description☆103Updated 6 months ago
- ☆11Updated 7 years ago
- NixOS on Xilinx Zynq and ZynqMP☆31Updated last week
- Notes, scripts and apps to quickfeather board☆10Updated 3 years ago
- A Verilog parser for Haskell.☆34Updated 3 years ago
- Nix Expressions for Altera(Intel) Quartus☆16Updated 4 years ago
- ☆14Updated last year
- An FPGA reverse engineering and documentation project☆47Updated this week
- NixOS on Allwinner D1 RISC-V☆39Updated 2 years ago
- Yosys plugin for synthesis of Bluespec code☆15Updated 3 years ago
- Deploying Haskell to Lattice iCE40 using fully open source toolchain☆13Updated 9 years ago
- PicoRV☆44Updated 5 years ago
- ABC: System for Sequential Logic Synthesis and Formal Verification☆28Updated last month
- ☆10Updated 3 years ago
- Intel 8080 CPU core: software emulator and CLaSH hardware description☆27Updated 2 years ago
- RFCs for changes to the Amaranth language and standard components☆18Updated 3 weeks ago
- A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.☆58Updated 4 years ago
- Nix channel with FPGA development tools☆13Updated 4 years ago
- CPOL=0, CPHA=0 SPI core for practicing formal verification with yosys☆21Updated 5 years ago
- A flake to remotely build and/or cache C/C++ compilation, using recursive Nix☆30Updated 3 years ago
- A function for fetching the crates listed in a Cargo lock file☆51Updated 3 years ago
- Betrusted embedded controller (UP5K)☆45Updated last year
- Hot Reconfiguration Technology demo☆40Updated 2 years ago
- ☆13Updated 8 months ago