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
- A small C++ library for interfacing to multirotor drones like the Parrot AR.Drone 2.0 or Parrot Bebop.☆12Oct 13, 2016Updated 9 years ago
- Project Trellis database☆14Sep 15, 2025Updated 6 months ago
- Git repository for the AutoFlight AR.Drone control program☆22Aug 23, 2015Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- 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
- 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
- Verilog based simulation modell for 7 Series PLL☆17May 4, 2020Updated 5 years ago
- System on Chip toolkit for nMigen☆19Apr 29, 2020Updated 5 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
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Terraform provider for NixOS and NixOps☆71May 11, 2020Updated 5 years ago
- Software by https://100r.co, packaged for Nix☆20Aug 16, 2020Updated 5 years ago
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 4 years ago
- verilog core for ws2812 leds☆35Nov 3, 2021Updated 4 years ago
- Project aimed at implementing floating point operators using the DSP48E1 slice.☆30Mar 29, 2013Updated 13 years ago
- My cross-machine shared configuration, defaults, modules, and packages not suitable for upstreaming or NUR☆12Mar 23, 2026Updated last week
- Nixos stuff☆39Mar 14, 2026Updated 2 weeks ago
- ☆16Feb 17, 2026Updated last month
- PCIe to .1 inch header breakout☆11Sep 14, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Re-broadcast your internet radio station as a live video stream to your video streaming platform of choice.☆18Dec 7, 2021Updated 4 years ago
- Virtual development board for HDL design☆42Mar 31, 2023Updated 2 years ago
- 4k Mixed Reality headset☆39Oct 7, 2017Updated 8 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 6 years ago
- ☆10Apr 8, 2021Updated 4 years ago
- Wishbone bridge over SPI☆11Nov 13, 2019Updated 6 years ago
- Small footprint and configurable SPI core☆46Feb 11, 2026Updated last month
- GUI for SymbiYosys☆17Oct 13, 2025Updated 5 months ago
- FPGA code for NeTV2☆16Dec 3, 2018Updated 7 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- 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
- 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
- hledger checker for flycheck☆20Oct 29, 2024Updated last year