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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Simple Reflow Controller server and a basic web frontend☆10Jun 12, 2016Updated 9 years ago
- photonSDI - an open source SDI core☆10May 26, 2021Updated 4 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
- A low cost FPGA development board for absolute newbies☆18Jan 2, 2019Updated 7 years ago
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An alternative PnR system, or at least an attempt to get it running on Ubuntu 18.04.☆10Aug 31, 2018Updated 7 years ago
- My NixOS setup☆30Feb 5, 2020Updated 6 years ago
- lightweight open HLS for FPGA rapid prototyping☆20Mar 22, 2018Updated 8 years ago
- Tool for updating the contents of BlockRAMs found in Xilinx 7 series bitstreams.☆19Feb 9, 2022Updated 4 years ago
- Terraform provider for NixOS and NixOps☆71May 11, 2020Updated 5 years ago
- ghci having DAP interface.☆22Feb 1, 2026Updated 2 months ago
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆32Oct 15, 2024Updated last year
- GHCJS example code☆18Aug 15, 2016Updated 9 years ago
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 4 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.
- Project aimed at implementing floating point operators using the DSP48E1 slice.☆30Mar 29, 2013Updated 13 years ago
- Haskell implementation of DAP interface data.☆26Oct 5, 2025Updated 6 months ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 6 months ago
- My cross-machine shared configuration, defaults, modules, and packages not suitable for upstreaming or NUR☆12Mar 23, 2026Updated 3 weeks ago
- Nixos stuff☆39Updated this week
- Betrusted embedded controller (UP5K)☆49Dec 22, 2023Updated 2 years ago
- ☆16Feb 17, 2026Updated 2 months ago
- PCIe to .1 inch header breakout☆11Sep 14, 2020Updated 5 years ago
- ☆21Aug 21, 2025Updated 7 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.
- 4k Mixed Reality headset☆39Oct 7, 2017Updated 8 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- ☆10Apr 8, 2021Updated 5 years ago
- Small footprint and configurable SPI core☆46Apr 10, 2026Updated last week
- GUI for SymbiYosys☆17Oct 13, 2025Updated 6 months ago
- FPGA code for NeTV2☆16Dec 3, 2018Updated 7 years ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43May 9, 2016Updated 9 years ago
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 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.
- Interactive development for Bazel/Haskell rules☆49Jul 18, 2021Updated 4 years ago
- OpenEXR and Radiance HDR image viewer☆14May 9, 2024Updated last year
- A curated list of token bonding curve code and resources.☆11Sep 4, 2020Updated 5 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆83May 14, 2024Updated last year
- Space CACD☆11Oct 16, 2019Updated 6 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago
- TLUT tool flow for parameterised configurations for FPGAs☆16Aug 5, 2024Updated last year