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☆11May 26, 2021Updated 5 years ago
- Project Trellis database☆14Sep 15, 2025Updated 8 months ago
- Git repository for the AutoFlight AR.Drone control program☆22Aug 23, 2015Updated 10 years ago
- gateware for the main fpga, including a hispi decoder and image processing☆13Sep 27, 2018Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 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
- Verilog based simulation modell for 7 Series PLL☆16May 4, 2020Updated 6 years ago
- System on Chip toolkit for nMigen☆19Apr 29, 2020Updated 6 years ago
- lightweight open HLS for FPGA rapid prototyping☆20Mar 22, 2018Updated 8 years ago
- The AutoFlight drone control program☆21Mar 21, 2016Updated 10 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 6 years ago
- USB virtual model in C++, co-simulating with Verilog, SystemVerilog and VHDL☆33Oct 15, 2024Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- An example of how to package Coreboot in Nix☆19May 3, 2021Updated 5 years ago
- verilog core for ws2812 leds☆35Nov 3, 2021Updated 4 years ago
- Cross-platform Rust wrappers for the PCI ID Repository☆11Oct 3, 2025Updated 8 months ago
- 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 3 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 5 years ago
- Wishbone bridge over SPI☆11Nov 13, 2019Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Small footprint and configurable SPI core☆47Jun 2, 2026Updated last week
- Precompiled firmware binaries for testing ESP32 chips on Wokwi☆10May 31, 2026Updated last week
- GUI for SymbiYosys☆17Oct 13, 2025Updated 7 months ago
- re-startable monad that recover the execution state from a log, and workflow patterns☆43May 9, 2016Updated 10 years ago
- FPGA code for NeTV2☆16Dec 3, 2018Updated 7 years ago
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- Add features to Premiere using a keypad and AHK (fork of TaranVH's code)☆10Jun 19, 2019Updated 6 years ago
- implementation of nftables for NixOS☆12Nov 17, 2019Updated 6 years ago
- Interactive development for Bazel/Haskell rules☆49May 19, 2026Updated 3 weeks ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- OpenEXR and Radiance HDR image viewer☆15May 27, 2026Updated last week
- Literate emacs config file☆13Feb 2, 2018Updated 8 years ago
- A curated list of token bonding curve code and resources.☆11Sep 4, 2020Updated 5 years ago
- hledger checker for flycheck☆21Oct 29, 2024Updated last year
- Play music from emacs with playerctl☆17Jul 14, 2022Updated 3 years ago
- Plugins for Yosys developed as part of the F4PGA project.☆84May 14, 2024Updated 2 years ago
- Bindings to FFTW3☆10Feb 29, 2016Updated 10 years ago