Nix channel with FPGA development tools
☆13Dec 21, 2020Updated 5 years ago
Alternatives and similar repositories for nix-fpgapkgs
Users that are interested in nix-fpgapkgs are comparing it to the libraries listed below
Sorting:
- photonSDI - an open source SDI core☆10May 26, 2021Updated 4 years ago
- Project Trellis database☆14Sep 15, 2025Updated 5 months ago
- The Simple Reflow Controller server and a basic web frontend☆10Jun 12, 2016Updated 9 years ago
- gateware for the main fpga, including a hispi decoder and image processing☆13Sep 27, 2018Updated 7 years ago
- SDI interface board for the apertus° AXIOM beta camera☆13Jan 19, 2019Updated 7 years ago
- An alternative PnR system, or at least an attempt to get it running on Ubuntu 18.04.☆10Aug 31, 2018Updated 7 years ago
- Verilog based simulation modell for 7 Series PLL☆17May 4, 2020Updated 5 years ago
- Tool for updating the contents of BlockRAMs found in Xilinx 7 series bitstreams.☆19Feb 9, 2022Updated 4 years ago
- System on Chip toolkit for nMigen☆19Apr 29, 2020Updated 5 years ago
- A low cost FPGA development board for absolute newbies☆18Jan 2, 2019Updated 7 years ago
- lightweight open HLS for FPGA rapid prototyping☆20Mar 22, 2018Updated 7 years ago
- Software by https://100r.co, packaged for Nix☆21Aug 16, 2020Updated 5 years ago
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆32Oct 15, 2024Updated last year
- Nixos stuff☆39Mar 3, 2026Updated last week
- Project aimed at implementing floating point operators using the DSP48E1 slice.☆30Mar 29, 2013Updated 12 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43May 9, 2016Updated 9 years ago
- verilog core for ws2812 leds☆35Nov 3, 2021Updated 4 years ago
- 4k Mixed Reality headset☆39Oct 7, 2017Updated 8 years ago
- ☆14May 24, 2025Updated 9 months ago
- Interactive development for Bazel/Haskell rules☆49Jul 18, 2021Updated 4 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- Linux kernel driver for the Exar xr21v141x "vizzini" UART☆10Jul 2, 2015Updated 10 years ago
- Small footprint and configurable SPI core☆46Feb 11, 2026Updated 3 weeks ago
- Virtual development board for HDL design☆42Mar 31, 2023Updated 2 years ago
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- Balance Calculator for Oxygen Not Included☆11Jan 4, 2022Updated 4 years ago
- ☆12Apr 25, 2024Updated last year
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- Betrusted embedded controller (UP5K)☆49Dec 22, 2023Updated 2 years ago
- Fully-differential asynchronous non-binary 12-bit SAR-ADC in SKY130, free to re-use under Apache-2.0 license☆51Mar 13, 2025Updated 11 months ago
- 🔍 Zoomable Waveform viewer for the Web☆43Nov 3, 2020Updated 5 years ago
- 💧A membrane between the decentralized world and centralized world☆12Jan 5, 2021Updated 5 years ago
- Template for new Miso projects☆11Sep 7, 2020Updated 5 years ago
- Record and play the results of monadic actions☆13Mar 18, 2018Updated 7 years ago
- FPGA code for NeTV2☆15Dec 3, 2018Updated 7 years ago
- ☆17Jan 6, 2024Updated 2 years ago
- A programming action game.☆13Feb 15, 2024Updated 2 years ago
- Easing (animation and timing) library for Elm.☆12Nov 28, 2021Updated 4 years ago
- PCIe to .1 inch header breakout☆11Sep 14, 2020Updated 5 years ago