lukaslaobeyer / nix-fpgapkgsView external linksLinks
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:
- Project Trellis database☆14Sep 15, 2025Updated 5 months ago
- photonSDI - an open source SDI core☆10May 26, 2021Updated 4 years 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
- A low cost FPGA development board for absolute newbies☆18Jan 2, 2019Updated 7 years ago
- System on Chip toolkit for nMigen☆19Apr 29, 2020Updated 5 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☆38Feb 10, 2026Updated last week
- Project aimed at implementing floating point operators using the DSP48E1 slice.☆30Mar 29, 2013Updated 12 years ago
- verilog core for ws2812 leds☆35Nov 3, 2021Updated 4 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43May 9, 2016Updated 9 years ago
- Generate an elm-ethereum contract interface from your contract's ABI☆11Dec 7, 2022Updated 3 years ago
- 4k Mixed Reality headset☆38Oct 7, 2017Updated 8 years ago
- Interactive development for Bazel/Haskell rules☆49Jul 18, 2021Updated 4 years ago
- ☆14May 24, 2025Updated 8 months ago
- Linux kernel driver for the Exar xr21v141x "vizzini" UART☆10Jul 2, 2015Updated 10 years ago
- Virtual development board for HDL design☆42Mar 31, 2023Updated 2 years ago
- Small footprint and configurable SPI core☆46Feb 11, 2026Updated last week
- Balance Calculator for Oxygen Not Included☆11Jan 4, 2022Updated 4 years ago
- Atom linter for Verilog/SystemVerilog, using Icarus Verilog, Slang, Verible or Verilator.☆10Jul 12, 2023Updated 2 years ago
- ☆12Apr 25, 2024Updated last year
- Small, lightweight UI for private Docker registries. With features for image description and run documentation.☆10Feb 27, 2019Updated 6 years ago
- 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
- An experiment for building gateware for the axiom micro / beta using amaranth-hdl☆45May 25, 2025Updated 8 months ago
- Haskell Protocol Buffers☆12Jan 22, 2020Updated 6 years ago
- Install, manage and do everything Open vSwitch and SDN related.☆19Nov 24, 2025Updated 2 months ago
- An open-source tool for data analysis aimed to help researchers with their experiments.☆14Nov 14, 2023Updated 2 years ago
- ☆11Sep 19, 2017Updated 8 years ago
- Boring and Absurd types☆18Dec 27, 2024Updated last year
- Simple network runner library in Haskell☆11Nov 19, 2025Updated 2 months ago